Changeset 8394 in josm for trunk/src/org/openstreetmap/josm/gui/MainMenu.java

Timestamp:

2015-05-18T23:34:11+02:00 (9 years ago)

Author:

Don-vip

Message:

• global use of String.isEmpty()
• Correctness - Method throws alternative exception from catch block without history

File:

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

trunk/src/org/openstreetmap/josm/gui/MainMenu.java

@@ -1013 +1013 @@
             }
             currentSearchText = searchTerm;
-            if (searchTerm.length() == 0) {
+            if (searchTerm.isEmpty()) {
                 // No text to search
                 hideMenu();