Uploaded image for project: 'BlueJ'
  1. BlueJ
  2. BLUEJ-83

Code pad font should be user definable

    XMLWordPrintable

    Details

    • Type: Task
    • Status: Closed
    • Priority: Low
    • Resolution: Done
    • Affects Version/s: None
    • Fix Version/s: 2.5.0
    • Component/s: CodePad

      Description

      The code pad font should not be linked to the main interface font (as it is currently), but separately user-definable (probably by using the same setting as the terminal font).

        Attachments

          Activity

            People

            • Assignee:
              davmac Davin McCall
              Reporter:
              mik Michael K├Âlling
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: