Uploaded image for project: 'Java Mission Control'
  1. Java Mission Control
  2. JMC-5444

Changing settings on prefs page General/Appearance is a bad idea

    XMLWordPrintable

    Details

      Description

      If you change some setting on the preference page General/Appearance (which comes from Eclipse), you get a UI that is broken – see the attached screenshot.

      You can escape this by clicking on some other page in the tree to the left of the preference page, so the workaround is simple when you know it.

        Attachments

          Activity

            People

            Assignee:
            Unassigned Unassigned
            Reporter:
            pkroon Per Kroon (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: