Changeset 8345 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2015-05-11T10:52:33+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r8338 r8345 1367 1367 }), GBC.eol()); 1368 1368 1369 JosmTextArea description = new JosmTextArea( (info.description == null ? tr("no description available")1370 : info.description) );1369 JosmTextArea description = new JosmTextArea(info.description == null ? tr("no description available") 1370 : info.description); 1371 1371 description.setEditable(false); 1372 1372 description.setFont(new JLabel().getFont().deriveFont(Font.ITALIC));
Note:
See TracChangeset
for help on using the changeset viewer.