View all @jupyterlab/terminal analysis

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.

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

    isToggled: args => args['theme'] === ITerminal.defaultOptions.theme,
    execute: async args => {

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

execute: async () =&gt; {
      let { fontSize } = ITerminal.defaultOptions;
      if (fontSize &lt; 72) {
        try {
          await settingRegistry.set(plugin.id, 'fontSize', fontSize + 1);
        } catch (err) {
          Private.showErrorMessage(err);
        }
      }
    }
  });