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:de.walware.statet.base.internal.ui.preferences.CodeGenerationTemplatesConfigurationBlock.java

License:Open Source License

private SourceViewer createViewer(final Composite parent) {
    final Label label = new Label(parent, SWT.LEFT);
    label.setText(Messages.CodeTemplates_Preview_label);
    label.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

    final SourceViewer viewer = new SourceViewer(parent, null, SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL);
    viewer.setEditable(false);/*  w  ww. jav  a2s  . c  o  m*/
    viewer.getTextWidget().setFont(JFaceResources.getFont(JFaceResources.TEXT_FONT));
    new TextViewerEditorColorUpdater(viewer, EditorsUI.getPreferenceStore());

    final IDocument document = new Document();
    viewer.setDocument(document);

    final GridData data = new GridData(SWT.FILL, SWT.FILL, true, true);
    data.heightHint = new PixelConverter(viewer.getControl()).convertHeightInCharsToPixels(5);
    viewer.getControl().setLayoutData(data);

    fPatternEditor = new ViewerSourceEditorAdapter(viewer, null);
    new SettingsUpdater(new ISettingsChangedHandler() {
        @Override
        public void handleSettingsChanged(final Set<String> groupIds, final Map<String, Object> options) {
            if (fPatternConfigurator != null) {
                fPatternConfigurator.handleSettingsChanged(groupIds, options);
            }
        }
    }, viewer.getControl());

    return viewer;
}

From source file:de.walware.statet.base.ui.sourceeditors.ExtEditorTemplatesPage.java

License:Open Source License

@Override
protected SourceViewer createPatternViewer(final Composite parent) {
    final SourceViewer viewer = new SourceViewer(parent, null, SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL);
    viewer.setEditable(false);/*from  w  w  w  . j a  v a  2  s.c  om*/
    viewer.getTextWidget().setFont(JFaceResources.getFont(JFaceResources.TEXT_FONT));
    new TextViewerEditorColorUpdater(viewer, EditorsUI.getPreferenceStore());

    final IDocument document = new Document();
    viewer.setDocument(document);

    fPreviewEditor = new ViewerSourceEditorAdapter(viewer, null);
    new SettingsUpdater(new ISettingsChangedHandler() {
        @Override
        public void handleSettingsChanged(final Set<String> groupIds, final Map<String, Object> options) {
            if (fCurrentPreviewConfigurator != null) {
                fCurrentPreviewConfigurator.handleSettingsChanged(groupIds, options);
            }
        }
    }, viewer.getControl());

    return viewer;
}

From source file:de.walware.statet.nico.ui.console.NIConsole.java

License:Open Source License

@Override
public void setFont(Font newFont) {
    if (newFont == null) {
        JFaceResources.getFont(getSymbolicFontName()).getFontData()[0].getName();
        newFont = JFaceResources.getFont(getSymbolicFontName());
    }/*from   w  w  w  . j  a va  2 s . co  m*/
    super.setFont(newFont);
}

From source file:de.walware.statet.r.ui.rtool.RElementInfoHoverCreator.java

License:Open Source License

