Changeset 781 in josm for trunk/src

Timestamp:

2008-08-15T13:06:31+02:00 (16 years ago)

Author:

stoecker

Message:

added Anti-aliasing checkbox. Closes #1416 and #1417.

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java (modified) (3 diffs)

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

@@ -28 +28 @@
         private JCheckBox sourceBounds = new JCheckBox(tr("Draw boundaries of downloaded data"));
         private JCheckBox inactive = new JCheckBox(tr("Draw inactive layers in other color"));
+        private JCheckBox useAntialiasing = new JCheckBox(tr("Smooth map graphics (antialiasing)"));
 
         public void addGui(PreferenceDialog gui) {
@@ -111 +112 @@
                 gui.display.add(segmentOrderNumber, GBC.eop().insets(20,0,0,0));
                 
+                // antialiasing
+                useAntialiasing.setToolTipText(tr("Apply antialiasing to the map view resulting in a smoother appearance."));
+                useAntialiasing.setSelected(Main.pref.getBoolean("mappaint.use-antialiasing"));
+                gui.display.add(useAntialiasing, GBC.eop().insets(20,0,0,0));
+                
                 // downloaded area
                 sourceBounds.setToolTipText(tr("Draw the boundaries of data loaded from the server."));
@@ -135 +141 @@
                 Main.pref.put("draw.data.downloaded_area", sourceBounds.isSelected());
                 Main.pref.put("draw.data.inactive_color", inactive.isSelected());
+                Main.pref.put("mappaint.use-antialiasing", useAntialiasing.isSelected());
     }
 }