/**
* Copy all values from 'other'.
* @param THEME_SETTINGS $other
*/
public function copy_from($other)
{
parent::copy_from($other);
$this->id = $other->id;
$this->title = $other->title;
$this->main_CSS_file_name = $other->main_CSS_file_name;
$this->renderer_class_name = $other->renderer_class_name;
}
