Example usage for org.eclipse.jface.preference IPreferenceStore interface-usage

List of usage examples for org.eclipse.jface.preference IPreferenceStore interface-usage

Introduction

In this page you can find the example usage for org.eclipse.jface.preference IPreferenceStore interface-usage.

Usage

From source file tinyos.dlrc.utility.preferences.OldPluginPreferenceStore.java

/**
 * This wrapper for a {@link IPreferenceStore} reads values from another
 * store and transfers them to a new store. This procedure happens exactly one
 * time ever, and won't be repeated in future runs.
 * @author Benjamin Sigg
 */

From source file tinyos.dlrc.utility.preferences.SubPreferenceStore.java

/**
 * A {@link IPreferenceStore} which provides access to only a subset
 * of preferences of another {@link IPreferenceStore}. 
 * @author Benjamin Sigg
 * @deprecated not in use anywhere
 */

From source file tinyos.yeti.PreferencesAdapter.java

/**
 * Adapts {@link org.eclipse.core.runtime.Preferences} to
 * {@link org.eclipse.jface.preference.IPreferenceStore}
 *
 * @since 3.0
 */

From source file tinyos.yeti.utility.preferences.BufferedPreferenceStore.java

/**
 * A map containing some preferences which can be written into an {@link IPreferenceStore}
 * when necessary. While this class implements {@link IPreferenceStore}, not
 * all methods are available. Especially setting the default values will
 * throw an exception.<br>
 * Clients can call {@link #transmit()} to transmit all the changes made in

From source file tinyos.yeti.utility.preferences.OldPluginPreferenceStore.java

/**
 * This wrapper for a {@link IPreferenceStore} reads values from another
 * store and transfers them to a new store. This procedure happens exactly one
 * time ever, and won't be repeated in future runs.
 * @author Benjamin Sigg
 */

From source file tinyos.yeti.utility.preferences.SubPreferenceStore.java

/**
 * A {@link IPreferenceStore} which provides access to only a subset
 * of preferences of another {@link IPreferenceStore}. 
 * @author Benjamin Sigg
 * @deprecated not in use anywhere
 */

From source file ts.eclipse.ide.jsdt.internal.ui.editor.EclipsePreferencesAdapter.java

/**
 * Adapts an options {@link IEclipsePreferences} to {@link org.eclipse.jface.preference.IPreferenceStore}.
 * <p>
 * This preference store is read-only i.e. write access
 * throws an {@link java.lang.UnsupportedOperationException}.
 * </p>

From source file _org.eclipse.dltk.ui.preferences.OverlayPreferenceStore.java

/**
 * An overlaying preference store.
 */
public class OverlayPreferenceStore implements IPreferenceStore {

    public static final class TypeDescriptor {