Example usage for org.eclipse.jface.resource JFaceResources getFont

List of usage examples for org.eclipse.jface.resource JFaceResources getFont

  1. HOME
  2. Java
  3. org.eclipse.jface
  4. org.eclipse.jface.resource.*
  5. JFaceResources
  6. getFont

Introduction

In this page you can find the example usage for org.eclipse.jface.resource JFaceResources getFont.

Prototype

public static Font getFont(String symbolicName)

Source Link

Document

Returns the font in JFace's font registry with the given symbolic font name.

Usage

From source file:com.dubture.twig.ui.preferences.TwigSyntaxColoringPage.java

License:Open Source License

@Override
protected Control createContents(final Composite parent) {

    initializeDialogUnits(parent);//from   w  w  w.  ja  va 2s .co m

    fDefaultForeground = parent.getDisplay().getSystemColor(SWT.COLOR_LIST_FOREGROUND);
    fDefaultBackground = parent.getDisplay().getSystemColor(SWT.COLOR_LIST_BACKGROUND);
    Composite pageComponent = createComposite(parent, 2);
    PlatformUI.getWorkbench().getHelpSystem().setHelp(pageComponent,
            IPHPHelpContextIds.SYNTAX_COLORING_PREFERENCES);

    Link link = new Link(pageComponent, SWT.WRAP);
    String linkText = "Default colors and font can be configured on the <a href=\"org.eclipse.ui.preferencePages.GeneralTextEditor\">Text Editors</a> and on the <a href=\"org.eclipse.ui.preferencePages.ColorsAndFonts\">Colors and Fonts</a> preference pages.";
    link.setText(linkText);

    link.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            PreferencesUtil.createPreferenceDialogOn(parent.getShell(), e.text, null, null);
        }
    });

    GridData linkData = new GridData(SWT.FILL, SWT.BEGINNING, true, false, 2, 1);
    linkData.widthHint = 150; // only expand further if anyone else requires
    // it
    link.setLayoutData(linkData);

    new Label(pageComponent, SWT.NONE).setLayoutData(new GridData());
    new Label(pageComponent, SWT.NONE).setLayoutData(new GridData());

    SashForm editor = new SashForm(pageComponent, SWT.VERTICAL);
    GridData gridData2 = new GridData(SWT.FILL, SWT.FILL, true, true);
    gridData2.horizontalSpan = 2;
    editor.setLayoutData(gridData2);
    SashForm top = new SashForm(editor, SWT.HORIZONTAL);
    Composite styleEditor = createComposite(top, 1);
    ((GridLayout) styleEditor.getLayout()).marginRight = 5;
    ((GridLayout) styleEditor.getLayout()).marginLeft = 0;
    createLabel(styleEditor, XMLUIMessages.SyntaxColoringPage_0);
    fStylesViewer = createStylesViewer(styleEditor);
    GridData gridData = new GridData(SWT.FILL, SWT.FILL, true, true);
    gridData.horizontalIndent = 0;
    Iterator<String> iterator = fStyleToDescriptionMap.values().iterator();
    while (iterator.hasNext()) {
        gridData.widthHint = Math.max(gridData.widthHint,
                convertWidthInCharsToPixels(iterator.next().toString().length()));
    }
    gridData.heightHint = convertHeightInCharsToPixels(5);
    fStylesViewer.getControl().setLayoutData(gridData);

    Composite editingComposite = createComposite(top, 1);
    ((GridLayout) styleEditor.getLayout()).marginLeft = 5;
    createLabel(editingComposite, ""); //$NON-NLS-1$

    fEnabler = createCheckbox(editingComposite, XMLUIMessages.SyntaxColoringPage_2);
    fEnabler.setEnabled(false);

    Composite editControls = createComposite(editingComposite, 2);
    ((GridLayout) editControls.getLayout()).marginLeft = 20;

    fForegroundLabel = createLabel(editControls, SSEUIMessages.Foreground_UI_);
    ((GridData) fForegroundLabel.getLayoutData()).verticalAlignment = SWT.CENTER;
    fForegroundLabel.setEnabled(false);

    fForegroundColorEditor = new ColorSelector(editControls);
    Button fForegroundColor = fForegroundColorEditor.getButton();
    GridData gd = new GridData(SWT.BEGINNING, SWT.FILL, false, false);
    fForegroundColor.setLayoutData(gd);
    fForegroundColorEditor.setEnabled(false);

    fBackgroundLabel = createLabel(editControls, SSEUIMessages.Background_UI_);
    ((GridData) fBackgroundLabel.getLayoutData()).verticalAlignment = SWT.CENTER;
    fBackgroundLabel.setEnabled(false);

    fBackgroundColorEditor = new ColorSelector(editControls);
    Button fBackgroundColor = fBackgroundColorEditor.getButton();
    gd = new GridData(SWT.BEGINNING, SWT.FILL, false, false);
    fBackgroundColor.setLayoutData(gd);
    fBackgroundColorEditor.setEnabled(false);

    fBold = createCheckbox(editControls, XMLUIMessages.SyntaxColoringPage_3);
    fBold.setEnabled(false);
    ((GridData) fBold.getLayoutData()).horizontalSpan = 2;
    fItalic = createCheckbox(editControls, XMLUIMessages.SyntaxColoringPage_4);
    fItalic.setEnabled(false);
    ((GridData) fItalic.getLayoutData()).horizontalSpan = 2;
    fStrike = createCheckbox(editControls, XMLUIMessages.SyntaxColoringPage_5);
    fStrike.setEnabled(false);
    ((GridData) fStrike.getLayoutData()).horizontalSpan = 2;
    fUnderline = createCheckbox(editControls, XMLUIMessages.SyntaxColoringPage_6);
    fUnderline.setEnabled(false);
    ((GridData) fUnderline.getLayoutData()).horizontalSpan = 2;
    fClearStyle = new Button(editingComposite, SWT.PUSH);
    fClearStyle.setText(SSEUIMessages.Restore_Default_UI_); // $NON-NLS-1$ =
    // "Restore
    // Default"
    fClearStyle.setLayoutData(new GridData(SWT.BEGINNING));
    ((GridData) fClearStyle.getLayoutData()).horizontalIndent = 20;
    fClearStyle.setEnabled(false);

    Composite sampleArea = createComposite(editor, 1);

    ((GridLayout) sampleArea.getLayout()).marginLeft = 5;
    ((GridLayout) sampleArea.getLayout()).marginTop = 5;
    createLabel(sampleArea, SSEUIMessages.Sample_text__UI_); // $NON-NLS-1$
    // =
    // "&Sample
    // text:"
    SourceViewer viewer = new SourceViewer(sampleArea, null,
            SWT.BORDER | SWT.LEFT_TO_RIGHT | SWT.MULTI | SWT.V_SCROLL | SWT.H_SCROLL | SWT.READ_ONLY);
    fText = viewer.getTextWidget();
    GridData gridData3 = new GridData(SWT.FILL, SWT.FILL, true, true);
    gridData3.widthHint = convertWidthInCharsToPixels(20);
    gridData3.heightHint = convertHeightInCharsToPixels(18);
    gridData3.horizontalSpan = 2;
    fText.setLayoutData(gridData3);
    fText.setEditable(false);
    fText.setFont(JFaceResources.getFont("org.eclipse.wst.sse.ui.textfont")); //$NON-NLS-1$
    fText.addKeyListener(getTextKeyListener());
    fText.addSelectionListener(getTextSelectionListener());
    fText.addMouseListener(getTextMouseListener());
    fText.addTraverseListener(getTraverseListener());
    setAccessible(fText, SSEUIMessages.Sample_text__UI_);
    fDocument = StructuredModelManager.getModelManager()
            .createStructuredDocumentFor(ContentTypeIdForTwig.CONTENT_TYPE_ID_TWIG);
    fDocument.set(getExampleText());
    viewer.setDocument(fDocument);

    top.setWeights(new int[] { 2, 1 });
    editor.setWeights(new int[] { 1, 1 });
    PlatformUI.getWorkbench().getHelpSystem().setHelp(pageComponent,
            IPHPHelpContextIds.SYNTAX_COLORING_PREFERENCES);

    fStylesViewer.setInput(getStylePreferenceKeys());

    fOverlayStore.addPropertyChangeListener(fHighlightingChangeListener);

    try {

        initHighlightingPositions();
        initHighlightingStyles();
        applyStyles();

    } catch (Exception e) {
        Logger.logException(e);
    }

    fStylesViewer.addSelectionChangedListener(new ISelectionChangedListener() {
        public void selectionChanged(SelectionChangedEvent event) {
            if (!event.getSelection().isEmpty()) {
                Object o = ((IStructuredSelection) event.getSelection()).getFirstElement();
                String namedStyle = o.toString();

                activate(namedStyle);
                if (namedStyle == null)
                    return;
            }
        }
    });

    fForegroundColorEditor.addListener(new IPropertyChangeListener() {
        public void propertyChange(PropertyChangeEvent event) {
            if (event.getProperty().equals(ColorSelector.PROP_COLORCHANGE)) {
                Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
                String namedStyle = o.toString();

                String prefString = getOverlayStore().getString(namedStyle);
                String[] stylePrefs = ColorHelper.unpackStylePreferences(prefString);
                if (stylePrefs != null) {
                    String oldValue = stylePrefs[0];
                    // open color dialog to get new color
                    String newValue = ColorHelper.toRGBString(fForegroundColorEditor.getColorValue());

                    if (!newValue.equals(oldValue)) {
                        stylePrefs[0] = newValue;
                        String newPrefString = ColorHelper.packStylePreferences(stylePrefs);
                        getOverlayStore().setValue(namedStyle, newPrefString);
                        applyStyles();
                        fText.redraw();
                    }
                }
            }
        }
    });

    fBackgroundColorEditor.addListener(new IPropertyChangeListener() {
        public void propertyChange(PropertyChangeEvent event) {
            if (event.getProperty().equals(ColorSelector.PROP_COLORCHANGE)) {
                Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
                String namedStyle = o.toString();

                String prefString = getOverlayStore().getString(namedStyle);
                String[] stylePrefs = ColorHelper.unpackStylePreferences(prefString);
                if (stylePrefs != null) {
                    String oldValue = stylePrefs[1];
                    // open color dialog to get new color
                    String newValue = ColorHelper.toRGBString(fBackgroundColorEditor.getColorValue());

                    if (!newValue.equals(oldValue)) {
                        stylePrefs[1] = newValue;
                        String newPrefString = ColorHelper.packStylePreferences(stylePrefs);
                        getOverlayStore().setValue(namedStyle, newPrefString);
                        applyStyles();
                        fText.redraw();
                        activate(namedStyle);
                    }
                }
            }
        }
    });

    fBold.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            super.widgetSelected(e);
            // get current (newly old) style
            Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
            String namedStyle = o.toString();

            String prefString = getOverlayStore().getString(namedStyle);
            String[] stylePrefs = ColorHelper.unpackStylePreferences(prefString);
            if (stylePrefs != null) {
                String oldValue = stylePrefs[2];
                String newValue = String.valueOf(fBold.getSelection());
                if (!newValue.equals(oldValue)) {
                    stylePrefs[2] = newValue;
                    String newPrefString = ColorHelper.packStylePreferences(stylePrefs);
                    getOverlayStore().setValue(namedStyle, newPrefString);
                    applyStyles();
                    fText.redraw();
                }
            }
        }
    });

    fItalic.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            super.widgetSelected(e);
            // get current (newly old) style
            Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
            String namedStyle = o.toString();
            String prefString = getOverlayStore().getString(namedStyle);
            String[] stylePrefs = ColorHelper.unpackStylePreferences(prefString);
            if (stylePrefs != null) {
                String oldValue = stylePrefs[3];
                String newValue = String.valueOf(fItalic.getSelection());
                if (!newValue.equals(oldValue)) {
                    stylePrefs[3] = newValue;
                    String newPrefString = ColorHelper.packStylePreferences(stylePrefs);
                    getOverlayStore().setValue(namedStyle, newPrefString);
                    applyStyles();
                    fText.redraw();
                }
            }
        }
    });

    fStrike.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            super.widgetSelected(e);
            // get current (newly old) style
            Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
            String namedStyle = o.toString();
            String prefString = getOverlayStore().getString(namedStyle);
            String[] stylePrefs = ColorHelper.unpackStylePreferences(prefString);
            if (stylePrefs != null) {
                String oldValue = stylePrefs[4];
                String newValue = String.valueOf(fStrike.getSelection());
                if (!newValue.equals(oldValue)) {
                    stylePrefs[4] = newValue;
                    String newPrefString = ColorHelper.packStylePreferences(stylePrefs);
                    getOverlayStore().setValue(namedStyle, newPrefString);
                    applyStyles();
                    fText.redraw();
                }
            }
        }
    });

    fUnderline.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            super.widgetSelected(e);
            // get current (newly old) style
            Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
            String namedStyle = o.toString();

            String prefString = getOverlayStore().getString(namedStyle);
            String[] stylePrefs = ColorHelper.unpackStylePreferences(prefString);
            if (stylePrefs != null) {
                String oldValue = stylePrefs[5];
                String newValue = String.valueOf(fUnderline.getSelection());
                if (!newValue.equals(oldValue)) {
                    stylePrefs[5] = newValue;
                    String newPrefString = ColorHelper.packStylePreferences(stylePrefs);
                    getOverlayStore().setValue(namedStyle, newPrefString);
                    applyStyles();
                    fText.redraw();
                }
            }
        }
    });

    fClearStyle.addSelectionListener(new SelectionAdapter() {
        @Override
        public void widgetSelected(SelectionEvent e) {
            if (fStylesViewer.getSelection().isEmpty())
                return;
            String namedStyle = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement()
                    .toString();

            getOverlayStore().setToDefault(namedStyle);

            applyStyles();
            fText.redraw();
            activate(namedStyle);
        }
    });

    fEnabler.addSelectionListener(new SelectionAdapter() {

        public void widgetSelected(SelectionEvent e) {
            // get current (newly old) style

            Object o = ((IStructuredSelection) fStylesViewer.getSelection()).getFirstElement();
            String namedStyle = o.toString();

            // Map<String, AbstractSemanticHighlighting> highlightingMap =
            // SemanticHighlightingManager
            // .getInstance().getSemanticHighlightings();

            // if (highlightingMap.containsKey(namedStyle)) {
            // AbstractSemanticHighlighting semantic = highlightingMap
            // .get(namedStyle);
            // boolean enablement = fEnabler.getSelection();
            // semantic.getStyle().setEnabledByDefault(enablement);
            // switchEnablement(enablement);
            // getOverlayStore().setValue(
            // semantic.getEnabledPreferenceKey(), enablement);
            //
            // }
            if (getStylePreferenceKeys().contains(namedStyle)) {
                boolean enablement = fEnabler.getSelection();
                switchEnablement(enablement);
                getOverlayStore().setValue(PreferenceConstants.getEnabledPreferenceKey(namedStyle), enablement);
            }

        }

    });

    switchEnablement(false);
    return pageComponent;
}

