command.setVisible(false);
command.setEnabled(false);
}
// fake shortcuts for commands which we handle at a lower level
commands.goToHelp().setShortcut(new KeyboardShortcut(112));
commands.goToFunctionDefinition().setShortcut(new KeyboardShortcut(113));
commands.codeCompletion().setShortcut(
new KeyboardShortcut(KeyCodes.KEY_TAB));
// See bug 3673 and https://bugs.webkit.org/show_bug.cgi?id=41016
if (BrowseCap.isMacintosh())
{
ShortcutManager.INSTANCE.register(