@Override
protected void createContent(final Composite parent) {
    fContentComposite = new Composite(parent, SWT.NONE) {
        @Override//from   ww  w  .j a va  2 s.c om
        public Point computeSize(final int width, final int height, final boolean changed) {
            return super.computeSize(width, height, changed || width != getSize().x);
        }
    };
    fContentComposite.setBackgroundMode(SWT.INHERIT_FORCE);

    final GridLayout gridLayout = LayoutUtil.applyCompositeDefaults(new GridLayout(), 2);
    gridLayout.horizontalSpacing = (int) ((gridLayout.horizontalSpacing) / 1.5);
    fContentComposite.setLayout(gridLayout);

    final int vIndent = Math.max(1, LayoutUtil.defaultVSpacing() / 4);
    final int hIndent = Math.max(3, LayoutUtil.defaultHSpacing() / 2);

    { // Title image
        fTitleImage = new Label(fContentComposite, SWT.NULL);
        final Image image = SharedUIResources.getImages().get(SharedUIResources.PLACEHOLDER_IMAGE_ID);
        fTitleImage.setImage(image);

        final GridData textGd = new GridData(SWT.FILL, SWT.TOP, false, false);
        fTitleText = new StyledText(fContentComposite, SWT.MULTI | SWT.READ_ONLY | SWT.WRAP) {
            @Override
            public Point computeSize(int width, final int height, final boolean changed) {
                if (!fLayoutHint && width <= 0 && fContentComposite.getSize().x > 0) {
                    width = fContentComposite.getSize().x - LayoutUtil.defaultHMargin()
                            - fTitleImage.getSize().x - LayoutUtil.defaultHSpacing() - 10;
                }

                final Point size = super.computeSize(width, -1, true);
                //               if (width >= 0) {
                //                  size.x = Math.min(size.x, width);
                //               }
                return size;
            }
        };

        fTitleText.setFont(JFaceResources.getDialogFont());
        final GC gc = new GC(fTitleText);
        final FontMetrics fontMetrics = gc.getFontMetrics();
        final GridData imageGd = new GridData(SWT.FILL, SWT.TOP, false, false);
        imageGd.horizontalIndent = hIndent;
        final int textHeight = fontMetrics.getAscent() + fontMetrics.getLeading();
        final int imageHeight = image.getBounds().height;
        final int shift = Math.max(3, (int) ((fontMetrics.getDescent()) / 1.5));
        if (textHeight + shift < imageHeight) {
            imageGd.verticalIndent = vIndent + shift;
            textGd.verticalIndent = vIndent + (imageHeight - textHeight);
        } else {
            imageGd.verticalIndent = vIndent + (textHeight - imageHeight) + shift;
            textGd.verticalIndent = vIndent;
        }
        fTitleImage.setLayoutData(imageGd);
        fTitleText.setLayoutData(textGd);
        fLayoutWorkaround = true;

        gc.dispose();
    }

    fInfoText = new StyledText(fContentComposite,
            fMode == MODE_FOCUS ? (SWT.MULTI | SWT.READ_ONLY | SWT.V_SCROLL | SWT.H_SCROLL)
                    : (SWT.MULTI | SWT.READ_ONLY));
    fInfoText.setIndent(hIndent);
    fInfoText.setFont(JFaceResources.getFont(PREF_DETAIL_PANE_FONT));

    final GridData gd = new GridData(SWT.FILL, SWT.FILL, true, true, 2, 1);
    //      gd.widthHint = LayoutUtil.hintWidth(fInfoText, INFO_FONT, 50);
    fInfoText.setLayoutData(gd);

    setBackgroundColor(getShell().getDisplay().getSystemColor(SWT.COLOR_INFO_BACKGROUND));
    setForegroundColor(getShell().getDisplay().getSystemColor(SWT.COLOR_INFO_FOREGROUND));

    updateInput();
}

From source file:descent.internal.ui.preferences.CodeTemplateBlock.java

License:Open Source License

private SourceViewer createViewer(Composite parent, int nColumns) {
    Label label = new Label(parent, SWT.NONE);
    label.setText(PreferencesMessages.CodeTemplateBlock_preview);
    GridData data = new GridData();
    data.horizontalSpan = nColumns;/*from  w  w  w .j av  a  2s . c om*/
    label.setLayoutData(data);

    IDocument document = new Document();
    JavaTextTools tools = JavaPlugin.getDefault().getJavaTextTools();
    tools.setupJavaDocumentPartitioner(document, IJavaPartitions.JAVA_PARTITIONING);
    IPreferenceStore store = JavaPlugin.getDefault().getCombinedPreferenceStore();
    SourceViewer viewer = new JavaSourceViewer(parent, null, null, false,
            SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL, store);
    TemplateEditorSourceViewerConfiguration configuration = new TemplateEditorSourceViewerConfiguration(
            tools.getColorManager(), store, null, fTemplateProcessor);
    viewer.configure(configuration);
    viewer.setEditable(false);
    viewer.setDocument(document);

    Font font = JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
    viewer.getTextWidget().setFont(font);
    new JavaSourcePreviewerUpdater(viewer, configuration, store);

    Control control = viewer.getControl();
    data = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.FILL_VERTICAL);
    data.horizontalSpan = nColumns;
    data.heightHint = fPixelConverter.convertHeightInCharsToPixels(5);
    control.setLayoutData(data);

    return viewer;
}

