How to use the @jupyterlab/terminal.Terminal.defaultOptions function in @jupyterlab/terminal

To help you get started, we’ve selected a few @jupyterlab/terminal examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github jupyterlab / jupyterlab / packages / terminal-extension / src / index.ts View on Github external
execute: () => {
      let options = Terminal.defaultOptions;
      if (options.fontSize < 72) {
        options.fontSize++;
        tracker.forEach(widget => { widget.fontSize = options.fontSize; });
      }
    },
    isEnabled: hasWidget
github jupyterlab / jupyterlab / packages / terminal-extension / src / index.ts View on Github external
execute: () => {
      let options = Terminal.defaultOptions;
      if (options.fontSize > 9) {
        options.fontSize--;
        tracker.forEach(widget => { widget.fontSize = options.fontSize; });
      }
    },
    isEnabled: hasWidget

@jupyterlab/terminal

JupyterLab - Terminal Emulator Widget

BSD-3-Clause
Latest version published 12 days ago

Package Health Score

95 / 100
Full package analysis