Changeset 29588 in osm for applications/editors/josm/plugins/geochat/src/geochat/ChatPaneManager.java

Timestamp:

2013-05-13T20:40:53+02:00 (11 years ago)

Author:

akks

Message:

[josm_geochat] copypaste from keyboard, font size advanced parameters

File:

• applications/editors/josm/plugins/geochat/src/geochat/ChatPaneManager.java (modified) (2 diffs)

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

@@ -10 +10 @@
 import javax.swing.event.ChangeListener;
 import javax.swing.text.*;
+import org.openstreetmap.josm.Main;
 import static org.openstreetmap.josm.tools.I18n.tr;
 
@@ -134 +135 @@
         chatPane.setEditable(false);
         Font font = chatPane.getFont();
-        float size = -1.0f; // Main.pref.getInteger("geochat.fontsize", -1); <- we don't need this
-        if( size < 8 )
-            size += font.getSize2D();
-        chatPane.setFont(font.deriveFont(size));
+        float sizeParameter = Main.pref.getInteger("geochat.panel.fontsize", -1); 
+        float size = sizeParameter;
+        if ( sizeParameter <= 0 ) size += font.getSize2D();
+        chatPane.setFont(font.deriveFont( size ));
+
 //        DefaultCaret caret = (DefaultCaret)chatPane.getCaret(); // does not work
 //        caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);