Changeset 142 in josm for src/org/openstreetmap/josm/gui/MapStatus.java

Timestamp:

2006-09-24T11:15:39+02:00 (18 years ago)

Author:

imi

Message:

• added External Tool support (no gui configuration yet)
• applied patch for bug that Save action does not set filename (thanks Dean)
• fixed case sensitiveness of search tool (now insensitive, like google)

File:

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

src/org/openstreetmap/josm/gui/MapStatus.java

@@ -174 +174 @@
                                         }
                                 } catch (ConcurrentModificationException x) {
+                                } catch (NullPointerException x) {
                                 }
                         }