(String shortcut)
| 1698 | } |
| 1699 | |
| 1700 | static boolean validShortcut(String shortcut) { |
| 1701 | int len = shortcut.length(); |
| 1702 | if (shortcut.equals("")) |
| 1703 | return true; |
| 1704 | else if (len==1) |
| 1705 | return true; |
| 1706 | else if (shortcut.startsWith("F") && (len==2 || len==3)) |
| 1707 | return true; |
| 1708 | else |
| 1709 | return false; |
| 1710 | } |
| 1711 | |
| 1712 | /** Returns 'true' if this keyboard shortcut is in use. */ |
| 1713 | public static boolean shortcutInUse(String shortcut) { |
no test coverage detected