From source file:descent.internal.ui.preferences.EditTemplateDialog.java

License:Open Source License

private SourceViewer createEditor(Composite parent) {
    String prefix = getPrefix();//from w  w w  .j a  v  a2s .c  om
    IDocument document = new Document(prefix + fTemplate.getPattern());
    JavaTextTools tools = JavaPlugin.getDefault().getJavaTextTools();
    tools.setupJavaDocumentPartitioner(document, IJavaPartitions.JAVA_PARTITIONING);
    IPreferenceStore store = JavaPlugin.getDefault().getCombinedPreferenceStore();
    SourceViewer viewer = new JavaSourceViewer(parent, null, null, false,
            SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL, store);
    TemplateEditorSourceViewerConfiguration configuration = new TemplateEditorSourceViewerConfiguration(
            tools.getColorManager(), store, null, fTemplateProcessor);
    viewer.configure(configuration);
    viewer.setEditable(true);
    viewer.setDocument(document, prefix.length(), document.getLength() - prefix.length());

    Font font = JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
    viewer.getTextWidget().setFont(font);
    new JavaSourcePreviewerUpdater(viewer, configuration, store);

    int nLines = document.getNumberOfLines();
    if (nLines < 5) {
        nLines = 5;
    } else if (nLines > 12) {
        nLines = 12;
    }

    Control control = viewer.getControl();
    GridData data = new GridData(GridData.FILL_BOTH);
    data.widthHint = convertWidthInCharsToPixels(80);
    data.heightHint = convertHeightInCharsToPixels(nLines);
    control.setLayoutData(data);

    viewer.addTextListener(new ITextListener() {
        public void textChanged(TextEvent event) {
            if (event.getDocumentEvent() != null)
                doSourceChanged(event.getDocumentEvent().getDocument());
        }
    });

    viewer.addSelectionChangedListener(new ISelectionChangedListener() {
        public void selectionChanged(SelectionChangedEvent event) {
            updateSelectionDependentActions();
        }
    });

    viewer.prependVerifyKeyListener(new VerifyKeyListener() {
        public void verifyKey(VerifyEvent event) {
            handleVerifyKeyPressed(event);
        }
    });

    return viewer;
}

From source file:descent.internal.ui.preferences.formatter.JavaPreview.java

License:Open Source License

/**
 * Create a new Java preview//  w w w .  ja va2 s .  c om
 * @param workingValues
 * @param parent
 */
public JavaPreview(Map workingValues, Composite parent) {
    JavaTextTools tools = JavaPlugin.getDefault().getJavaTextTools();
    fPreviewDocument = new Document();
    fWorkingValues = workingValues;
    tools.setupJavaDocumentPartitioner(fPreviewDocument, IJavaPartitions.JAVA_PARTITIONING);

    PreferenceStore prioritizedSettings = new PreferenceStore();
    prioritizedSettings.setValue(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_x);
    prioritizedSettings.setValue(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_x);
    prioritizedSettings.setValue(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, JavaCore.VERSION_1_x);
    prioritizedSettings.setValue(JavaCore.COMPILER_PB_ASSERT_IDENTIFIER, JavaCore.ERROR);

    IPreferenceStore[] chain = { prioritizedSettings, JavaPlugin.getDefault().getCombinedPreferenceStore() };
    fPreferenceStore = new ChainedPreferenceStore(chain);
    fSourceViewer = new JavaSourceViewer(parent, null, null, false,
            SWT.READ_ONLY | SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER, fPreferenceStore);
    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);
}

From source file:descent.internal.ui.preferences.JavaEditorColoringConfigurationBlock.java

License:Open Source License

