Remove F8 keyboard shortcut to menu Tools > Options...
@@ -629,7 +629,6 @@ public class HopGui implements IActionContextHandlersProvider {
}
@GuiMenuElement( id = ID_MAIN_MENU_TOOLS_OPTIONS, type = GuiElementType.MENU_ITEM, label = "Options...", parentId = ID_MAIN_MENU_TOOLS_PARENT_ID )
- @GuiKeyboardShortcut( key = SWT.F8 )
public void menuToolsOptions() {
if (new EnterOptionsDialog( hopGui.getShell() ).open()!=null) {
props.saveProps();
