Changeset 2070 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2009-09-06T23:07:33+02:00 (15 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/plugins
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java
r2017 r2070 122 122 if(pd.mainversion > AboutAction.getVersionNumber()) 123 123 { 124 int answer = new ExtendedDialog(Main.parent, 124 ExtendedDialog dialog = new ExtendedDialog( 125 Main.parent, 125 126 tr("Skip download"), 126 tr("JOSM version {0} required for plugin {1}.", pd.mainversion, pd.name), 127 new String[] {tr("Download Plugin"), tr("Skip Download")}, 128 new String[] {"download.png", "cancel.png"}).getValue(); 127 new String[] {tr("Download Plugin"), tr("Skip Download")} 128 ); 129 dialog.setContent(tr("JOSM version {0} required for plugin {1}.", pd.mainversion, pd.name)); 130 dialog.setButtonIcons(new String[] {"download.png", "cancel.png"}); 131 dialog.showDialog(); 132 int answer = dialog.getValue(); 129 133 if (answer != 1) 130 134 return false; -
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r2017 r2070 171 171 } catch (Throwable e) { 172 172 e.printStackTrace(); 173 174 int result = new ExtendedDialog(Main.parent,173 ExtendedDialog dialog = new ExtendedDialog( 174 Main.parent, 175 175 tr("Disable plugin"), 176 tr("Could not load plugin {0}. Delete from preferences?", info.name), 177 new String[] {tr("Disable plugin"), tr("Keep plugin")}, 178 new String[] {"dialogs/delete.png", "cancel.png"}).getValue(); 176 new String[] {tr("Disable plugin"), tr("Keep plugin")} 177 ); 178 dialog.setContent(tr("Could not load plugin {0}. Delete from preferences?", info.name)); 179 dialog.setButtonIcons( new String[] {"dialogs/delete.png", "cancel.png"}); 180 dialog.showDialog(); 181 int result = dialog.getValue(); 179 182 180 183 if(result == 1) … … 278 281 279 282 if (plugin != null) { 280 int answer = new ExtendedDialog(Main.parent, 283 ExtendedDialog dialog = new ExtendedDialog( 284 Main.parent, 281 285 tr("Disable plugin"), 286 new String[] {tr("Disable plugin"), tr("Cancel")} 287 ); 288 dialog.setButtonIcons(new String[] {"dialogs/delete.png", "cancel.png"}); 289 dialog.setContent( 290 tr("<html>") + 282 291 tr("An unexpected exception occurred that may have come from the ''{0}'' plugin.", plugin.info.name) 283 + " \n"292 + "<br>" 284 293 + (plugin.info.author != null 285 294 ? tr("According to the information within the plugin, the author is {0}.", plugin.info.author) 286 295 : "") 287 + " \n"296 + "<br>" 288 297 + tr("Try updating to the newest version of this plugin before reporting a bug.") 289 + "\n" 290 + tr("Should the plugin be disabled?"), 291 new String[] {tr("Disable plugin"), tr("Cancel")}, 292 new String[] {"dialogs/delete.png", "cancel.png"}).getValue(); 298 + "<br>" 299 + tr("Should the plugin be disabled?") 300 + "</html>" 301 ); 302 dialog.showDialog(); 303 int answer = dialog.getValue(); 304 293 305 if (answer == 1) { 294 306 List<String> plugins = new ArrayList<String>(Main.pref.getCollection("plugins", Collections.<String>emptyList()));
Note:
See TracChangeset
for help on using the changeset viewer.