Example usage for org.eclipse.jface.preference IPreferenceStore getDouble

List of usage examples for org.eclipse.jface.preference IPreferenceStore getDouble

  1. HOME
  2. Java
  3. org.eclipse.jface
  4. org.eclipse.jface.preference.*
  5. IPreferenceStore
  6. getDouble

Introduction

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

Prototype

double getDouble(String name);

Source Link

Document

Returns the current value of the double-valued preference with the given name.

Usage

From source file:org.eclipse.birt.report.designer.ui.preferences.OverlayPreferenceStore.java

License:Open Source License

private void propagateProperty(IPreferenceStore orgin, OverlayKey key, IPreferences target) {

    if (orgin.isDefault(key.fKey)) {
        if (!target.isDefault(key.fKey))
            target.setToDefault(key.fKey);
        return;//from w ww.  ja v a 2 s.co m
    }

    TypeDescriptor d = key.fDescriptor;
    if (BOOLEAN == d) {

        boolean originValue = orgin.getBoolean(key.fKey);
        boolean targetValue = target.getBoolean(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (DOUBLE == d) {

        double originValue = orgin.getDouble(key.fKey);
        double targetValue = target.getDouble(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (FLOAT == d) {

        float originValue = orgin.getFloat(key.fKey);
        float targetValue = target.getFloat(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (INT == d) {

        int originValue = orgin.getInt(key.fKey);
        int targetValue = target.getInt(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (LONG == d) {

        long originValue = orgin.getLong(key.fKey);
        long targetValue = target.getLong(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (STRING == d) {

        String originValue = orgin.getString(key.fKey);
        String targetValue = target.getString(key.fKey);
        if (targetValue != null && originValue != null && !targetValue.equals(originValue))
            target.setValue(key.fKey, originValue);

    }
}

From source file:org.eclipse.cdt.internal.autotools.ui.preferences.OverlayPreferenceStore.java

License:Open Source License

void propagateProperty(IPreferenceStore orgin, OverlayKey key, IPreferenceStore target) {

    if (orgin.isDefault(key.fKey)) {
        if (!target.isDefault(key.fKey))
            target.setToDefault(key.fKey);
        return;/*from  ww  w  . j  a  v a 2 s. co m*/
    }

    TypeDescriptor d = key.fDescriptor;
    if (BOOLEAN == d) {

        boolean originValue = orgin.getBoolean(key.fKey);
        boolean targetValue = target.getBoolean(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (DOUBLE == d) {

        double originValue = orgin.getDouble(key.fKey);
        double targetValue = target.getDouble(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (FLOAT == d) {

        float originValue = orgin.getFloat(key.fKey);
        float targetValue = target.getFloat(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (INT == d) {

        int originValue = orgin.getInt(key.fKey);
        int targetValue = target.getInt(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (LONG == d) {

        long originValue = orgin.getLong(key.fKey);
        long targetValue = target.getLong(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (STRING == d) {

        String originValue = orgin.getString(key.fKey);
        String targetValue = target.getString(key.fKey);
        if (targetValue != null && originValue != null && !targetValue.equals(originValue))
            target.setValue(key.fKey, originValue);

    }
}

From source file:org.eclipse.dawnsci.remotedataset.test.mock.ImageServiceMock.java

License:Open Source License

@Override
public ImageServiceBean createBeanFromPreferences() {

    ImageServiceBean imageServiceBean = new ImageServiceBean();

    if (Platform.getPreferencesService() != null) { // Normally
        IPreferenceStore store = new ScopedPreferenceStore(InstanceScope.INSTANCE, "org.dawnsci.plotting");
        imageServiceBean.setOrigin(ImageOrigin.forLabel(store.getString(BasePlottingConstants.ORIGIN_PREF)));
        imageServiceBean/*from   www  . ja v a2s .c  o  m*/
                .setHistogramType(HistoType.forLabel(store.getString(BasePlottingConstants.HISTO_PREF)));
        imageServiceBean
                .setMinimumCutBound(HistogramBound.fromString(store.getString(BasePlottingConstants.MIN_CUT)));
        imageServiceBean
                .setMaximumCutBound(HistogramBound.fromString(store.getString(BasePlottingConstants.MAX_CUT)));
        imageServiceBean.setNanBound(HistogramBound.fromString(store.getString(BasePlottingConstants.NAN_CUT)));
        imageServiceBean.setLo(store.getDouble(BasePlottingConstants.HISTO_LO));
        imageServiceBean.setHi(store.getDouble(BasePlottingConstants.HISTO_HI));

        try {

            imageServiceBean.setPalette(makeJetPalette());

        } catch (Exception e) {
            // Ignored
        }

    } else { // Hard code something

        imageServiceBean.setOrigin(ImageOrigin.TOP_LEFT);
        imageServiceBean.setHistogramType(HistoType.OUTLIER_VALUES);
        imageServiceBean.setMinimumCutBound(HistogramBound.DEFAULT_MINIMUM);
        imageServiceBean.setMaximumCutBound(HistogramBound.DEFAULT_MAXIMUM);
        imageServiceBean.setNanBound(HistogramBound.DEFAULT_NAN);
        imageServiceBean.setLo(00.01);
        imageServiceBean.setHi(99.99);
        imageServiceBean.setPalette(makeJetPalette());
    }

    return imageServiceBean;
}

From source file:org.eclipse.dltk.mod.ui.preferences.OverlayPreferenceStore.java

License:Open Source License

private static void propagateProperty(IPreferenceStore orgin, OverlayKey key, IPreferenceStore target) {

    if (orgin.isDefault(key.fKey)) {
        if (!target.isDefault(key.fKey))
            target.setToDefault(key.fKey);
        return;/*from w w w .j ava  2  s.c  om*/
    }

    TypeDescriptor d = key.fDescriptor;
    if (BOOLEAN == d) {

        boolean originValue = orgin.getBoolean(key.fKey);
        boolean targetValue = target.getBoolean(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (DOUBLE == d) {

        double originValue = orgin.getDouble(key.fKey);
        double targetValue = target.getDouble(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (FLOAT == d) {

        float originValue = orgin.getFloat(key.fKey);
        float targetValue = target.getFloat(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (INT == d) {

        int originValue = orgin.getInt(key.fKey);
        int targetValue = target.getInt(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (LONG == d) {

        long originValue = orgin.getLong(key.fKey);
        long targetValue = target.getLong(key.fKey);
        if (targetValue != originValue)
            target.setValue(key.fKey, originValue);

    } else if (STRING == d) {

        String originValue = orgin.getString(key.fKey);
        String targetValue = target.getString(key.fKey);
        if (targetValue != null && originValue != null && !targetValue.equals(originValue))
            target.setValue(key.fKey, originValue);

    }
}

From source file:org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramRootEditPart.java

License:Open Source License

/**
 * Get the Grid Spacing from the Plug-ins preference store
 * /*w w  w .java  2s.  co  m*/
 * @return grid spacing value.
 */
public double getGridSpacing() {

    double gridSpacing = 0;
    // Check the workspace properties
    if (getWorkspaceViewerPreferences() != null)
        gridSpacing = getWorkspaceViewerPreferences().getDouble(WorkspaceViewerProperties.GRIDSPACING);

    // If the workspace property is not set then get the global preference value
    if (gridSpacing == 0) {
        IPreferenceStore pluginStore = (IPreferenceStore) getPreferencesHint().getPreferenceStore();
        gridSpacing = pluginStore.getDouble(IPreferenceConstants.PREF_GRID_SPACING);
    }
    return gridSpacing;
}

From source file:org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramRootEditPart.java

License:Open Source License

/**
 * Initializes the workspace viewer property that are stored per diagram
 *///from   w  ww .ja v a  2s. com
private void initWorkspaceViewerProperties() {
    IPreferenceStore wsPrefStore = getWorkspaceViewerPreferences();

    if (wsPrefStore != null) {
        if (!wsPrefStore.contains(WorkspaceViewerProperties.GRIDORDER)) {
            wsPrefStore.setValue(WorkspaceViewerProperties.GRIDORDER, true);
        } else {
            moveGridLayer(wsPrefStore.getBoolean(WorkspaceViewerProperties.GRIDORDER));
        }
        if (!wsPrefStore.contains(WorkspaceViewerProperties.GRIDLINECOLOR)) {
            wsPrefStore.setValue(WorkspaceViewerProperties.GRIDLINECOLOR, LIGHT_GRAY_RGB);
        } else {
            setGridColor(Integer.valueOf(wsPrefStore.getInt(WorkspaceViewerProperties.GRIDLINECOLOR)));
        }
        if (!wsPrefStore.contains(WorkspaceViewerProperties.GRIDLINESTYLE)) {
            wsPrefStore.setValue(WorkspaceViewerProperties.GRIDLINESTYLE, SWT.LINE_CUSTOM);
        } else {
            setGridStyle(wsPrefStore.getInt(WorkspaceViewerProperties.GRIDLINESTYLE));
        }

        if ((!wsPrefStore.contains(WorkspaceViewerProperties.RULERUNIT))
                || (!wsPrefStore.contains(WorkspaceViewerProperties.GRIDSPACING))) {
            IPreferenceStore preferenceStore = (IPreferenceStore) getPreferencesHint().getPreferenceStore();
            // Set the ruler unit to 999 in order to force the setting 
            // and then change it to the appropriate value
            wsPrefStore.setValue(WorkspaceViewerProperties.RULERUNIT, 999);
            wsPrefStore.setValue(WorkspaceViewerProperties.RULERUNIT,
                    preferenceStore.getInt(IPreferenceConstants.PREF_RULER_UNITS));
            wsPrefStore.setValue(WorkspaceViewerProperties.GRIDSPACING,
                    preferenceStore.getDouble(IPreferenceConstants.PREF_GRID_SPACING));
        }
    }
}

From source file:org.eclipse.gmf.runtime.diagram.ui.internal.pagesetup.PageInfoHelper.java

License:Open Source License

/**
 * Utility method that calculate the printer page size.      
 * @return point the page size point.x == width, point.y == height
 *//*from   www. j  a  v  a 2s .  c o  m*/
public static Point getPageSize(IPreferenceStore store, boolean subtractMargins, IMapMode mm) {

    double paperSizeWidth = store.getDouble(WorkspaceViewerProperties.PREF_PAGE_WIDTH);
    double paperSizeHeight = store.getDouble(WorkspaceViewerProperties.PREF_PAGE_HEIGHT);
    double leftMargin = store.getDouble(WorkspaceViewerProperties.PREF_MARGIN_LEFT);
    double topMargin = store.getDouble(WorkspaceViewerProperties.PREF_MARGIN_TOP);
    double bottomMargin = store.getDouble(WorkspaceViewerProperties.PREF_MARGIN_BOTTOM);
    double rightMargin = store.getDouble(WorkspaceViewerProperties.PREF_MARGIN_RIGHT);

    //if (nnn
    //   .LANDSCAPE
    //   .equals(
    //      store.getString(WorkspaceViewerProperties.PAGE_ORIENTATION))) {
    //   double temp = paperSizeWidth;
    //   paperSizeWidth = paperSizeHeight;
    //   paperSizeHeight = temp;
    //}

    if (store.getBoolean(WorkspaceViewerProperties.PREF_USE_LANDSCAPE)) {
        double temp = paperSizeWidth;
        paperSizeWidth = paperSizeHeight;
        paperSizeHeight = temp;
    }
    // inches
    double width = paperSizeWidth;
    double height = paperSizeHeight;

    if (subtractMargins) {
        width -= (leftMargin + rightMargin);
        height -= (topMargin + bottomMargin);
    }

    int[] paperSize = { 0, 0 };
    org.eclipse.swt.widgets.Display display = DisplayUtils.getDisplay();
    org.eclipse.swt.graphics.Point displayDPI = display.getDPI();
    paperSize[0] = mm.DPtoLP((int) (width * displayDPI.x));
    paperSize[1] = mm.DPtoLP((int) (height * displayDPI.y));

    return new Point(paperSize[0], paperSize[1]);
}

From source file:org.eclipse.gmf.runtime.diagram.ui.internal.pagesetup.PageInfoHelper.java

License:Open Source License

public static PageMargins getPageMargins(IPreferenceStore preferenceStore, IMapMode mm) {
    org.eclipse.swt.graphics.Point displayDPI = DisplayUtils.getDisplay().getDPI();
    PageMargins margins = new PageMargins();
    margins.left = mm.DPtoLP(/*from w w w  .  j  ava  2s  .  co m*/
            (int) (displayDPI.x * preferenceStore.getDouble(WorkspaceViewerProperties.PREF_MARGIN_LEFT)));
    margins.right = mm.DPtoLP(
            (int) (displayDPI.x * preferenceStore.getDouble(WorkspaceViewerProperties.PREF_MARGIN_RIGHT)));
    margins.top = mm.DPtoLP(
            (int) (displayDPI.y * preferenceStore.getDouble(WorkspaceViewerProperties.PREF_MARGIN_TOP)));
    margins.bottom = mm.DPtoLP(
            (int) (displayDPI.y * preferenceStore.getDouble(WorkspaceViewerProperties.PREF_MARGIN_BOTTOM)));

    return margins;
}

From source file:org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor.java

License:Open Source License

/**
 * Adds the default preferences to the specified preference store.
 * /*w w  w . j  a v  a  2s. c  o  m*/
 * @param store
 *            store to use
 * @param preferencesHint
 *            The preference hint that is to be used to find the appropriate
 *            preference store from which to retrieve diagram preference
 *            values. The preference hint is mapped to a preference store in
 *            the preference registry <@link DiagramPreferencesRegistry>.
 */
public static void addDefaultPreferences(PreferenceStore store, PreferencesHint preferencesHint) {
    store.setValue(WorkspaceViewerProperties.ZOOM, 1.0);
    store.setValue(WorkspaceViewerProperties.VIEWPAGEBREAKS, false);

    IPreferenceStore globalPreferenceStore = (IPreferenceStore) preferencesHint.getPreferenceStore();

    // Initialize with the global settings
    boolean viewGrid = globalPreferenceStore.getBoolean(IPreferenceConstants.PREF_SHOW_GRID);

    boolean snapToGrid = globalPreferenceStore.getBoolean(IPreferenceConstants.PREF_SNAP_TO_GRID);

    boolean snapToGeometry = globalPreferenceStore.getBoolean(IPreferenceConstants.PREF_SNAP_TO_GEOMETRY);

    boolean viewRulers = globalPreferenceStore.getBoolean(IPreferenceConstants.PREF_SHOW_RULERS);

    // Set defaults for Grid
    store.setValue(WorkspaceViewerProperties.VIEWGRID, viewGrid);
    store.setValue(WorkspaceViewerProperties.SNAPTOGRID, snapToGrid);
    store.setValue(WorkspaceViewerProperties.SNAPTOGEOMETRY, snapToGeometry);

    // Set defaults for Rulers
    store.setValue(WorkspaceViewerProperties.VIEWRULERS, viewRulers);

    // Initialize printing defaults from the workspace preferences 
    IPreferenceStore workspacePreferences = (IPreferenceStore) preferencesHint.getPreferenceStore();

    store.setValue(WorkspaceViewerProperties.PREF_USE_WORKSPACE_SETTINGS,
            workspacePreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_WORKSPACE_SETTINGS));

    store.setValue(WorkspaceViewerProperties.PREF_USE_DIAGRAM_SETTINGS,
            workspacePreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_WORKSPACE_SETTINGS));

    store.setValue(WorkspaceViewerProperties.PREF_USE_INCHES,
            workspacePreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_INCHES));

    store.setValue(WorkspaceViewerProperties.PREF_USE_MILLIM,
            workspacePreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_MILLIM));

    store.setValue(WorkspaceViewerProperties.PREF_USE_PORTRAIT,
            workspacePreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_PORTRAIT));

    store.setValue(WorkspaceViewerProperties.PREF_USE_LANDSCAPE,
            workspacePreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_LANDSCAPE));

    store.setValue(WorkspaceViewerProperties.PREF_PAGE_SIZE,
            workspacePreferences.getString(WorkspaceViewerProperties.PREF_PAGE_SIZE));

    store.setValue(WorkspaceViewerProperties.PREF_PAGE_WIDTH,
            workspacePreferences.getDouble(WorkspaceViewerProperties.PREF_PAGE_WIDTH));

    store.setValue(WorkspaceViewerProperties.PREF_PAGE_HEIGHT,
            workspacePreferences.getDouble(WorkspaceViewerProperties.PREF_PAGE_HEIGHT));

    store.setValue(WorkspaceViewerProperties.PREF_MARGIN_TOP,
            workspacePreferences.getDouble(WorkspaceViewerProperties.PREF_MARGIN_TOP));

    store.setValue(WorkspaceViewerProperties.PREF_MARGIN_BOTTOM,
            workspacePreferences.getDouble(WorkspaceViewerProperties.PREF_MARGIN_BOTTOM));

    store.setValue(WorkspaceViewerProperties.PREF_MARGIN_LEFT,
            workspacePreferences.getDouble(WorkspaceViewerProperties.PREF_MARGIN_LEFT));

    store.setValue(WorkspaceViewerProperties.PREF_MARGIN_RIGHT,
            workspacePreferences.getDouble(WorkspaceViewerProperties.PREF_MARGIN_RIGHT));
}

From source file:org.eclipse.gmf.runtime.diagram.ui.printing.render.internal.JPSDiagramPrinter.java

License:Open Source License

/**
 * Get the media size to use for printing.
 * //from   w  w w .  ja  va  2 s .  co m
 * @return the media size. <code>null</code> is never returned.
 */
private MediaSize getMediaSize(String pageSize, PrintRequestAttributeSet printRequestAttributeSet,
        IPreferenceStore fPreferences) {

    MediaSize mediaSize;

    if (pageSize.compareToIgnoreCase(PageSetupPageType.USER_DEFINED.getName()) == 0) {
        float width = (float) fPreferences.getDouble(WorkspaceViewerProperties.PREF_PAGE_WIDTH);
        float height = (float) fPreferences.getDouble(WorkspaceViewerProperties.PREF_PAGE_HEIGHT);
        int units = fPreferences.getBoolean(WorkspaceViewerProperties.PREF_USE_INCHES) ? MediaSize.INCH
                : MediaSize.MM;
        mediaSize = new MediaSize(width, height, units);
    } else {
        MediaSizeName media = (MediaSizeName) printRequestAttributeSet.get(Media.class);
        mediaSize = MediaSize.getMediaSizeForName(media);
    }
    /* we were not able to find the media size, use the default one */
    if (mediaSize == null) {
        mediaSize = MediaSize.ISO.A4;
    }
    return mediaSize;
}