set_theme_name


Description:

public void set_theme_name (string theme_name)