|
@@ -30,17 +30,6 @@ import {
|
|
|
} from './index';
|
|
|
|
|
|
|
|
|
-/**
|
|
|
- * The default terminal extension.
|
|
|
- */
|
|
|
-export
|
|
|
-const terminalExtension: JupyterLabPlugin<void> = {
|
|
|
- id: 'jupyter.extensions.terminal',
|
|
|
- requires: [IServiceManager, IMainMenu, ICommandPalette],
|
|
|
- activate: activateTerminal,
|
|
|
- autoStart: true
|
|
|
-};
|
|
|
-
|
|
|
/**
|
|
|
* The class name for all main area landscape tab icons.
|
|
|
*/
|
|
@@ -57,6 +46,18 @@ const TERMINAL_ICON_CLASS = 'jp-ImageTerminal';
|
|
|
const tracker = new InstanceTracker<TerminalWidget>();
|
|
|
|
|
|
|
|
|
+/**
|
|
|
+ * The default terminal extension.
|
|
|
+ */
|
|
|
+export
|
|
|
+const terminalExtension: JupyterLabPlugin<void> = {
|
|
|
+ id: 'jupyter.extensions.terminal',
|
|
|
+ requires: [IServiceManager, IMainMenu, ICommandPalette],
|
|
|
+ activate: activateTerminal,
|
|
|
+ autoStart: true
|
|
|
+};
|
|
|
+
|
|
|
+
|
|
|
function activateTerminal(app: JupyterLab, services: IServiceManager, mainMenu: IMainMenu, palette: ICommandPalette): void {
|
|
|
let { commands, keymap } = app;
|
|
|
let newTerminalId = 'terminal:create-new';
|