Example usage for org.eclipse.jface.resource ResourceManager get

Introduction

In this page you can find the example usage for org.eclipse.jface.resource ResourceManager get.

Prototype

public final Object get(DeviceResourceDescriptor descriptor) 

Source Link

Document

Returns a previously-allocated resource or allocates a new one if none exists yet.

Usage

From source file:org.eclipse.net4j.util.ui.ManagedLabelProvider.java

License:Open Source License

public Object getResource(DeviceResourceDescriptor descriptor) {
    ResourceManager resourceManager = getResourceManager();
    return resourceManager.get(descriptor);
}

---

From source file:org.xmind.ui.richtext.FullRichTextActionBarContributor.java

License:Open Source License

protected void handleFontSelectionChanged(SelectionChangedEvent event) {
    IRichTextEditViewer textViewer = getViewer();
    if (textViewer == null || textViewer.getControl().isDisposed())
        return;/*from   w ww .j  a v  a  2  s . c  o  m*/

    IRichTextRenderer renderer = textViewer.getRenderer();
    Font selectionFont = renderer.getSelectionFont();

    ResourceManager resources = new LocalResourceManager(JFaceResources.getResources());

    Object o = ((IStructuredSelection) event.getSelection()).getFirstElement();
    if (o instanceof String) {
        renderer.setSelectionFont((Font) resources
                .get(FontDescriptor.createFrom(FontUtils.newName(selectionFont.getFontData(), (String) o))));
    } else if (o instanceof Integer) {
        int size = (Integer) o;
        if (size > 0) {
            renderer.setSelectionFont((Font) resources
                    .get(FontDescriptor.createFrom(FontUtils.newHeight(selectionFont.getFontData(), size))));
        }
    }
}

---