Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TerminalBorderWidget

Hierarchy

  • TerminalBorderWidget

Index

Properties

onDidClose

onDidClose: Event<void>

onDidOpen

onDidOpen: Event<void>

Methods

close

  • close(): void

getContainerElement

  • getContainerElement(): HTMLElement

isOpen

  • isOpen(): boolean

Generated using TypeDoc