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

Timestamp:

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

Author:

Gubaer

Message:

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

File:

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

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

@@ -60 +60 @@
     private JCheckBox useAntialiasing = new JCheckBox(tr("Smooth map graphics (antialiasing)"));
 
-    public void addGui(PreferenceDialog gui) {
+    public void addGui(PreferenceTabbedPane gui) {
         gui.display.setPreferredSize(new Dimension(400,600));
         JPanel panel = new JPanel(new GridBagLayout());