Java 类org.eclipse.gef.ui.palette.FlyoutPaletteComposite.FlyoutPreferences 实例源码

@Override
protected FlyoutPreferences getPalettePreferences() {
    FlyoutPreferences p = super.getPalettePreferences();
    p.setDockLocation(WEST);
    p.setPaletteWidth(PALETTE_WIDTH);
    return p;
}

@Override
protected FlyoutPreferences getPalettePreferences() {
    // We cache the palette preferences for the open editor
    // Default implementation returns a new FlyoutPreferences object
    // every time the getPalettePreferences method is invoked.
    if (palettePreferences == null) {
        palettePreferences = super.getPalettePreferences();
        // Palette always opened
        palettePreferences.setPaletteState(FlyoutPaletteComposite.STATE_PINNED_OPEN);
    }
    return palettePreferences;
}

protected FlyoutPreferences getPalettePreferences()
{
    return new FlyoutPreferences() {
        public int getDockLocation()
        {
            return cPreferenceStore.getInt(PALETTE_DOCK_LOCATION);
        }

        public int getPaletteState()
        {
            return cPreferenceStore.getInt(PALETTE_STATE);
        }

        public int getPaletteWidth()
        {
            return cPreferenceStore.getInt(PALETTE_SIZE);
        }

        public void setDockLocation(int location)
        {
            cPreferenceStore.setValue(PALETTE_DOCK_LOCATION, location);
        }

        public void setPaletteState(int state)
        {
            cPreferenceStore.setValue(PALETTE_STATE, state);
        }

        public void setPaletteWidth(int width)
        {
            cPreferenceStore.setValue(PALETTE_SIZE, width);
        }
    };
}

/**
 * Return a FlyoutPreferences instance used to save/load the preferences of a flyout palette.
 * 
 * @return The flyout palette preferences.
 */
public static FlyoutPreferences createPalettePreferences() {
    // set default flyout palette preference values, in case the preference
    // store
    // does not hold stored values for the given preferences
    getPreferenceStore().setDefault(PALETTE_DOCK_LOCATION, -1);
    getPreferenceStore().setDefault(PALETTE_STATE, DEFAULT_PALETTE_STATE);
    getPreferenceStore().setDefault(PALETTE_SIZE, DEFAULT_PALETTE_SIZE);

    return new FlyoutPreferences() {
        public int getDockLocation() {
            return getPreferenceStore().getInt(PALETTE_DOCK_LOCATION);
        }

        public int getPaletteState() {
            return getPreferenceStore().getInt(PALETTE_STATE);
        }

        public int getPaletteWidth() {
            return getPreferenceStore().getInt(PALETTE_SIZE);
        }

        public void setDockLocation(int location) {
            getPreferenceStore().setValue(PALETTE_DOCK_LOCATION, location);
        }

        public void setPaletteState(int state) {
            getPreferenceStore().setValue(PALETTE_STATE, state);
        }

        public void setPaletteWidth(int width) {
            getPreferenceStore().setValue(PALETTE_SIZE, width);
        }
    };

}

protected FlyoutPreferences getPalettePreferences( )
{
    return new ReportFlyoutPalettePreferences( );
}

/**
 * 
 * @see org.eclipse.gef.ui.parts.GraphicalEditorWithFlyoutPalette#getPalettePreferences()
 */
protected FlyoutPreferences getPalettePreferences() {
    return createPalettePreferences();
}

/**
 * By default, this method returns a FlyoutPreferences object that stores
 * the flyout settings in the GEF plugin. Sub-classes may override.
 * 
 * @return the FlyoutPreferences object used to save the flyout palette's
 *         preferences
 */
protected FlyoutPreferences getPalettePreferences() {
    return FlyoutPaletteComposite.createFlyoutPreferences(null);
}

/**
 * By default, this method returns a FlyoutPreferences object that stores
 * the flyout settings in the GEF plugin. Sub-classes may override.
 * 
 * @return the FlyoutPreferences object used to save the flyout palette's
 *         preferences
 */
protected FlyoutPreferences getPalettePreferences() {
    return FlyoutPaletteComposite.createFlyoutPreferences(InternalGEFPlugin
            .getDefault().getPluginPreferences());
}

/**
 * @return the FlyoutPreferences object used to save the flyout palette's
 *         preferences
 */
protected abstract FlyoutPreferences getPalettePreferences( );

/**
 * Returns the palette's preferences.
 * 
 * @see org.eclipse.gef.ui.parts.GraphicalEditorWithFlyoutPalette#getPalettePreferences()
 */
protected FlyoutPreferences getPalettePreferences() {
    return UcmPaletteRoot.createPalettePreferences();
}

/**
 * Returns the palette's preferences.
 * 
 * @see org.eclipse.gef.ui.parts.GraphicalEditorWithFlyoutPalette#getPalettePreferences()
 */
protected FlyoutPreferences getPalettePreferences() {
    return GrlPaletteRoot.createPalettePreferences();
}

protected abstract FlyoutPreferences getPalettePreferences();