Anscheinend macht das Antialiasing auf diversen Plattformen in Sachen
Performance einen Unterschied, im Gegensatz zu Windows/Java 1.6 bei dem
keiner spürbar ist.
Anhängender Patch macht das Antialiasing komfortabel (nicht nur per
Advanced Preferences) abschaltbar. Könnte den bitte jemand committen?

Gruesse
Joerg

Index: 
C:/workspaces/osm/JOSM/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
===================================================================
--- 
C:/workspaces/osm/JOSM/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
    (revision 744)
+++ 
C:/workspaces/osm/JOSM/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
    (working copy)
@@ -27,6 +27,7 @@
        private JCheckBox segmentOrderNumber = new JCheckBox(tr("Draw segment 
order numbers"));
        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) {
                // drawRawGpsLines
@@ -110,6 +111,11 @@
                
segmentOrderNumber.setSelected(Main.pref.getBoolean("draw.segment.order_number"));
                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."));
                
sourceBounds.setSelected(Main.pref.getBoolean("draw.data.downloaded_area", 
true));
@@ -134,5 +140,6 @@
                Main.pref.put("draw.segment.order_number", 
segmentOrderNumber.isSelected());
                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());
     }
 }

_______________________________________________
josm-dev mailing list
[email protected]
http://lists.openstreetmap.org/listinfo/josm-dev

Reply via email to