Index: trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java	(revision 780)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java	(revision 781)
@@ -28,4 +28,5 @@
 	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,4 +112,9 @@
 		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,4 +141,5 @@
 		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());
     }
 }