Uploaded image for project: 'Tools (JBoss Tools)'
  1. Tools (JBoss Tools)
  2. JBIDE-12223

Forge should use the console font + listen to font changes

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Done
    • Icon: Major Major
    • 3.3.1.Final, 4.0.0.Alpha1
    • None
    • forge
    • None

      For demos and general bad eyesight being able to control the font size of consoles is important.

      Currently it looks like the Basic Text font is used to control the font size, it should be Console IMO.

      And would be good the console also listened to font changes to avoid having to close/reload.

        1. JBIDE-12223.patch
          3 kB
        2. JBIDE-12223-bis.patch
          2 kB

            kaers@redhat.com Koen Aers
            manderse@redhat.com Max Andersen
            Votes:
            1 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: