Theia API Documentation v1.65.0
    Preparing search index...
    activeColorTheme: ColorTheme

    The currently active color theme as configured in the settings. The active theme can be changed via the workbench.colorTheme setting.