Changeset 6058 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java

Timestamp:

2013-07-08T08:28:17+02:00 (11 years ago)

Author:

akks

Message:

see #7503: allow to disable highlighting of members/primitives (for slow machines)
(using old Draw target highlight option in display preferences)

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java

@@ -188 +188 @@
     class MouseEventHandler extends PopupMenuLauncher {
         private final HighlightHelper helper = new HighlightHelper();
-        
+        private boolean highlightEnabled = Main.pref.getBoolean("draw.target-highlight", true);
         public MouseEventHandler() {
             super(popupMenu);
@@ -201 +201 @@
                 if (layer == null) return;
                 layer.data.setSelected(Collections.singleton((OsmPrimitive)model.getElementAt(idx)));
-            } else if (Main.isDisplayingMapView()) {
+            } else if (highlightEnabled && Main.isDisplayingMapView()) {
                 if (helper.highlightOnly((OsmPrimitive)model.getElementAt(idx))) {
                     Main.map.mapView.repaint();
@@ -210 +210 @@
         @Override
         public void mouseExited(MouseEvent me) {
-            helper.clear();
+            if (highlightEnabled) helper.clear();
             super.mouseExited(me);
         }