Options
All
  • Public
  • Public/Protected
  • All
Menu

Provides high level terminal plugin api to use in the Theia plugins. This service allow(with help proxy) create and use terminal emulator.

Hierarchy

  • TerminalServiceExtImpl

Implements

Index

Constructors

Properties

_pseudoTerminals: Map<string, PseudoTerminal> = ...
_terminals: Map<string, TerminalExtImpl> = ...
activeTerminalId: undefined | string
environmentVariableCollections: Map<string, EnvironmentVariableCollection> = ...
onDidChangeActiveTerminal: Event<undefined | Terminal> = ...
onDidChangeActiveTerminalEmitter: Emitter<undefined | Terminal> = ...
onDidCloseTerminal: Event<Terminal> = ...
onDidCloseTerminalEmitter: Emitter<Terminal> = ...
onDidOpenTerminal: Event<Terminal> = ...
onDidOpenTerminalEmitter: Emitter<Terminal> = ...

Accessors

Methods

  • $currentTerminalChanged(id: undefined | string): void
  • $initEnvironmentVariableCollections(collections: [string, SerializableEnvironmentVariableCollection][]): void
  • $terminalClosed(id: string, exitStatus: undefined | TerminalExitStatus): void
  • $terminalCreated(id: string, name: string): void
  • $terminalNameChanged(id: string, name: string): void
  • $terminalOnInput(id: string, data: string): void
  • $terminalOpened(id: string, processId: number, terminalId: number, cols: number, rows: number): void
  • $terminalSizeChanged(id: string, clos: number, rows: number): void
  • attachPtyToTerminal(terminalId: number, pty: Pseudoterminal): void
  • createTerminal(nameOrOptions: undefined | string | TerminalOptions | PseudoTerminalOptions | ExtensionTerminalOptions, shellPath?: string, shellArgs?: string[]): Terminal
  • getEnvironmentVariableCollection(extensionIdentifier: string): EnvironmentVariableCollection
  • obtainTerminal(id: string, name: string, options?: TerminalOptions | ExtensionTerminalOptions): TerminalExtImpl