Changeset 1865 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2009-07-28T19:48:39+02:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/ServerSidePreferences.java
r1857 r1865 106 106 } catch (MalformedURLException e) { 107 107 e.printStackTrace(); 108 JOptionPane.showMessageDialog(Main.parent, tr("Could not load preferences from server.")); 108 OptionPaneUtil.showMessageDialog( 109 Main.parent, 110 tr("Could not load preferences from server."), 111 tr("Error"), 112 JOptionPane.ERROR_MESSAGE 113 ); 109 114 } 110 115 this.connection = connection;
Note:
See TracChangeset
for help on using the changeset viewer.
