Examples of org.eclipse.ui.themes.ITheme.removePropertyChangeListener()

org.eclipse.ui.themes.ITheme.removePropertyChangeListener()
Removes a property listener from the theme. @param listener the listener to remove

    @Override
    protected void dispose() {
        if (!disposed) {
            disposed = true;
            ITheme theme = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme();
            theme.removePropertyChangeListener(this);
            super.dispose();
        }
    }


    private void setConsoleFont() {

View Full Code Here

   * Disposes all ThemeEntries.
   */
  public void dispose() {
    for (Iterator i = themes.values().iterator(); i.hasNext();) {
      ITheme theme = (ITheme) i.next();
      theme.removePropertyChangeListener(currentThemeListener);
      theme.dispose();
    }
    themes.clear();
  }

View Full Code Here

    ITheme oldTheme = currentTheme;
    if (WorkbenchThemeManager.getInstance().doSetCurrentTheme(id)) {
      firePropertyChange(CHANGE_CURRENT_THEME, oldTheme,
          getCurrentTheme());
      if (oldTheme != null) {
        oldTheme.removePropertyChangeListener(currentThemeListener);
      }
      currentTheme.addPropertyChangeListener(currentThemeListener);


      // update the preference if required.
      if (!PrefUtil.getAPIPreferenceStore().getString(

View Full Code Here

TOP

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.