Changeset 10828 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2016-08-17T23:49:53+02:00 (8 years ago)

Author:

Don-vip

Message:

fix #13368 - plugin list starts scrolled down

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

@@ -164 +164 @@
         revalidate();
         repaint();
-        if (visibleRect != null && visibleRect.width > 0 && visibleRect.height > 0) {
-            SwingUtilities.invokeLater(() -> scrollRectToVisible(visibleRect));
-        }
+        SwingUtilities.invokeLater(() -> scrollRectToVisible(visibleRect));
     }
 }