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

    Interface TerminalManagerConfiguration

    interface TerminalManagerConfiguration {
        "terminal.grouping.mode": TerminalGroupingMode;
        "terminal.grouping.treeViewLocation": TerminalManagerTreeViewLocation;
    }
    Index

    Properties

    terminal.grouping.mode terminal.grouping.treeViewLocation

    Properties

    "terminal.grouping.mode": TerminalGroupingMode
    "terminal.grouping.treeViewLocation": TerminalManagerTreeViewLocation

    Settings

    Member Visibility

    On This Page

    Properties