Changeset 6941 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/remotecontrol/RemoteControlPreference.java
- Timestamp:
- 2014-03-29T00:34:18+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/remotecontrol/RemoteControlPreference.java
r6623 r6941 74 74 remote.add(descLabel, GBC.eol().insets(5, 5, 0, 10).fill(GBC.HORIZONTAL)); 75 75 76 final JLabel portLabel = new JLabel("<html>" + tr("JOSM will always listen at <b>port 8111</b> on localhost. " 77 + "<br>This port is not configurable because it is referenced by external applications talking to JOSM.") + "</html>"); 76 final JLabel portLabel = new JLabel("<html>" + tr("JOSM will always listen at <b>port {0}</b> (http) and <b>port {1}</b> (https) on localhost." 77 + "<br>These ports are not configurable because they are referenced by external applications talking to JOSM.", 78 Main.pref.get("remote.control.port", "8111"), 79 Main.pref.get("remote.control.https.port", "8112")) + "</html>"); 78 80 portLabel.setFont(portLabel.getFont().deriveFont(Font.PLAIN)); 79 81 remote.add(portLabel, GBC.eol().insets(5, 5, 0, 10).fill(GBC.HORIZONTAL));
Note:
See TracChangeset
for help on using the changeset viewer.