Changeset 17161 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java

Timestamp:

2020-10-11T11:46:46+02:00 (4 years ago)

Author:

simon04

Message:

see #7548 - Re-organize the preference dialog (map preferences)

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java

@@ -54 +54 @@
 import javax.swing.JScrollPane;
 import javax.swing.JSeparator;
+import javax.swing.JTabbedPane;
 import javax.swing.JTable;
 import javax.swing.JToolBar;
@@ -1658 +1659 @@
      */
     public final void deferLoading(final DefaultTabPreferenceSetting tab, final Component component) {
-        tab.getTabPane().addChangeListener(e -> {
-            if (tab.getTabPane().getSelectedComponent() == component) {
+        deferLoading(tab.getTabPane(), component);
+    }
+
+    /**
+     * Defers loading of sources to the first time the adequate tab is selected.
+     * @param tab The tabbed pane
+     * @param component The tab component
+     * @since 17161
+     */
+    public final void deferLoading(final JTabbedPane tab, final Component component) {
+        tab.addChangeListener(e -> {
+            if (tab.getSelectedComponent() == component) {
                 initiallyLoadAvailableSources();
             }