How to use the @jupyterlab/terminal.ITerminal.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-data-explorer / jupyterlab / packages / terminal-extension / src / index.ts View on Github external
    isToggled: args => args['theme'] === ITerminal.defaultOptions.theme,
    execute: async args => {
github jupyterlab / jupyterlab-data-explorer / jupyterlab / packages / terminal-extension / src / index.ts View on Github external
execute: async () => {
      let { fontSize } = ITerminal.defaultOptions;
      if (fontSize < 72) {
        try {
          await settingRegistry.set(plugin.id, 'fontSize', fontSize + 1);
        } catch (err) {
          Private.showErrorMessage(err);
        }
      }
    }
  });

@jupyterlab/terminal

JupyterLab - Terminal Emulator Widget

BSD-3-Clause
Latest version published 5 days ago

Package Health Score

95 / 100
Full package analysis