Returns 'true' if this keyboard shortcut is in use.
(String shortcut)
| 1711 | |
| 1712 | /** Returns 'true' if this keyboard shortcut is in use. */ |
| 1713 | public static boolean shortcutInUse(String shortcut) { |
| 1714 | int code = convertShortcutToCode(shortcut); |
| 1715 | if (shortcuts.get(Integer.valueOf(code))!=null) |
| 1716 | return true; |
| 1717 | else |
| 1718 | return false; |
| 1719 | } |
| 1720 | |
| 1721 | /** Set the size (in points) used for the fonts in ImageJ menus. |
| 1722 | Set the size to 0 to use the Java default size. */ |
no test coverage detected