Examples with OverlayPreferenceStore org.erlide.ui.util.OverlayPreferenceStore used on opensource projects

Example 1 with OverlayPreferenceStore

use of org.erlide.ui.util.OverlayPreferenceStore in project erlide_eclipse by erlang.

the class ColoringPreferencePage method init.

/**
 * @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);
    }
}