From source file:com.ebmwebsourcing.petals.common.internal.provisional.utils.SwtFactory.java

License:Open Source License

/**
 * Creates a styled text with syntax highlighting for XML document.
 * <p>/*  ww  w .  j av a2  s. c o m*/
 * Be careful, the layout data must be applied on the parent of the result.
 * </p>
 * <code>
 * StyledText st = SwtFactory.createXmlTextViewer( parent );<br />
 * st.getParent().setLayoutData( new GridData());
 * </code>
 *
 * @param parent
 * @param horizontalScroll
 * @return
 */
@SuppressWarnings("restriction")
public static StyledText createXmlTextViewer(Composite parent, boolean showHorizontalScroll) {

    Composite editor = new Composite(parent, SWT.NONE);
    editor.setLayout(new FillLayout());

    SourceViewerConfiguration sourceViewerConfiguration = new StructuredTextViewerConfiguration() {
        StructuredTextViewerConfiguration baseConfiguration = new StructuredTextViewerConfigurationXML();

        @Override
        public String[] getConfiguredContentTypes(ISourceViewer sourceViewer) {
            return this.baseConfiguration.getConfiguredContentTypes(sourceViewer);
        }

        @Override
        public LineStyleProvider[] getLineStyleProviders(ISourceViewer sourceViewer, String partitionType) {
            return this.baseConfiguration.getLineStyleProviders(sourceViewer, partitionType);
        }
    };

    SourceViewer viewer = null;
    String contentTypeID = ContentTypeIdForXML.ContentTypeID_XML;
    int style = SWT.BORDER | SWT.V_SCROLL;
    style |= showHorizontalScroll ? SWT.V_SCROLL : SWT.WRAP;

    viewer = new StructuredTextViewer(editor, null, null, false, style);
    ((StructuredTextViewer) viewer).getTextWidget()
            .setFont(JFaceResources.getFont("org.eclipse.wst.sse.ui.textfont")); //$NON-NLS-1$
    IStructuredModel scratchModel = StructuredModelManager.getModelManager()
            .createUnManagedStructuredModelFor(contentTypeID);
    IDocument document = scratchModel.getStructuredDocument();
    viewer.configure(sourceViewerConfiguration);
    viewer.setDocument(document);

    return viewer.getTextWidget();
}

