updateStyles( newTheme );
	protected void perform( boolean undo )	{		// if undo, must unresolve the current theme; if do/redo, must unresolve		// the previous theme		if ( undo )		{			unresolveStyles( newTheme );			if ( oldTheme instanceof String )				module.setThemeName( (String) oldTheme );			else				module.setTheme( (Theme) oldTheme );		}		else		{			unresolveStyles( oldTheme );			module.setTheme( newTheme );		}	}