Changeset 19601 in josm
- Timestamp:
- 2026-07-23T18:50:07+02:00 (16 hours ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
-
gui/dialogs/ToggleDialog.java (modified) (2 diffs)
-
io/GeoJSONReader.java (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java
r19598 r19601 442 442 if (isDialogInDefaultView()) { 443 443 int titlebarHeight = Config.getPref().getInt("toggledialog.titlebar.height", 444 (int)(20 * Config.getPref().getDouble("gui.scale", 1.0))); 444 (int) (20 * Config.getPref().getDouble("gui.scale", 1.0))); 445 445 setContentVisible(false); 446 446 setIsCollapsed(true); … … 573 573 }; 574 574 int titlebarHeight = Config.getPref().getInt("toggledialog.titlebar.height", 575 (int)(20 * Config.getPref().getDouble("gui.scale", 1.0))); 575 (int) (20 * Config.getPref().getDouble("gui.scale", 1.0))); 576 576 lblTitleWeak.setPreferredSize(new Dimension(Integer.MAX_VALUE, titlebarHeight)); 577 577 lblTitleWeak.setMinimumSize(new Dimension(0, titlebarHeight)); -
trunk/src/org/openstreetmap/josm/io/GeoJSONReader.java
r19600 r19601 10 10 import java.io.InputStreamReader; 11 11 import java.io.StringReader; 12 import java.lang.ClassCastException;13 12 import java.nio.charset.StandardCharsets; 14 13 import java.util.ArrayList;
Note:
See TracChangeset
for help on using the changeset viewer.
