jupyterlab-emrys/lib/terminal/plugin.d.ts

A computational environment for Jupyter. Powered by Emrys

import { ServiceManager } from 'jupyter-js-services';
import { Application } from 'phosphide/lib/core/application';
import { MainMenu } from '../mainmenu/plugin';
/**
 * The default terminal extension.
 */
export declare const terminalExtension: {
    id: string;
    requires: (typeof ServiceManager | typeof MainMenu)[];
    activate: (app: Application, services: ServiceManager, mainMenu: MainMenu) => void;
};