Changeset 13313 in osm for applications/editors/josm/plugins/remotecontrol/src/org
- Timestamp:
- 2009-01-22T17:07:55+01:00 (16 years ago)
- Location:
- applications/editors/josm/plugins/remotecontrol/src/org/openstreetmap/josm/plugins/remotecontrol
- Files:
-
- 1 deleted
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/remotecontrol/src/org/openstreetmap/josm/plugins/remotecontrol/RemoteControlPreferences.java
r12778 r13313 12 12 import org.openstreetmap.josm.gui.preferences.PreferenceDialog; 13 13 import org.openstreetmap.josm.gui.preferences.PreferenceSetting; 14 import org.openstreetmap.josm.plugins.remotecontrol.Util.Version;15 14 import org.openstreetmap.josm.tools.GBC; 16 15 import org.openstreetmap.josm.tools.I18n; … … 30 29 public void addGui(final PreferenceDialog gui) 31 30 { 32 Version ver = Util.getVersion();33 31 String description = tr("A plugin that allows JOSM to be controlled from other applications."); 34 if (ver != null)35 description += "<br><br>" + tr("Version: {0}<br>Last change at {1}", ver.revision, ver.time) + "<br><br>";36 32 JPanel remote = gui.createPreferenceTab("remotecontrol.gif", tr("Remote Control"), tr("Settings for the Remote Control plugin.")); 37 33 remote.add(new JLabel("<html>"+tr("The Remote Control plugin will always listen on port 8111 on localhost." +
Note:
See TracChangeset
for help on using the changeset viewer.