Options
All
  • Public
  • Public/Protected
  • All
Menu

@jupyterlab/terminal-extension

Index

Functions

Functions

addCommands

  • addCommands(app: JupyterFrontEnd, tracker: WidgetTracker<MainAreaWidget<ITerminal>>, settingRegistry: ISettingRegistry, options: Partial<IOptions>): void
  • Add the commands for the terminal.

    Parameters

    • app: JupyterFrontEnd
    • tracker: WidgetTracker<MainAreaWidget<ITerminal>>
    • settingRegistry: ISettingRegistry
    • options: Partial<IOptions>

    Returns void

Generated using TypeDoc