Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeWindowState: Event<WindowState>

    An event which fires when the focus state of the current window changes. The value of the event represents whether the window is focused.