Changeset 8939 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2015-10-24T15:22:02+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r8938 r8939 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; … … 1099 1100 ) 1100 1101 }; 1101 int ret = HelpAwareOptionPane.showOptionDialog( 1102 parent, 1103 reason, 1104 tr("Disable plugin"), 1105 JOptionPane.WARNING_MESSAGE, 1106 null, 1107 options, 1108 options[0], 1109 null // FIXME: add help topic 1110 ); 1102 int ret = -1; 1103 if (!GraphicsEnvironment.isHeadless()) { 1104 ret = HelpAwareOptionPane.showOptionDialog( 1105 parent, 1106 reason, 1107 tr("Disable plugin"), 1108 JOptionPane.WARNING_MESSAGE, 1109 null, 1110 options, 1111 options[0], 1112 null // FIXME: add help topic 1113 ); 1114 } 1111 1115 return ret == 0; 1112 1116 }
Note:
See TracChangeset
for help on using the changeset viewer.