Changeset 8072 in josm for trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java

Timestamp:

2015-02-15T22:15:48+01:00 (9 years ago)

Author:

Don-vip

Message:

fix #10882 - Implement search box for main menu (modified patch from strump)

File:

• trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java

@@ -23 +23 @@
 
 /**
- * Helper object that allows cross-platform detection of key press and realease events
- * instance is available globally as Main.map.keyDetector
+ * Helper object that allows cross-platform detection of key press and release events
+ * instance is available globally as {@code Main.map.keyDetector}.
  * @since 7217
  */