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

Editor font size changes do not take effect immediately

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Low
    • Resolution: Done
    • Affects Version/s: 3.1.6
    • Fix Version/s: 4.0.0preview
    • Component/s: Editor
    • Sprint:
      4.0.0preview

      Description

      When changing the editor font size in the preferences dialogue, the change is not applied to open editors. (The editor needs to be opened again.)

      Also, the font size of the info area at the bottom does not change until after a restart.

      Both should be immediate.

        Attachments

          Activity

            People

            • Assignee:
              amjad Amjad Altadmri
              Reporter:
              amjad Amjad Altadmri
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: