Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TerminalService

Hierarchy

  • TerminalService

Index

Properties

Readonly all

Readonly currentTerminal

currentTerminal: undefined | TerminalWidget

Readonly lastUsedTerminal

lastUsedTerminal: undefined | TerminalWidget

Readonly onDidChangeCurrentTerminal

onDidChangeCurrentTerminal: Event<undefined | TerminalWidget>

Readonly onDidCreateTerminal

onDidCreateTerminal: Event<TerminalWidget>

Methods

activateTerminal

getById

getByTerminalId

getDefaultShell

  • getDefaultShell(): Promise<string>

newTerminal

open