From source file:com.eclipsesource.fecs.ui.internal.preferences.ui.ConfigEditor.java

License:Open Source License

public ConfigEditor(Composite parent) {
    errorBorderColor = new Color(parent.getDisplay(), 230, 0, 0);
    styledText = new StyledText(parent, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL);
    styledText.setFont(JFaceResources.getFont(JFaceResources.TEXT_FONT));
    styledText.addListener(SWT.Modify, new Listener() {
        public void handleEvent(Event event) {
            validate();// ww w .  j a v a2 s .c  o  m
        }
    });
    styledText.addListener(SWT.Paint, new Listener() {
        public void handleEvent(Event event) {
            drawError(event.gc);
        }
    });
    styledText.addListener(SWT.Dispose, new Listener() {
        public void handleEvent(Event event) {
            dispose();
        }
    });
}

From source file:com.github.haixing_hu.swt.window.ApplicationWindowEx.java

License:Open Source License

/**
 * Returns the default font used for this window.
 * <p>//from   w  ww  .ja  v a 2s.  c om
 * The default implementation of this framework method
 * obtains the symbolic name of the font from the
 * <code>getSymbolicFontName</code> framework method
 * and retrieves this font from JFace's font
 * registry using <code>JFaceResources.getFont</code>.
 * Subclasses may override to use a different registry,
 * etc.
 * </p>
 *
 * @return the default font, or <code>null</code> if none
 */
