Ignore:
Timestamp:
2008-11-18T19:53:53+01:00 (15 years ago)
Author:
framm
Message:
  • cosmetics: rename ShortCut to Shortcut, and shortCut to shortcut
File:
1 edited

Legend:

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

    r1055 r1084  
    2929import org.openstreetmap.josm.data.ServerSidePreferences;
    3030import org.openstreetmap.josm.tools.GBC;
    31 import org.openstreetmap.josm.tools.ShortCut;
     31import org.openstreetmap.josm.tools.Shortcut;
    3232
    3333public class MainApplet extends JApplet {
     
    3636                public UploadPreferencesAction() {
    3737                        super(tr("Upload Preferences"), "upload-preferences", tr("Upload the current preferences to the server"),
    38                         ShortCut.registerShortCut("applet:uploadprefs", tr("Upload Preferences"), KeyEvent.VK_U, ShortCut.GROUP_HOTKEY), true);
     38                        Shortcut.registerShortcut("applet:uploadprefs", tr("Upload Preferences"), KeyEvent.VK_U, Shortcut.GROUP_HOTKEY), true);
    3939        }
    4040            public void actionPerformed(ActionEvent e) {
Note: See TracChangeset for help on using the changeset viewer.