public void updateTheme(){ DockController controller = getController(); if( controller != null ) { DockTheme newTheme = controller.getTheme(); if( newTheme != theme ) { theme = newTheme; try { callDockUiUpdateTheme(); } catch( IOException ex ) { throw new RuntimeException(ex); } } } }
public void updateTheme(){ DockController controller = getController(); if( controller != null ) { DockTheme newTheme = controller.getTheme(); if( newTheme != theme ) { theme = newTheme; try { callDockUiUpdateTheme(); } catch( IOException ex ) { throw new RuntimeException(ex); } } } }