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

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

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

Introduction

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

Prototype

public static FontRegistry getFontRegistry()

Source Link

Document

Returns the font registry for JFace itself.

Usage

From source file:com.google.dart.tools.ui.internal.problemsview.ProblemsView.java

License:Open Source License

public ProblemsView() {
    JFaceResources.getFontRegistry().addListener(fontPropertyChangeListener);
}

From source file:com.google.dart.tools.ui.internal.problemsview.ProblemsView.java

License:Open Source License

@Override
public void dispose() {
    if (copyAction != null) {
        copyAction.dispose();//from ww  w .  j  a v  a  2  s. c om
        copyAction = null;
    }

    if (clipboard != null) {
        clipboard.dispose();
        clipboard = null;
    }

    if (goToMarkerAction != null) {
        goToMarkerAction.dispose();
        goToMarkerAction = null;
    }

    if (fontPropertyChangeListener != null) {
        JFaceResources.getFontRegistry().removeListener(fontPropertyChangeListener);
        fontPropertyChangeListener = null;
    }

    MarkersChangeService.getService().removeListener(this);

    super.dispose();
}

From source file:com.google.dart.tools.ui.internal.search.ThemedSearchResultPage.java

License:Open Source License

@Override
public void dispose() {
    super.dispose();
    if (propertyChangeListener != null) {
        getPreferences().removePropertyChangeListener(propertyChangeListener);
        propertyChangeListener = null;/*from   w w  w.  j  a v a  2s.  co m*/
    }
    if (fontPropertyChangeListener != null) {
        JFaceResources.getFontRegistry().removeListener(fontPropertyChangeListener);
        fontPropertyChangeListener = null;
    }
}

From source file:com.google.dart.tools.ui.internal.search.ThemedSearchResultPage.java

License:Open Source License

@Override
protected void configureTableViewer(final TableViewer viewer) {
    viewer.getTable().setBackgroundMode(SWT.INHERIT_FORCE);
    viewer.getTable().addListener(SWT.EraseItem, new Listener() {
        @Override/*from w w w  .j  a v a2  s .co m*/
        public void handleEvent(Event event) {
            SWTUtil.eraseSelection(event, viewer.getTable(), getPreferences());
        }
    });
    JFaceResources.getFontRegistry().addListener(fontPropertyChangeListener);
    updateTableFont();
    getPreferences().addPropertyChangeListener(propertyChangeListener);
    updateColors();
}

From source file:com.google.dart.tools.ui.internal.search.ThemedSearchResultPage.java

License:Open Source License

@Override
protected void configureTreeViewer(final TreeViewer viewer) {
    viewer.getTree().setBackgroundMode(SWT.INHERIT_FORCE);
    viewer.getTree().addListener(SWT.EraseItem, new Listener() {
        @Override//from  w  ww  . java  2s .  c  o  m
        public void handleEvent(Event event) {
            SWTUtil.eraseSelection(event, viewer.getTree(), getPreferences());
        }
    });
    JFaceResources.getFontRegistry().addListener(fontPropertyChangeListener);
    updateTreeFont();
    getPreferences().addPropertyChangeListener(propertyChangeListener);
    updateColors();
}

From source file:com.google.dart.tools.ui.internal.text.completion.AbstractDartCompletionProposal.java

License:Open Source License

/**
 * Returns the style information for displaying HTML content.
 * //www .ja  va  2s.  com
 * @return the CSS styles
 */
protected String getCSSStyles() {
    if (fgCSSStyles == null) {
        Bundle bundle = Platform.getBundle(DartToolsPlugin.getPluginId());
        URL url = bundle.getEntry("/DartdocHoverStyleSheet.css"); //$NON-NLS-1$
        if (url != null) {
            BufferedReader reader = null;
            try {
                url = FileLocator.toFileURL(url);
                reader = new BufferedReader(new InputStreamReader(url.openStream()));
                StringBuffer buffer = new StringBuffer(200);
                String line = reader.readLine();
                while (line != null) {
                    buffer.append(line);
                    buffer.append('\n');
                    line = reader.readLine();
                }
                fgCSSStyles = buffer.toString();
            } catch (IOException ex) {
                DartToolsPlugin.log(ex);
            } finally {
                try {
                    if (reader != null) {
                        reader.close();
                    }
                } catch (IOException e) {
                }
            }

        }
    }
    String css = fgCSSStyles;
    if (css != null) {
        FontData fontData = JFaceResources.getFontRegistry()
                .getFontData(PreferenceConstants.APPEARANCE_JAVADOC_FONT)[0];
        css = HTMLPrinter.convertTopLevelFont(css, fontData);
    }
    return css;
}

