103104105106107108109110111112113
public void selectionChanged( ThemeMap map, String oldKey, String newKey ) { ThemeFactory factory = null; if( newKey != null ) factory = getFactory( newKey ); DockTheme theme; if( factory == null ){ theme = new CBasicTheme( control ); } else{