module.setTheme( 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 );		else			unresolveStyles( oldTheme );	}