From source file:com.google.dart.tools.ui.internal.text.dart.DartServerProposal.java

License:Open Source License

/**
 * Returns the style information for displaying HTML content.
 *///  w w  w  .  j  av a 2 s .  c  o m
private String getCssStyles() {
    if (CSS_STYLES == null) {
        Bundle bundle = Platform.getBundle(DartToolsPlugin.getPluginId());
        URL url = bundle.getEntry("/DartdocHoverStyleSheet.css"); //$NON-NLS-1$
        if (url != null) {
            BufferedReader reader = null;
            try {
                url = FileLocator.toFileURL(url);
                reader = new BufferedReader(new InputStreamReader(url.openStream()));
                StringBuffer buffer = new StringBuffer(200);
                String line = reader.readLine();
                while (line != null) {
                    buffer.append(line);
                    buffer.append('\n');
                    line = reader.readLine();
                }
                CSS_STYLES = buffer.toString();
            } catch (IOException ex) {
                DartToolsPlugin.log(ex);
            } finally {
                try {
                    if (reader != null) {
                        reader.close();
                    }
                } catch (IOException e) {
                }
            }

        }
    }
    String css = CSS_STYLES;
    if (css != null) {
        FontData fontData = JFaceResources.getFontRegistry()
                .getFontData(PreferenceConstants.APPEARANCE_JAVADOC_FONT)[0];
        css = HTMLPrinter.convertTopLevelFont(css, fontData);
    }
    return css;
}

From source file:com.google.dart.tools.ui.internal.text.editor.DartOutlinePage.java

License:Open Source License

/**
 * Category filter action group./*  w  w w .  j  a  va  2 s  .  c  om*/
 */
//  private CategoryFilterActionGroup fCategoryFilterActionGroup;

public DartOutlinePage(String contextMenuID, DartEditor editor) {
    super();

    Assert.isNotNull(editor);

    fContextMenuID = contextMenuID;
    fEditor = editor;

    fTogglePresentation = new TogglePresentationAction();
    fTogglePresentation.setEditor(editor);

    fPropertyChangeListener = new IPropertyChangeListener() {
        @Override
        public void propertyChange(PropertyChangeEvent event) {
            doPropertyChange(event);
        }
    };
    DartToolsPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
    JFaceResources.getFontRegistry().addListener(fontPropertyChangeListener);
}

From source file:com.google.dart.tools.ui.internal.text.editor.DartOutlinePage.java

License:Open Source License

@Override
public void dispose() {

    if (fEditor == null) {
        return;/*from ww w .  j  ava 2 s.c  o  m*/
    }

    //    if (fMemberFilterActionGroup != null) {
    //      fMemberFilterActionGroup.dispose();
    //      fMemberFilterActionGroup = null;
    //    }

    DartX.todo();
    //    if (fCategoryFilterActionGroup != null) {
    //      fCategoryFilterActionGroup.dispose();
    //      fCategoryFilterActionGroup = null;
    //    }
    //
    //    if (fCustomFiltersActionGroup != null) {
    //      fCustomFiltersActionGroup.dispose();
    //      fCustomFiltersActionGroup = null;
    //    }

    fEditor.outlinePageClosed();
    fEditor = null;

    fSelectionChangedListeners.clear();
    fSelectionChangedListeners = null;

    fPostSelectionChangedListeners.clear();
    fPostSelectionChangedListeners = null;

    if (fPropertyChangeListener != null) {
        DartToolsPlugin.getDefault().getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
        fPropertyChangeListener = null;
    }
    if (fontPropertyChangeListener != null) {
        JFaceResources.getFontRegistry().removeListener(fontPropertyChangeListener);
        fontPropertyChangeListener = null;
    }

    if (fMenu != null && !fMenu.isDisposed()) {
        fMenu.dispose();
        fMenu = null;
    }

    if (fActionGroups != null) {
        fActionGroups.dispose();
    }

    fTogglePresentation.setEditor(null);

    fOutlineViewer = null;

    super.dispose();
}

From source file:com.google.dart.tools.ui.web.yaml.PubspecYamlEditor.java

License:Open Source License

@Override
public void createPartControl(Composite parent) {
    super.createPartControl(parent);
    initialCaret = getSourceViewer().getTextWidget().getCaret();
    initializeViewerFont(getSourceViewer());
    updateCaret();/*from  w  ww.j  a  v  a2 s  .  c  o m*/
    JFaceResources.getFontRegistry().addListener(fontPropertyChangeListener);
}