Changeset 1726 in josm for trunk/src/org/openstreetmap

Timestamp:

2009-07-03T23:50:09+02:00 (15 years ago)

Author:

stoecker

Message:

missing button markers for layer switches (e.g. for audio tracks) fixed

File:

• trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/ButtonMarker.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/ButtonMarker.java

@@ -52 +52 @@
         Point mousePosition = mv.getMousePosition();
 
-        if (mousePosition != null) {
-            // mouse is inside the window
-            if (mousePressed) {
-                b = BorderFactory.createBevelBorder(BevelBorder.LOWERED);
-            } else {
-                b = BorderFactory.createBevelBorder(BevelBorder.RAISED);
-            }
-            Insets inset = b.getBorderInsets(mv);
-            Rectangle r = new Rectangle(buttonRectangle);
-            r.grow((inset.top+inset.bottom)/2, (inset.left+inset.right)/2);
-            b.paintBorder(mv, g, r.x, r.y, r.width, r.height);
+        // mouse is inside the window
+        if (mousePosition != null && mousePressed) {
+            b = BorderFactory.createBevelBorder(BevelBorder.LOWERED);
+        } else {
+            b = BorderFactory.createBevelBorder(BevelBorder.RAISED);
         }
+        Insets inset = b.getBorderInsets(mv);
+        Rectangle r = new Rectangle(buttonRectangle);
+        r.grow((inset.top+inset.bottom)/2, (inset.left+inset.right)/2);
+        b.paintBorder(mv, g, r.x, r.y, r.width, r.height);
         if ((text != null) && (show.equalsIgnoreCase("show")) && Main.pref.getBoolean("marker.buttonlabels", true))
             g.drawString(text, screen.x+4, screen.y+2);