Changeset 10611 in josm for trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
- Timestamp:
- 2016-07-23T18:46:45+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
r10604 r10611 22 22 import java.awt.Window; 23 23 import java.awt.event.ActionListener; 24 import java.awt.event.HierarchyEvent;25 import java.awt.event.HierarchyListener;26 24 import java.awt.event.KeyEvent; 27 25 import java.awt.event.MouseAdapter; … … 91 89 92 90 public static void executeByMainWorkerInEDT(final Runnable task) { 93 Main.worker.submit(new Runnable() { 94 @Override 95 public void run() { 96 runInEDTAndWait(task); 97 } 98 }); 91 Main.worker.submit(() -> runInEDTAndWait(task)); 99 92 } 100 93 … … 272 265 public static Component prepareResizeableOptionPane(final Component pane, final Dimension minDimension) { 273 266 if (pane != null) { 274 pane.addHierarchyListener(new HierarchyListener() { 275 @Override 276 public void hierarchyChanged(HierarchyEvent e) { 277 Window window = SwingUtilities.getWindowAncestor(pane); 278 if (window instanceof Dialog) { 279 Dialog dialog = (Dialog) window; 280 if (!dialog.isResizable()) { 281 dialog.setResizable(true); 282 if (minDimension != null) { 283 dialog.setMinimumSize(minDimension); 284 } 267 pane.addHierarchyListener(e -> { 268 Window window = SwingUtilities.getWindowAncestor(pane); 269 if (window instanceof Dialog) { 270 Dialog dialog = (Dialog) window; 271 if (!dialog.isResizable()) { 272 dialog.setResizable(true); 273 if (minDimension != null) { 274 dialog.setMinimumSize(minDimension); 285 275 } 286 276 }
Note:
See TracChangeset
for help on using the changeset viewer.