protected Font getFont() {
    return JFaceResources.getFont(getSymbolicFontName());
}

From source file:com.github.sdbg.debug.ui.internal.objectinspector.ObjectInspectorView.java

License:Open Source License

@Override
public void createPartControl(Composite parent) {
    DebugPlugin.getDefault().addDebugEventListener(this);
    getDebugContextService().addDebugContextListener(this);

    sashForm = new SashForm(parent, SWT.VERTICAL);

    treeViewer = new TreeViewer(sashForm, SWT.SINGLE | SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER);
    treeViewer.setAutoExpandLevel(2);//from www  . j  a  v a2s.  c  om
    treeViewer.setLabelProvider(new NameLabelProvider());
    treeViewer.setContentProvider(new ObjectInspectorContentProvider());
    treeViewer.getTree().setHeaderVisible(true);
    treeViewer.getTree().setLinesVisible(true);
    treeViewer.addSelectionChangedListener(new ISelectionChangedListener() {
        @Override
        public void selectionChanged(SelectionChangedEvent event) {
            ISelection sel = event.getSelection();
            Object object = SelectionUtil.getSingleElement(sel);

            if (object instanceof IVariable) {
                IVariable variable = (IVariable) object;

                try {
                    presentation.computeDetail(variable.getValue(), new IValueDetailListener() {
                        @Override
                        public void detailComputed(IValue value, String result) {
                            updateStatusLine(result);
                        }
                    });
                } catch (DebugException e) {
                    SDBGDebugUIPlugin.logError(e);
                }
            } else {
                clearStatusLine();
            }
        }
    });
    treeViewer.addDoubleClickListener(new IDoubleClickListener() {
        @Override
        public void doubleClick(DoubleClickEvent event) {
            toggleExpansion(event.getSelection());
        }
    });
    getSite().setSelectionProvider(treeViewer);

    TreeViewerColumn nameColumn = new TreeViewerColumn(treeViewer, SWT.LEFT);
    nameColumn.setLabelProvider(new NameLabelProvider());
    nameColumn.getColumn().setText("Name");
    nameColumn.getColumn().setWidth(120);
    nameColumn.getColumn().setResizable(true);

    TreeViewerColumn valueColumn = new TreeViewerColumn(treeViewer, SWT.LEFT);
    valueColumn.setLabelProvider(new ValueLabelProvider());
    valueColumn.getColumn().setText("Value");
    valueColumn.getColumn().setWidth(140);
    valueColumn.getColumn().setResizable(true);

    Composite sourceContainer = new Composite(sashForm, SWT.NONE);
    GridLayoutFactory.fillDefaults().applyTo(sourceContainer);
    Label label = new Label(sourceContainer, SWT.NONE);
    label.setText("Enter expression to evaluate:");
    GridDataFactory.fillDefaults().grab(true, false).align(SWT.FILL, SWT.CENTER).applyTo(label);

    sourceViewer = new SourceViewer(sourceContainer, null, SWT.V_SCROLL | SWT.WRAP | SWT.BORDER);
    sourceViewer.configure(getSourceViewerConfiguration());
    sourceViewer.setDocument(createDocument(), new AnnotationModel());
    sourceViewer.setUndoManager(new TextViewerUndoManager(100));
    sourceViewer.getTextWidget().setFont(JFaceResources.getFont(JFaceResources.TEXT_FONT));
    sourceViewer.getTextWidget().setTabs(2);
    sourceViewer.getTextWidget().addVerifyKeyListener(new VerifyKeyListener() {
        @Override
        public void verifyKey(VerifyEvent e) {
            // If they hit enter, but were not holding down ctrl or shift, then evaluate.
            if (e.character == SWT.CR && ((e.stateMask & (SWT.CTRL | SWT.SHIFT)) == 0)) {
                // Cancel the return char.
                e.doit = false;

                if (getCurrentSelection().isEmpty()) {
                    evaluateAndPrint(getCurrentLine());
                } else {
                    evaluateAndPrint(getCurrentSelection());
                }
            }
        }
    });
    GridDataFactory.fillDefaults().grab(true, true).align(SWT.FILL, SWT.FILL)
            .applyTo(sourceViewer.getControl());
    sourceViewer.getDocument().addDocumentListener(new IDocumentListener() {
        @Override
        public void documentAboutToBeChanged(DocumentEvent event) {

        }

        @Override
        public void documentChanged(DocumentEvent event) {
            updateActions();
        }
    });
    sourceViewer.addSelectionChangedListener(new ISelectionChangedListener() {
        @Override
        public void selectionChanged(SelectionChangedEvent event) {
            updateActions();
        }
    });

    sourceViewer.activatePlugins();

    createActions();
    createGlobalActionHandlers();
    hookContextMenu();
    updateActions();

    configureToolBar(getViewSite().getActionBars().getToolBarManager());

    sashForm.setWeights(new int[] { 60, 40 });
    sashForm.addControlListener(new ControlAdapter() {
        @Override
        public void controlResized(ControlEvent e) {
            updateSashOrientation(sashForm);
        }
    });

    restoreState(memento);

    updateSashOrientation(sashForm);

    historyList.addListener(new HistoryListListener<ObjectInspectorHistoryItem>() {
        @Override
        public void historyAboutToChange(final ObjectInspectorHistoryItem current) {
            Display.getDefault().syncExec(new Runnable() {
                @Override
                public void run() {
                    saveSourceViewerInfo(current);
                }
            });
        }

        @Override
        public void historyChanged(ObjectInspectorHistoryItem current) {
            Display.getDefault().asyncExec(new Runnable() {
                @Override
                public void run() {
                    ObjectInspectorHistoryItem item = historyList.getCurrent();

                    inspectValueImpl((item != null && item.getValue() != null) ? item.getValue() : null);

                    restoreSourceViewerInfo(item);
                }
            });
        }
    });
}

