Changeset 29590 in osm for applications/editors

Timestamp:

2013-05-13T21:43:06+02:00 (12 years ago)

Author:

zverik

Message:

[josm_geochat] fixed font sizes

Location:

applications/editors/josm/plugins/geochat/src/geochat

Files:

• ChatPaneManager.java (modified) (1 diff)
• GeoChatPanel.java (modified) (1 diff)

applications/editors/josm/plugins/geochat/src/geochat/ChatPaneManager.java

@@ -135 +135 @@
         chatPane.setEditable(false);
         Font font = chatPane.getFont();
-        float sizeParameter = Main.pref.getInteger("geochat.panel.fontsize", -1); 
-        float size = sizeParameter;
-        if ( sizeParameter <= 0 ) size += font.getSize2D();
-        chatPane.setFont(font.deriveFont( size ));
-
+        float size = Main.pref.getInteger("geochat.fontsize", -1);
+        if( size < 6 )
+            size += font.getSize2D();
+        chatPane.setFont(font.deriveFont(size));
 //        DefaultCaret caret = (DefaultCaret)chatPane.getCaret(); // does not work
 //        caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);

applications/editors/josm/plugins/geochat/src/geochat/GeoChatPanel.java

@@ -56 +56 @@
             }
         };
-        
-        Font font = input.getFont();
-        float sizeParameter = Main.pref.getInteger("geochat.input.fontsize", 0); 
-        float size = sizeParameter;
-        if ( sizeParameter <= 0 ) size += font.getSize2D();
-        input.setFont(font.deriveFont( size ));
         
         String defaultUserName = constructUserName();