Changeset 9253 in josm for trunk/src/org/openstreetmap/josm/tools

Timestamp:

2016-01-02T02:06:16+01:00 (9 years ago)

Author:

stoecker

Message:

see #10684 - use squared toolbar buttons always, move side button image size definition to ImageProvider

File:

• trunk/src/org/openstreetmap/josm/tools/ImageProvider.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/ImageProvider.java

@@ -150 +150 @@
          * @since 8323
          */
-        LAYER
+        LAYER,
+        /** Toolbar button icon size
+         * @since 9253
+         */
+        TOOLBAR,
+        /** Side button maximum height
+         * @since 9253
+         */
+        SIDEBUTTON
     }
 
@@ -348 +356 @@
         case MAPMAX: sizeval = Main.pref.getInteger("iconsize.mapmax", 48); break;
         case MAP: sizeval = Main.pref.getInteger("iconsize.mapmax", 16); break;
+        case SIDEBUTTON: sizeval = Main.pref.getInteger("iconsize.sidebutton", 20); break;
+        case TOOLBAR: /* TOOLBAR is LARGELICON - only provided in case of future changes */
         case POPUPMENU: /* POPUPMENU is LARGELICON - only provided in case of future changes */
         case LARGEICON: sizeval = Main.pref.getInteger("iconsize.largeicon", 24); break;