Changeset 10828 in josm for trunk/src/org
- Timestamp:
- 2016-08-17T23:49:53+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java
r10611 r10828 164 164 revalidate(); 165 165 repaint(); 166 if (visibleRect != null && visibleRect.width > 0 && visibleRect.height > 0) { 167 SwingUtilities.invokeLater(() -> scrollRectToVisible(visibleRect)); 168 } 166 SwingUtilities.invokeLater(() -> scrollRectToVisible(visibleRect)); 169 167 } 170 168 }
Note:
See TracChangeset
for help on using the changeset viewer.