View all @jupyterlab/terminal analysis

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.

jupyterlab / jupyterlab / packages / terminal-extension / src / index.ts View on Github

execute: () =&gt; {
      let options = Terminal.defaultOptions;
      if (options.fontSize &lt; 72) {
        options.fontSize++;
        tracker.forEach(widget =&gt; { widget.fontSize = options.fontSize; });
      }
    },
    isEnabled: hasWidget

jupyterlab / jupyterlab / packages / terminal-extension / src / index.ts View on Github

execute: () => {
      let options = Terminal.defaultOptions;
      if (options.fontSize > 9) {
        options.fontSize--;
        tracker.forEach(widget => { widget.fontSize = options.fontSize; });
      }
    },
    isEnabled: hasWidget