Package org.python.pydev.plugin.preferences

Examples of org.python.pydev.plugin.preferences.OverlayPreferenceStore

287
288
289
290
291
292
293
        overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, FOLD_WHILE));
        overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, FOLD_WITH));

        OverlayPreferenceStore.OverlayKey[] keys = new OverlayPreferenceStore.OverlayKey[overlayKeys.size()];
        overlayKeys.toArray(keys);
        return new OverlayPreferenceStore(getPreferenceStore(), keys);
    }
View Full Code Here
TOP

Related Classes of org.python.pydev.plugin.preferences.OverlayPreferenceStore

  • org.eclipse.jface.preference.PreferenceStore
  • org.python.pydev.editor.codefolding.PyDevCodeFoldingPrefPage
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.