Changeset 6087 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2013-07-26T17:28:24+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r6084 r6087 1183 1183 PluginInformation pi = pp.getPluginInformation(); 1184 1184 pl.remove(pi.name); 1185 pl.add(pi.name + " (" + (pi.localversion != null && !pi.localversion. equals("")1185 pl.add(pi.name + " (" + (pi.localversion != null && !pi.localversion.isEmpty() 1186 1186 ? pi.localversion : "unknown") + ")"); 1187 1187 } … … 1198 1198 final PluginInformation info = p.getPluginInformation(); 1199 1199 String name = info.name 1200 + (info.version != null && !info.version. equals("") ? " Version: " + info.version : "");1200 + (info.version != null && !info.version.isEmpty() ? " Version: " + info.version : ""); 1201 1201 pluginTab.add(new JLabel(name), GBC.std()); 1202 1202 pluginTab.add(Box.createHorizontalGlue(), GBC.std().fill(GBC.HORIZONTAL));
Note:
See TracChangeset
for help on using the changeset viewer.