Searched refs:EXTENSION_COMMANDS (Results 1 – 6 of 6) sorted by relevance
956 final XMLMemento xmlMemento = XMLMemento.createWriteRoot(EXTENSION_COMMANDS); in write()974 preferenceStore.setValue(EXTENSION_COMMANDS, writer.toString()); in write()1113 return EXTENSION_COMMANDS.equals(event.getProperty()); in isChangeImportant()1153 …urationElement[] commandsExtensionPoint = registry.getConfigurationElementsFor(EXTENSION_COMMANDS); in reRead()1192 final String preferenceString = store.getString(EXTENSION_COMMANDS); in reRead()
177 …urationElement[] commandsExtensionPoint = registry.getConfigurationElementsFor(EXTENSION_COMMANDS); in reRead()
175 …urationElement[] commandsExtensionPoint = registry.getConfigurationElementsFor(EXTENSION_COMMANDS); in reRead()
649 …tensionPoint extPoint = registry.getExtensionPoint(IWorkbenchRegistryConstants.EXTENSION_COMMANDS); in readDefaultHandlers()
431 …urationElement[] commandsExtensionPoint = registry.getConfigurationElementsFor(EXTENSION_COMMANDS); in reRead()
755 String EXTENSION_COMMANDS = PlatformUI.PLUGIN_ID + '.' + PL_COMMANDS; field