Changeset 14317 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2018-10-13T01:45:52+02:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r14273 r14317 183 183 a.setText(text); 184 184 a.setCaretPosition(0); 185 if (!GraphicsEnvironment.isHeadless()) { 186 JOptionPane.showMessageDialog(MainApplication.getMainFrame(), new JScrollPane(a), tr("Plugin information"), 187 JOptionPane.INFORMATION_MESSAGE); 188 } 185 JOptionPane.showMessageDialog(MainApplication.getMainFrame(), new JScrollPane(a), tr("Plugin information"), 186 JOptionPane.INFORMATION_MESSAGE); 189 187 } 190 188 } … … 352 350 } 353 351 sb.append("</ul></html>"); 354 if (!GraphicsEnvironment.isHeadless()) { 355 JOptionPane.showMessageDialog( 356 parent, 357 sb.toString(), 358 tr("Warning"), 359 JOptionPane.WARNING_MESSAGE 360 ); 361 } 352 JOptionPane.showMessageDialog( 353 parent, 354 sb.toString(), 355 tr("Warning"), 356 JOptionPane.WARNING_MESSAGE 357 ); 362 358 } 363 359
Note:
See TracChangeset
for help on using the changeset viewer.