()
| 137 | } |
| 138 | |
| 139 | String[] getAllCommands() { |
| 140 | Vector v = new Vector(); |
| 141 | Hashtable commandTable = Menus.getCommands(); |
| 142 | Hashtable shortcuts = Menus.getShortcuts(); |
| 143 | for (Enumeration en=commandTable.keys(); en.hasMoreElements();) { |
| 144 | String cmd = (String)en.nextElement(); |
| 145 | if (!cmd.startsWith("*") && !cmd.startsWith(" ") && cmd.length()<35 && !shortcuts.contains(cmd)) |
| 146 | v.addElement(cmd); |
| 147 | } |
| 148 | String[] list = new String[v.size()]; |
| 149 | v.copyInto((String[])list); |
| 150 | Arrays.sort(list, String.CASE_INSENSITIVE_ORDER); |
| 151 | return list; |
| 152 | } |
| 153 | |
| 154 | String[] getAvailableShortcuts() { |
| 155 | Vector v = new Vector(); |
no test coverage detected