Changeset 9972 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2016-03-12T23:45:08+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r9917 r9972 55 55 import org.openstreetmap.josm.gui.HelpAwareOptionPane.ButtonSpec; 56 56 import org.openstreetmap.josm.gui.download.DownloadSelection; 57 import org.openstreetmap.josm.gui.help.HelpUtil;58 57 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory; 59 58 import org.openstreetmap.josm.gui.progress.NullProgressMonitor; … … 518 517 specs, 519 518 specs[0], 520 HelpUtil.ht("/Plugin/Loading#MissingRequiredPlugin"))) {519 ht("/Plugin/Loading#MissingRequiredPlugin"))) { 521 520 downloadRequiredPluginsAndRestart(parent, missingRequiredPlugin); 522 521 } … … 580 579 tr("Warning"), 581 580 JOptionPane.WARNING_MESSAGE, 582 HelpUtil.ht("/Plugin/Loading#JOSMUpdateRequired")581 ht("/Plugin/Loading#JOSMUpdateRequired") 583 582 ); 584 583 } … … 860 859 tr("Warning"), 861 860 JOptionPane.WARNING_MESSAGE, 862 HelpUtil.ht("/Plugin/Loading#MissingPluginInfos")861 ht("/Plugin/Loading#MissingPluginInfos") 863 862 ); 864 863 } … … 928 927 tr("Plugin update failed"), 929 928 JOptionPane.ERROR_MESSAGE, 930 HelpUtil.ht("/Plugin/Loading#FailedPluginUpdated")929 ht("/Plugin/Loading#FailedPluginUpdated") 931 930 ); 932 931 }
Note:
See TracChangeset
for help on using the changeset viewer.