Changeset 1084 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/ShortcutPreference.java

Timestamp:

2008-11-18T19:53:53+01:00 (15 years ago)

Author:

framm

Message:

• cosmetics: rename ShortCut to Shortcut, and shortCut to shortcut

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/ShortcutPreference.java (modified) (4 diffs)

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

@@ -10 +10 @@
 
 import org.openstreetmap.josm.tools.GBC;
-import org.openstreetmap.josm.tools.ShortCut;
+import org.openstreetmap.josm.tools.Shortcut;
 import org.openstreetmap.josm.gui.preferences.prefJPanel;
 
@@ -37 +37 @@
 //              private String[] columnNames = new String[]{tr("Action"), tr("Shortcut"), tr("Group"), tr("ID")};
                 private String[] columnNames = new String[]{tr("Action"), tr("Shortcut")};
-                private Collection<ShortCut> data;
+                private Collection<Shortcut> data;
                 public scListModel() {
-                        data = ShortCut.listAll();
+                        data = Shortcut.listAll();
                 }
                 public int getColumnCount() {
@@ -51 +51 @@
                 }
                 public Object getValueAt(int row, int col) {
-                        ShortCut sc = (ShortCut)data.toArray()[row];
+                        Shortcut sc = (Shortcut)data.toArray()[row];
                         if (col == 0) {
                                 return sc.getLongText();
@@ -57 +57 @@
                                 return sc.getKeyText();
                         } /*else if (col == 2) {
-                                if (sc.getRequestedGroup() == ShortCut.GROUP_NONE) {
+                                if (sc.getRequestedGroup() == Shortcut.GROUP_NONE) {
                                         return tr("None");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_HOTKEY) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_HOTKEY) {
                                         return tr("Hotkey");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_MENU) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_MENU) {
                                         return tr("Menu");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_EDIT) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_EDIT) {
                                         return tr("Edit");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_LAYER) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_LAYER) {
                                         return tr("Subwindow");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_DIRECT) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_DIRECT) {
                                         return tr("Direct");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_MNEMONIC) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_MNEMONIC) {
                                         return tr("Mnemonic");
-                                } else if (sc.getRequestedGroup() == ShortCut.GROUP_RESERVED) {
+                                } else if (sc.getRequestedGroup() == Shortcut.GROUP_RESERVED) {
                                         return tr("System");
                                 } else {