From source file:com.github.sdbg.debug.ui.internal.util.SWTUtil.java

License:Open Source License

/**
 * Sets size of the font in the given {@link Control} to the size specified in
 * {@link JFaceResources}.//from w w  w  . ja v  a  2s.co m
 */
private static void updateFontSizeFromJFaceResources(Control control) {
    Font newFont = JFaceResources
            .getFont(JFaceResources.VIEWER_FONT/* &&&FontPreferencePage.VIEW_BASE_FONT_KEY*/);
    Font oldFont = control.getFont();
    Font font = SWTUtil.changeFontSize(oldFont, newFont);
    control.setFont(font);
    // set Table/Tree item height
    if (control instanceof Table || control instanceof Tree) {
        setItemHeightForFont(control);
    }
    // process Composite children
    if (control instanceof Composite) {
        Composite composite = (Composite) control;
        Control[] children = composite.getChildren();
        if (children != null) {
            for (Control child : children) {
                updateFontSizeFromJFaceResources(child);
            }
        }
        composite.layout();
    }
}

From source file:com.google.dart.tools.debug.ui.internal.objectinspector.ObjectInspectorView.java

License:Open Source License

@Override
public void createPartControl(Composite parent) {
    SashForm sash = new SashForm(parent, SWT.VERTICAL);

    treeViewer = new TreeViewer(sash, SWT.SINGLE | SWT.V_SCROLL | SWT.FULL_SELECTION);
    treeViewer.setLabelProvider(new NameLabelProvider());
    treeViewer.setContentProvider(new ObjectInspectorContentProvider());
    treeViewer.addSelectionChangedListener(new ISelectionChangedListener() {
        @Override/*from  w  w w  .jav a 2s .co  m*/
        public void selectionChanged(SelectionChangedEvent event) {
            ISelection sel = event.getSelection();
            Object object = SelectionUtil.getSingleElement(sel);

            if (object instanceof IVariable) {
                IVariable variable = (IVariable) object;

                try {
                    presentation.computeDetail(variable.getValue(), new IValueDetailListener() {
                        @Override
                        public void detailComputed(IValue value, String result) {
                            updateStatusLine(result);
                        }
                    });
                } catch (DebugException e) {
                    DartDebugUIPlugin.logError(e);
                }
            } else {
                clearStatusLine();
            }
        }
    });

    TreeViewerColumn nameColumn = new TreeViewerColumn(treeViewer, SWT.LEFT);
    nameColumn.setLabelProvider(new NameLabelProvider());
    nameColumn.getColumn().setText("Name");
    nameColumn.getColumn().setWidth(120);
    nameColumn.getColumn().setResizable(true);

    TreeViewerColumn valueColumn = new TreeViewerColumn(treeViewer, SWT.LEFT);
    valueColumn.setLabelProvider(new ValueLabelProvider());
    valueColumn.getColumn().setText("Value");
    valueColumn.getColumn().setWidth(140);
    valueColumn.getColumn().setResizable(true);

    Tree tree = treeViewer.getTree();
    tree.setHeaderVisible(true);

    sourceViewer = new SourceViewer(sash, null, SWT.V_SCROLL | SWT.WRAP);
    sourceViewer.configure(getSourceViewerConfiguration());
    sourceViewer.setDocument(createDocument());
    sourceViewer.setUndoManager(new TextViewerUndoManager(100));
    sourceViewer.getTextWidget().setFont(JFaceResources.getFont(JFaceResources.TEXT_FONT));
    sourceViewer.getTextWidget().setTabs(2);
    sourceViewer.getDocument().addDocumentListener(new IDocumentListener() {
        @Override
        public void documentAboutToBeChanged(DocumentEvent event) {

        }

        @Override
        public void documentChanged(DocumentEvent event) {
            updateActions();
        }
    });
    sourceViewer.addSelectionChangedListener(new ISelectionChangedListener() {
        @Override
        public void selectionChanged(SelectionChangedEvent event) {
            updateActions();
        }
    });

    sourceViewer.activatePlugins();

    createActions();
    createGlobalActionHandlers();
    hookContextMenu();
    updateActions();

    //    PresentationReconciler presentationReconciler = new PresentationReconciler();
    //    presentationReconciler.install(textViewer);

    sash.setWeights(new int[] { 60, 40 });
}

