org.eclipse.jface.preference.PreferenceStore Java Examples

/**
 * @see org.eclipse.jface.text.source.SourceViewerConfiguration#getReconciler(org.eclipse.jface.text.source.ISourceViewer)
 */
@Override
public IReconciler getReconciler(ISourceViewer sourceViewer) {
    if (fPreferenceStore == null || !fPreferenceStore.getBoolean(SpellingService.PREFERENCE_SPELLING_ENABLED))
        return null;
    if (!TexlipsePlugin.getDefault().getPreferenceStore().getBoolean(TexlipseProperties.ECLIPSE_BUILDIN_SPELLCHECKER))
        return null;
    //Set TeXlipse spelling Engine as default
    PreferenceStore store = new PreferenceStore();
    store.setValue(SpellingService.PREFERENCE_SPELLING_ENGINE, 
            "org.eclipse.texlipse.LaTeXSpellEngine");
    store.setValue(SpellingService.PREFERENCE_SPELLING_ENABLED, 
    true);
    SpellingService spellingService = new SpellingService(store);
    if (spellingService.getActiveSpellingEngineDescriptor(store) == null)
        return null;
    IReconcilingStrategy strategy= new TeXSpellingReconcileStrategy(sourceViewer, spellingService);
    
    MonoReconciler reconciler= new MonoReconciler(strategy, true);
    reconciler.setDelay(500);
    reconciler.setProgressMonitor(new NullProgressMonitor());
    return reconciler;
}
 

private PyCodeScanner createCodeScanner() {
    PreferenceStore store = new PreferenceStore();
    store.putValue(PyDevEditorPreferences.KEYWORD_COLOR, StringConverter.asString(new RGB(1, 0, 0)));
    store.putValue(PyDevEditorPreferences.SELF_COLOR, StringConverter.asString(new RGB(2, 0, 0)));
    store.putValue(PyDevEditorPreferences.CODE_COLOR, StringConverter.asString(new RGB(3, 0, 0)));
    store.putValue(PyDevEditorPreferences.DECORATOR_COLOR, StringConverter.asString(new RGB(4, 0, 0)));
    store.putValue(PyDevEditorPreferences.NUMBER_COLOR, StringConverter.asString(new RGB(5, 0, 0)));
    store.putValue(PyDevEditorPreferences.FUNC_NAME_COLOR, StringConverter.asString(new RGB(6, 0, 0)));
    store.putValue(PyDevEditorPreferences.CLASS_NAME_COLOR, StringConverter.asString(new RGB(7, 0, 0)));
    store.putValue(PyDevEditorPreferences.OPERATORS_COLOR, StringConverter.asString(new RGB(8, 0, 0)));
    store.putValue(PyDevEditorPreferences.PARENS_COLOR, StringConverter.asString(new RGB(9, 0, 0)));

    this.colorCache = new ColorAndStyleCache(store);
    PyCodeScanner scanner = new PyCodeScanner(colorCache);
    return scanner;
}
 

/**
 * @return a styled text that can be used to show code with the colors based on the color cache received.
 */
public StyledText createStyledTextForCodePresentation(Composite parent) {
    styledText = new StyledText(parent, SWT.BORDER | SWT.READ_ONLY);
    this.backgroundColorCache = new ColorAndStyleCache(new PreferenceStore());
    this.colorCache = new ColorAndStyleCache(null);

    try {
        styledText.setFont(new Font(parent.getDisplay(), FontUtils.getFontData(IFontUsage.STYLED, true)));
    } catch (Throwable e) {
        //ignore
    }
    updateBackgroundColor();

    PyDevUiPrefs.getChainedPrefStore().addPropertyChangeListener(this);

    return styledText;
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void save() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).save();
    }
    super.save();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

@Override
public void load() throws IOException {
    if (getPreferenceStore() instanceof PreferenceStore) {
        ((PreferenceStore) getPreferenceStore()).load();
    }
    super.load();
}
 

public JavaPreview(Map<String, String> workingValues, Composite parent) {
		JavaTextTools tools= JavaPlugin.getDefault().getJavaTextTools();
		fPreviewDocument= new Document();
		fWorkingValues= workingValues;
		tools.setupJavaDocumentPartitioner( fPreviewDocument, IJavaPartitions.JAVA_PARTITIONING);

		PreferenceStore prioritizedSettings= new PreferenceStore();
		HashMap<String, String> complianceOptions= new HashMap<String, String>();
		JavaModelUtil.setComplianceOptions(complianceOptions, JavaModelUtil.VERSION_LATEST);
		for (Entry<String, String> complianceOption : complianceOptions.entrySet()) {
			prioritizedSettings.setValue(complianceOption.getKey(), complianceOption.getValue());
		}

		IPreferenceStore[] chain= { prioritizedSettings, JavaPlugin.getDefault().getCombinedPreferenceStore() };
		fPreferenceStore= new ChainedPreferenceStore(chain);
		fSourceViewer= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER, fPreferenceStore);
		fSourceViewer.setEditable(false);
		Cursor arrowCursor= fSourceViewer.getTextWidget().getDisplay().getSystemCursor(SWT.CURSOR_ARROW);
		fSourceViewer.getTextWidget().setCursor(arrowCursor);

		// Don't set caret to 'null' as this causes https://bugs.eclipse.org/293263
//		fSourceViewer.getTextWidget().setCaret(null);

		fViewerConfiguration= new SimpleJavaSourceViewerConfiguration(tools.getColorManager(), fPreferenceStore, null, IJavaPartitions.JAVA_PARTITIONING, true);
		fSourceViewer.configure(fViewerConfiguration);
		fSourceViewer.getTextWidget().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT));

		fMarginPainter= new MarginPainter(fSourceViewer);
		final RGB rgb= PreferenceConverter.getColor(fPreferenceStore, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR);
		fMarginPainter.setMarginRulerColor(tools.getColorManager().getColor(rgb));
		fSourceViewer.addPainter(fMarginPainter);

		new JavaSourcePreviewerUpdater();
		fSourceViewer.setDocument(fPreviewDocument);
	}
 