private Control createPreviewer(Composite parent) {

    IPreferenceStore generalTextStore = EditorsUI.getPreferenceStore();
    IPreferenceStore store = new ChainedPreferenceStore(new IPreferenceStore[] { getPreferenceStore(),
            new PreferencesAdapter(createTemporaryCorePreferenceStore()), generalTextStore });
    fPreviewViewer = new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER,
            store);/*w w w. j av  a  2 s.  c  o m*/
    SimpleJavaSourceViewerConfiguration configuration = new SimpleJavaSourceViewerConfiguration(fColorManager,
            store, null, IJavaPartitions.JAVA_PARTITIONING, false);
    fPreviewViewer.configure(configuration);
    // fake 1.5 source to get 1.5 features right.
    configuration.handlePropertyChangeEvent(new PropertyChangeEvent(this, JavaCore.COMPILER_SOURCE,
            JavaCore.VERSION_1_x, JavaCore.VERSION_2_x));
    Font font = JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
    fPreviewViewer.getTextWidget().setFont(font);
    new JavaSourcePreviewerUpdater(fPreviewViewer, configuration, store);
    fPreviewViewer.setEditable(false);

    String content = loadPreviewContentFromFile("ColorSettingPreviewCode.txt"); //$NON-NLS-1$
    IDocument document = new Document(content);
    JavaPlugin.getDefault().getJavaTextTools().setupJavaDocumentPartitioner(document,
            IJavaPartitions.JAVA_PARTITIONING);
    fPreviewViewer.setDocument(document);

    installSemanticHighlighting();

    return fPreviewViewer.getControl();
}

From source file:descent.internal.ui.preferences.JavaSourcePreviewerUpdater.java

License:Open Source License

/**
 * Creates a Java source preview updater for the given viewer, configuration and preference store.
 *
 * @param viewer the viewer//from w  w w  . ja v a 2s .  c  o  m
 * @param configuration the configuration
 * @param preferenceStore the preference store
 */
JavaSourcePreviewerUpdater(final SourceViewer viewer, final JavaSourceViewerConfiguration configuration,
        final IPreferenceStore preferenceStore) {
    Assert.isNotNull(viewer);
    Assert.isNotNull(configuration);
    Assert.isNotNull(preferenceStore);
    final IPropertyChangeListener fontChangeListener = new IPropertyChangeListener() {
        /*
         * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
         */
        public void propertyChange(PropertyChangeEvent event) {
            if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) {
                Font font = JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
                viewer.getTextWidget().setFont(font);
            }
        }
    };
    final IPropertyChangeListener propertyChangeListener = new IPropertyChangeListener() {
        /*
         * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
         */
        public void propertyChange(PropertyChangeEvent event) {
            if (configuration.affectsTextPresentation(event)) {
                configuration.handlePropertyChangeEvent(event);
                viewer.invalidateTextPresentation();
            }
        }
    };
    viewer.getTextWidget().addDisposeListener(new DisposeListener() {
        /*
         * @see org.eclipse.swt.events.DisposeListener#widgetDisposed(org.eclipse.swt.events.DisposeEvent)
         */
        public void widgetDisposed(DisposeEvent e) {
            preferenceStore.removePropertyChangeListener(propertyChangeListener);
            JFaceResources.getFontRegistry().removeListener(fontChangeListener);
        }
    });
    JFaceResources.getFontRegistry().addListener(fontChangeListener);
    preferenceStore.addPropertyChangeListener(propertyChangeListener);
}

From source file:descent.internal.ui.preferences.JavaTemplatePreferencePage.java

License:Open Source License

protected SourceViewer createViewer(Composite parent) {
    IDocument document = new Document();
    JavaTextTools tools = JavaPlugin.getDefault().getJavaTextTools();
    tools.setupJavaDocumentPartitioner(document, IJavaPartitions.JAVA_PARTITIONING);
    IPreferenceStore store = JavaPlugin.getDefault().getCombinedPreferenceStore();
    SourceViewer viewer = new JavaSourceViewer(parent, null, null, false,
            SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL, store);
    SimpleJavaSourceViewerConfiguration configuration = new SimpleJavaSourceViewerConfiguration(
            tools.getColorManager(), store, null, IJavaPartitions.JAVA_PARTITIONING, false);
    viewer.configure(configuration);/* w w w.  j a v a2 s  .c o m*/
    viewer.setEditable(false);
    viewer.setDocument(document);

    Font font = JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
    viewer.getTextWidget().setFont(font);
    new JavaSourcePreviewerUpdater(viewer, configuration, store);

    Control control = viewer.getControl();
    GridData data = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.FILL_VERTICAL);
    control.setLayoutData(data);

    return viewer;
}