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
          Koen Aers
        2. JBIDE-12223-bis.patch
          2 kB
          Koen Aers

              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: