Theia API Documentation v1.65.0
    Preparing search index...

    Interface ThemeChangeEvent

    interface ThemeChangeEvent {
        newTheme: Theme;
        oldTheme?: Theme;
    }
    Index

    Properties

    newTheme oldTheme?

    Properties

    newTheme: Theme
    oldTheme?: Theme

    Settings

    Member Visibility

    On This Page

    Properties