public static void setPreference(String name, Rectangle rect) {
	PreferenceStore prefs = getPreferences();
	prefs.setValue(name + "_x", rect.x);
	prefs.setValue(name + "_y", rect.y);
	prefs.setValue(name + "_width", rect.width);
	prefs.setValue(name + "_height", rect.height);
	save();
}
 

public static Rectangle getPreferenceRectangle(String name) {
	PreferenceStore prefs = getPreferences();
	int x = prefs.getInt(name + "_x");
	int y = prefs.getInt(name + "_y");
	int width = prefs.getInt(name + "_width");
	int height = prefs.getInt(name + "_height");
	return new Rectangle(x, y, width, height);
}
 

public OverlayPreferenceStore( IPreferences preference,
		OverlayKey[] overlayKeys )
{
	fParent = preference;
	fOverlayKeys = overlayKeys;
	fStore = new PreferenceStore( );
}
 

public PydevEditorPrefs() {
    setDescription("PyDev editor appearance settings");
    setPreferenceStore(PydevPlugin.getDefault().getPreferenceStore());

    fOverlayStore = createOverlayStore();
    localStore = new PreferenceStore();
}
 

@Before
public void setUp() {
  evaluationService = mock( IEvaluationService.class );
  workbench = mock( IWorkbench.class );
  when( workbench.getService( IEvaluationService.class ) ).thenReturn( evaluationService );
  preferences = new WorkspaceScopePreferences( new PreferenceStore() );
  action = new CloseJUnitStatusAction( workbench, preferences );
}
 

@Before
public void setUp() {
  store = new PreferenceStore();
  store.setValue(EclipsePreferenceConstants.SHOW_CONTRIBUTION_ANNOTATIONS, true);
  createListenerMocks();

  manager = new ContributionAnnotationManager(sessionMock, store);
  model = new AnnotationModel();
}
 

private Element createShape(final String id, final EObject container, final Point location, final Dimension size, final IElementType type,
        final boolean isCollapsed) throws ProcBuilderException {

    diagramPart.refresh();
    final IGraphicalEditPart parentEditPart = GMFTools.findEditPart(diagramPart, container);
    final IGraphicalEditPart compartment = retrieveCompartmentEditPartFor(parentEditPart);
    if (compartment instanceof LaneLaneCompartmentEditPart) {
        int laneHeightOffset = 0;

        final PoolPoolCompartmentEditPart poolCompartment = (PoolPoolCompartmentEditPart) compartment.getParent().getParent();
        final int currentLaneIndex = ((Container) currentContainer.eContainer()).getElements().indexOf(currentContainer);
        if (currentLaneIndex > 0) {
            for (final Object object : poolCompartment.getChildren()) {
                if (object instanceof LaneEditPart) {
                    final EObject semanticElement = ((LaneEditPart) object).resolveSemanticElement();
                    final int laneIndex = ((Container) currentContainer.eContainer()).getElements().indexOf(semanticElement);
                    if (laneIndex < currentLaneIndex) {
                        laneHeightOffset = laneHeightOffset + ((LaneEditPart) object).getFigure().getSize().height;
                    }
                }
            }
        }
        if (laneHeightOffset != 0 && laneHeightOffset + 80 > location.y) {
            location.y = location.y + laneHeightOffset + 20;
        }
    }

    final PreferencesHint hint = diagramPart.getDiagramPreferencesHint();
    final PreferenceStore store = (PreferenceStore) hint.getPreferenceStore();
    store.setValue("isCollapsed", isCollapsed);

    final ViewAndElementDescriptor viewDescriptor = new ViewAndElementDescriptor(new CreateElementRequestAdapter(new CreateElementRequest(type)),
            Node.class,
            ((IHintedType) type).getSemanticHint(), hint);
    final CreateViewAndElementRequest createRequest = createCreationRequest(location, size, viewDescriptor);

    if (container == null || !(container instanceof Element)) {
        throw new ProcBuilderException("Impossible to find the parent EditPart");
    }

    diagramPart.getDiagramEditDomain().getDiagramCommandStack().execute(compartment.getCommand(createRequest));
    compartment.refresh();

    final Node newNode = (Node) viewDescriptor.getAdapter(Node.class);
    if (newNode == null) {
        throw new ProcBuilderException("New element not created");
    }
    currentView = newNode;
    final Element createdElement = (Element) newNode.getElement();
    final ShapeNodeEditPart nodeEditPart = (ShapeNodeEditPart) GMFTools.findEditPart(diagramPart, createdElement);

    if (nodeEditPart == null) {
        throw new ProcBuilderException("New edit part not created");
    }

    editParts.put(id, nodeEditPart);

    return createdElement;
}
 

public OverlayPreferenceStore(IPreferenceStore parent, OverlayKey[] overlayKeys) {
	fParent= parent;
	fOverlayKeys= overlayKeys;
	fStore= new PreferenceStore();
}
 

public OverlayPreferenceStore(IPreferenceStore parent, OverlayKey[] overlayKeys) {
    fParent = parent;
    fOverlayKeys = overlayKeys;
    fStore = new PreferenceStore();
}
 

public AbstractDetailsPart(IPreferenceStore masterPreferenceStore) {
	super(GRID);
	this.masterPreferenceStore = masterPreferenceStore;
	internalStore = new PreferenceStore();
}