Changeset 3806 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2011-01-23T15:05:13+01:00 (13 years ago)

Author:

stoecker

Message:

convert gif to png

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/RemoteControlPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/RemoteControlPreference.java

@@ -56 +56 @@
     public void addGui(final PreferenceTabbedPane gui) {
 
-        JPanel remote = gui.createPreferenceTab("remotecontrol.gif", tr("Remote Control"), tr("Settings for the remote control feature."));
+        JPanel remote = gui.createPreferenceTab("remotecontrol", tr("Remote Control"), tr("Settings for the remote control feature."));
 
         remote.add(enableRemoteControl = new JCheckBox(tr("Enable remote control"), RemoteControl.PROP_REMOTECONTROL_ENABLED.get()), GBC.eol());