theme_manager

Description:

public ThemeManager theme_manager { get; }