public final void savePreferences(final Scheme activeScheme, final Binding[] bindings)
throws IOException {
BindingPersistence.write(activeScheme, bindings);
try {
bindingManager.setActiveScheme(activeScheme);
} catch (final NotDefinedException e) {
WorkbenchPlugin.log(
"The active scheme is not currently defined.", //$NON-NLS-1$
WorkbenchPlugin.getStatus(e));
}
bindingManager.setBindings(bindings);
}
public final void dispose() {
// RAP [rst] safeguard against NPE
if (keyboard == null || workbench == null) return;
// RAP [rst] move "workbench = null" down to prevent NPE
final Listener listener = keyboard.getKeyDownFilter();
final Display display = workbench.getDisplay();
if (display != null) {
display.removeFilter(SWT.KeyDown, listener);
display.removeFilter(SWT.Traverse, listener);
}
workbench = null;
keyboard = null;
bindingPersistence.dispose();
}
public final void readRegistryAndPreferences(final ICommandService commandService) {
bindingPersistence.read();
}
public final String getDefaultSchemeId() {
return BindingPersistence.getDefaultSchemeId();
}
