Forge should use the console font + listen to font changes ---------------------------------------------------------- Key: JBIDE-12223 URL: https://issues.jboss.org/browse/JBIDE-12223 Project: Tools (JBoss Tools) Issue Type: Bug Components: forge Environment: Reporter: Max Rydahl Andersen Assignee: Koen Aers Fix For: 3.3.2, 3.4.0.M1 Attachments: JBIDE-12223.patch 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.

Forge should use the console font + listen to font changes ---------------------------------------------------------- Key: JBIDE-12223 URL: https://issues.jboss.org/browse/JBIDE-12223 Project: Tools (JBoss Tools) Issue Type: Bug Components: forge Environment: Reporter: Max Rydahl Andersen Assignee: Koen Aers Fix For: 3.3.1, 3.4.0.M1 Attachments: JBIDE-12223.patch 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.

Forge should use the console font + listen to font changes ---------------------------------------------------------- Key: JBIDE-12223 URL: https://issues.jboss.org/browse/JBIDE-12223 Project: Tools (JBoss Tools) Issue Type: Bug Components: forge Environment: Reporter: Max Rydahl Andersen Assignee: Koen Aers Fix For: 3.3.1, 3.4.0.M1 Attachments: JBIDE-12223-bis.patch, JBIDE-12223.patch 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.

Forge should use the console font + listen to font changes ---------------------------------------------------------- Key: JBIDE-12223 URL: https://issues.jboss.org/browse/JBIDE-12223 Project: Tools (JBoss Tools) Issue Type: Bug Components: forge Environment: Reporter: Max Rydahl Andersen Assignee: Koen Aers Fix For: 3.3.1, 3.4.0.M1 Attachments: JBIDE-12223-bis.patch, JBIDE-12223.patch 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.