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

    Interface IShellTerminalPreferences

    interface IShellTerminalPreferences {
        shell: ShellTerminalOSPreferences<string | undefined>;
        shellArgs: ShellTerminalOSPreferences<string[]>;
    }
    Index

    Properties

    shell shellArgs

    Properties

    shell: ShellTerminalOSPreferences<string | undefined>
    shellArgs: ShellTerminalOSPreferences<string[]>

    Settings

    Member Visibility

    On This Page

    Properties