Changeset 10093 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2016-04-01T15:40:44+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r10001 r10093 8 8 import java.awt.Component; 9 9 import java.awt.Font; 10 import java.awt.GraphicsEnvironment; 10 11 import java.awt.GridBagConstraints; 11 12 import java.awt.GridBagLayout; … … 276 277 * @param plugins the collection of plugins 277 278 */ 278 privatestatic void filterDeprecatedPlugins(Component parent, Collection<String> plugins) {279 static void filterDeprecatedPlugins(Component parent, Collection<String> plugins) { 279 280 Set<DeprecatedPlugin> removedPlugins = new TreeSet<>(); 280 281 for (DeprecatedPlugin depr : DEPRECATED_PLUGINS) { … … 305 306 } 306 307 sb.append("</ul></html>"); 307 JOptionPane.showMessageDialog( 308 parent, 309 sb.toString(), 310 tr("Warning"), 311 JOptionPane.WARNING_MESSAGE 312 ); 308 if (!GraphicsEnvironment.isHeadless()) { 309 JOptionPane.showMessageDialog( 310 parent, 311 sb.toString(), 312 tr("Warning"), 313 JOptionPane.WARNING_MESSAGE 314 ); 315 } 313 316 } 314 317 … … 323 326 * @param plugins the collection of plugins 324 327 */ 325 privatestatic void filterUnmaintainedPlugins(Component parent, Collection<String> plugins) {328 static void filterUnmaintainedPlugins(Component parent, Collection<String> plugins) { 326 329 for (String unmaintained : UNMAINTAINED_PLUGINS) { 327 330 if (!plugins.contains(unmaintained)) {
Note:
See TracChangeset
for help on using the changeset viewer.