Changeset 3806 in josm


Ignore:
Timestamp:
2011-01-23T15:05:13+01:00 (11 years ago)
Author:
stoecker
Message:

convert gif to png

Location:
trunk
Files:
1 added
1 deleted
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/RemoteControlPreference.java

    r3732 r3806  
    5656    public void addGui(final PreferenceTabbedPane gui) {
    5757
    58         JPanel remote = gui.createPreferenceTab("remotecontrol.gif", tr("Remote Control"), tr("Settings for the remote control feature."));
     58        JPanel remote = gui.createPreferenceTab("remotecontrol", tr("Remote Control"), tr("Settings for the remote control feature."));
    5959
    6060        remote.add(enableRemoteControl = new JCheckBox(tr("Enable remote control"), RemoteControl.PROP_REMOTECONTROL_ENABLED.get()), GBC.eol());
Note: See TracChangeset for help on using the changeset viewer.