[jbosstools-issues] [JBoss JIRA] (JBIDE-12223) Forge should use the console font + listen to font changes
[
https://issues.jboss.org/browse/JBIDE-12223?page=com.atlassian.jira.plugi...
]
Koen Aers updated JBIDE-12223:
------------------------------
Fix Version/s: 3.3.2
3.4.0.M1
(was: 3.4.x)
(was: 3.3.1)
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
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.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators:
https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira