Changeset 29574 in osm for applications/editors/josm/plugins

Timestamp:

2013-05-09T22:04:25+02:00 (11 years ago)

Author:

zverik

Message:

[josm_geochat] fixed autoscroll

File:

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

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

@@ -72 +72 @@
     }
 
-    public void addLineToChatPane( String userName, String line ) {
+    private void addLineToChatPane( String userName, String line, boolean italic ) {
         if( line.length() == 0 )
             return;
@@ -81 +81 @@
         Document doc = chatPanes.get(userName).pane.getDocument();
         try {
-            doc.insertString(doc.getLength(), line, null);
-        } catch( BadLocationException ex ) {
-            // whatever
-        }
-    }
-
-    public void addLineToPublic( String line ) {
-        addLineToChatPane(PUBLIC_PANE, line);
-    }
-
-    /**
-     * Special case: the line contains username, so it must be highlighted.
-     */
-    public void addLineToPublicEm( String line ) {
-        if( !line.startsWith("\n") )
-            line = "\n" + line;
-        Document doc = chatPanes.get(PUBLIC_PANE).pane.getDocument();
-        try {
-            SimpleAttributeSet attrs = new SimpleAttributeSet();
-            StyleConstants.setItalic(attrs, true);
+            SimpleAttributeSet attrs = null;
+            if( italic ) {
+                attrs = new SimpleAttributeSet();
+                StyleConstants.setItalic(attrs, true);
+            }
             doc.insertString(doc.getLength(), line, attrs);
         } catch( BadLocationException ex ) {
             // whatever
         }
+        chatPanes.get(userName).pane.setCaretPosition(doc.getLength());
+    }
+
+    public void addLineToChatPane( String userName, String line ) {
+        addLineToChatPane(userName, line, false);
+    }
+
+    public void addLineToPublic( String line ) {
+        addLineToChatPane(PUBLIC_PANE, line);
     }
 
@@ -140 +134 @@
         Font font = chatPane.getFont();
         chatPane.setFont(font.deriveFont(font.getSize2D() - 2));
-        DefaultCaret caret = (DefaultCaret)chatPane.getCaret();
-        caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
+//        DefaultCaret caret = (DefaultCaret)chatPane.getCaret(); // does not work
+//        caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
         JScrollPane scrollPane = new JScrollPane(chatPane, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
         chatPane.addMouseListener(new GeoChatPopupAdapter(panel));