Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeShell: Event<string>

    An Event which fires when the default shell changes. This fires with the new shell path.