Changeset 14691 in josm
- Timestamp:
- 2019-01-13T13:25:50+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/InputMapUtils.java
r14689 r14691 129 129 c.getActionMap().put("ctrl_enter", a); 130 130 c.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(stroke, "ctrl_enter"); 131 Optional.ofNullable(a.getValue(Action.SHORT_DESCRIPTION)) 131 Optional.ofNullable(a) 132 .map(x -> x.getValue(Action.SHORT_DESCRIPTION)) 132 133 .map(String::valueOf) 133 134 .ifPresent(text -> Shortcut.setTooltip(a, text, stroke));
Note:
See TracChangeset
for help on using the changeset viewer.