Changeset 9634 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2016-01-26T00:20:58+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/ReadRemotePluginInformationTask.java
r9627 r9634 207 207 } 208 208 panel.add(new JLabel("<html><body width=\"500\"><b>"+b.toString().trim()+"</b></body></html>"), GBC.eol().insets(0, 0, 0, 10)); 209 if (!details.isEmpty()) { 209 if (details != null && !details.isEmpty()) { 210 210 panel.add(new JLabel(tr("Details:")), GBC.eol().insets(0, 0, 0, 10)); 211 211 JosmTextArea area = new JosmTextArea(details);
Note:
See TracChangeset
for help on using the changeset viewer.