From source file:com.google.dart.tools.deploy.ApplicationWorkbenchAdvisor.java

License:Open Source License

private void updateConsoleFont(String name) {
    if (console != null) {
        if (name.equals(PreferenceConstants.EDITOR_TEXT_FONT)) {
            console.setFont(JFaceResources.getFont(name));
        }/*w  ww.jav a2  s . co  m*/
    }
}

From source file:com.google.dart.tools.ui.console.DartConsoleView.java

License:Open Source License

private void updateFont() {
    Display.getDefault().asyncExec(new Runnable() {
        @Override/* ww w.  j ava  2s.  c  o m*/
        public void run() {
            Font newFont = JFaceResources.getFont(FontPreferencePage.BASE_FONT_KEY);
            if (page != null && page.getControl() != null) {
                Font oldFont = page.getControl().getFont();
                Font font = SWTUtil.changeFontSize(oldFont, newFont);
                page.getControl().setFont(font);
            }
        }
    });
}

From source file:com.google.dart.tools.ui.internal.appsview.AppsView.java

License:Open Source License

protected void updateTreeFont() {
    Font newFont = JFaceResources.getFont(FontPreferencePage.BASE_FONT_KEY);
    Font oldFont = treeViewer.getTree().getFont();
    Font font = SWTUtil.changeFontSize(oldFont, newFont);
    treeViewer.getTree().setFont(font);/*from w w  w .ja  v  a2s. c o m*/
    appLabelProvider.updateFont(font);
}