Package org.erlide.ui.editors.erl.folding

Examples of org.erlide.ui.editors.erl.folding.IErlangFoldingPreferenceBlock.dispose()

381
382
383
384
385
386
387
388
389
390
391
    @Override
    public void dispose() {
        for (final Object element : fProviderPreferences.values()) {
            final IErlangFoldingPreferenceBlock prefs = (IErlangFoldingPreferenceBlock) element;
            prefs.dispose();
        }
    }

    private void restoreFromPreferences() {
        final boolean enabled = fStore
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.