/** @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench) */ @Override public void init(final IWorkbench workbench) { fColorManager = new ColorManager(); fOverlayStore = new OverlayPreferenceStore( ErlideUIPlugin.getDefault().getPreferenceStore(), new OverlayPreferenceStore.OverlayKey[] {}); fOverlayStore.addKeys(createOverlayStoreKeys()); fOverlayStore.load(); fOverlayStore.start(); for (final TokenHighlight th : TokenHighlight.values()) { fColors.put(th, null); } }