Changeset 2745 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java

Timestamp:

2010-01-06T20:34:54+01:00 (14 years ago)

Author:

Gubaer

Message:

Partial commit due to #4137. Comment to follow in another commit.

File:

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

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

@@ -32 +32 @@
     }
 
-    public void addGui(final PreferenceDialog gui) {
+    public void addGui(final PreferenceTabbedPane gui) {
         enableDefault = new JCheckBox(tr("Enable built-in defaults"),
                 Main.pref.getBoolean("mappaint.style.enable-defaults", true));