ExternalVendorCode/trick
1
0
Fork 0
mirror of https://github.com/nasa/trick.git synced 2024-12-30 09:58:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix fonts in java GUIs #192

Browse Source 
I fixed a hard coded size=12 font in the sim control panel.
This commit is contained in:
Alex Lin 2017-03-13 11:10:24 -05:00
parent a1bc45548b
commit c5fbaeb7d6
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
trick_source/java/src/trick/simcontrol/SimControlApplication.java
View File

@ -1173,9 +1173,9 @@ public class SimControlApplication extends TrickApplication implements PropertyC
statusMsgPane.setEditorKit(new StyledEditorKit()); statusMsgPane.setEditorKit(new StyledEditorKit());
statusMsgPane.putClientProperty(JXEditorPane.HONOR_DISPLAY_PROPERTIES, true); statusMsgPane.putClientProperty(JXEditorPane.HONOR_DISPLAY_PROPERTIES, true);
statusMsgPane.setBackground(Color.black); statusMsgPane.setBackground(Color.black);
//statusMsgPane.setContentType("text/html");
Font font = new Font("Monospaced", Font.PLAIN, 12); int curr_font_size = statusMsgPane.getFont().getSize() ;
Font font = new Font("Monospaced", Font.PLAIN, curr_font_size);
statusMsgPane.setFont(font); statusMsgPane.setFont(font);
JPanel statusMsgPanel = UIUtils.createSearchableTitledPanel("Status Messages", statusMsgPane, new FindBar(statusMsgPane.getSearchable())); JPanel statusMsgPanel = UIUtils.createSearchableTitledPanel("Status Messages", statusMsgPane, new FindBar(statusMsgPane.getSearchable()));