Examples of org.eclipse.ui.themes.IThemeManager.addPropertyChangeListener()

org.eclipse.ui.themes.IThemeManager.addPropertyChangeListener()

Adds a property listener to the manager. Any events fired by the underlying registries of the current theme will cause an event to be fired. This event is the same event that was fired by the registry. As such, the "source" attribute of the event will not be this manager, but rather the color or font registry. Additionally, an event is fired when the current theme changes to a new theme. The "property" attribute of such an event will have the value {@link IThemeManager#CHANGE_CURRENT_THEME}. @param listener the listener to add

                    refreshCategory();
                    tree.getViewer().refresh(); // refresh all the labels in the tree
                }
            }
        };
        themeManager.addPropertyChangeListener(themeChangeListener);


        updateThemeInfo(themeManager);
    }


    private void updateThemeInfo(IThemeManager manager) {

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.