Theia API Documentation v1.65.0
    Preparing search index...
    DEFAULT_OPTIONS: Readonly<ApplicationShell.Options> = ...

    The default values for application shell options.