Changeset 18801 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
- Timestamp:
- 2023-08-09T15:30:01+02:00 (9 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
r18436 r18801 97 97 int i = field.getInt(null); 98 98 String s = KeyEvent.getKeyText(i); 99 if (s != null && s.length() > 0&& !s.contains(unknown)) {99 if (s != null && !s.isEmpty() && !s.contains(unknown)) { 100 100 list.put(Integer.valueOf(i), s); 101 101 }
Note:
See TracChangeset
for help on using the changeset viewer.