gistfile1.java

  eventBroker.subscribe(IThemeEngine.Events.THEME_CHANGED,
    new EventHandler() {
      public void handleEvent(Event event) {
        ITheme currentTheme = (ITheme) event.getProperty(IThemeEngine.Events.THEME);
        if (currentTheme.getId().equals(THEME_DARKER_ID)) {
          setupPreferences();
        } else {
          setToDefaultPreferences();
        }
      }
    });