Changeset 3128 in josm for trunk/src/org/openstreetmap/josm/gui/MapView.java

Timestamp:

2010-03-13T10:45:19+01:00 (16 years ago)

Author:

jttt

Message:

Different fix for #4728 - discard offscreen buffer for all layer in MapView

File:

• trunk/src/org/openstreetmap/josm/gui/MapView.java (modified) (6 diffs)

trunk/src/org/openstreetmap/josm/gui/MapView.java

@@ -39 +39 @@
 import org.openstreetmap.josm.data.Bounds;
 import org.openstreetmap.josm.data.SelectionChangedListener;
+import org.openstreetmap.josm.data.Preferences.PreferenceChangeEvent;
+import org.openstreetmap.josm.data.Preferences.PreferenceChangedListener;
 import org.openstreetmap.josm.data.coor.LatLon;
 import org.openstreetmap.josm.data.osm.DataSet;
@@ -65 +67 @@
  * @author imi
  */
-public class MapView extends NavigatableComponent implements PropertyChangeListener {
+public class MapView extends NavigatableComponent implements PropertyChangeListener, PreferenceChangedListener {
 
     /**
@@ -183 +185 @@
     private final List<Layer> nonChangedLayers = new ArrayList<Layer>();
     private int lastViewID;
+    private boolean paintPreferencesChanged = true;
 
     public MapView() {
+        Main.pref.addPreferenceChangeListener(this);
         addComponentListener(new ComponentAdapter(){
             @Override public void componentResized(ComponentEvent e) {
@@ -472 +476 @@
         }
 
-        boolean canUseBuffer = nonChangedLayers.size() <= nonChangedLayersCount && lastViewID == getViewID();
+        boolean canUseBuffer = !paintPreferencesChanged && nonChangedLayers.size() <= nonChangedLayersCount && lastViewID == getViewID();
         if (canUseBuffer) {
             for (int i=0; i<nonChangedLayers.size(); i++) {
@@ -513 +517 @@
         }
         lastViewID = getViewID();
+        paintPreferencesChanged = false;
 
         tempG.drawImage(offscreenBuffer, 0, 0, null);
@@ -799 +804 @@
     }
 
+    public void preferenceChanged(PreferenceChangeEvent e) {
+        paintPreferencesChanged = true;
+    }
+
 }