Java UITools.keyStrokeToString Examples

Example #1

File: AddOnDetailsPanel.java Project: htw-docear/docear

 private String formatShortcut(final Script script) {
   final String menuItemKey =
       ExecuteScriptAction.makeMenuItemKey(script.menuTitleKey, script.executionMode);
   final String shortcutKey = MenuUtils.makeAcceleratorKey(menuItemKey);
   final String oldShortcut = ResourceController.getResourceController().getProperty(shortcutKey);
   final KeyStroke keyStroke =
       UITools.getKeyStroke(oldShortcut != null ? oldShortcut : script.keyboardShortcut);
   return UITools.keyStrokeToString(keyStroke);
 }