Changeset 10362 in josm
- Timestamp:
- 2016-06-12T14:24:28+02:00 (8 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SideButton.java
r10358 r10362 77 77 } 78 78 79 /** 80 * Fix icon size 81 * @param action the action 82 * @deprecated 83 */ 79 84 @Deprecated 80 85 private void fixIcon(Action action) { -
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r10358 r10362 7 7 import java.awt.Font; 8 8 import java.awt.GridBagLayout; 9 import java.awt.Image;10 9 import java.awt.event.MouseWheelEvent; 11 10 import java.awt.event.MouseWheelListener; … … 512 511 ImageIcon icon = null; 513 512 514 if (iconName != null && !iconName.isEmpty()) {513 if (iconName != null && !iconName.isEmpty()) { 515 514 icon = new ImageProvider("preferences", iconName).setSize(ImageProvider.ImageSizes.SETTINGS_TAB).get(); 516 515 } -
trunk/src/org/openstreetmap/josm/gui/util/GuiSizesHelper.java
r10360 r10362 1 // License: GPL. For details, see LICENSE file. 1 2 package org.openstreetmap.josm.gui.util; 2 3 … … 12 13 */ 13 14 public class GuiSizesHelper { 15 16 private GuiSizesHelper() { 17 // Hide default constructor for utils classes 18 } 19 20 14 21 /** cache value for screen resolution */ 15 22 private static int screenDPI = -1; … … 54 61 /** 55 62 * Returns a resolution adapted size 56 * @param dimSize value to adapt (base size is a low DPI screen)63 * @param size Size value to adapt (base size is a low DPI screen) 57 64 * @return adapted size (may be unmodified) 58 65 */ … … 65 72 /** 66 73 * Returns a resolution adapted size 67 * @param dimSize value to adapt (base size is a low DPI screen)74 * @param size Size value to adapt (base size is a low DPI screen) 68 75 * @return adapted size (may be unmodified) 69 76 */ … … 76 83 /** 77 84 * Returns a resolution adapted size 78 * @param dimSize value to adapt (base size is a low DPI screen)85 * @param size Size value to adapt (base size is a low DPI screen) 79 86 * @return adapted size (may be unmodified) 80 87 */ -
trunk/src/org/openstreetmap/josm/tools/ImageProvider.java
r10359 r10362 1475 1475 scaleX = scaleY = (double) realHeight / sourceHeight; 1476 1476 realWidth = (int) Math.round(sourceWidth * scaleX); 1477 } 1478 else { 1477 } else { 1479 1478 scaleX = scaleY = (double) realHeight / sourceHeight; 1480 1479 }
Note:
See TracChangeset
for help on using the changeset viewer.