Modernize RunningSessions plugin and add to lab application.

jupyterlab/index.js

@@ -32,7 +32,7 @@ lab.registerPlugins([
   // require('jupyterlab/lib/markdownwidget/plugin').markdownHandlerExtension,
   require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
   require('jupyterlab/lib/rendermime/plugin').renderMimeProvider,
-  // require('jupyterlab/lib/running/plugin').runningSessionsExtension,
+  require('jupyterlab/lib/running/plugin').runningSessionsExtension,
   require('jupyterlab/lib/services/plugin').servicesProvider,
   require('jupyterlab/lib/shortcuts/plugin').shortcutsExtension,
   require('jupyterlab/lib/terminal/plugin').terminalExtension

src/running/plugin.ts

@@ -2,12 +2,12 @@
 // Distributed under the terms of the Modified BSD License.
 
 import {
-  ServiceManager
-} from 'jupyter-js-services';
+  JupyterLab, JupyterLabPlugin
+} from '../application';
 
 import {
-  Application
-} from 'phosphide/lib/core/application';
+  IServiceManager
+} from '../services/plugin';
 
 import {
   RunningSessions
@@ -18,18 +18,18 @@ import {
  * The default running sessions extension.
  */
 export
-const runningSessionsExtension = {
+const runningSessionsExtension: JupyterLabPlugin<void> = {
   id: 'jupyter.extensions.running-sessions',
-  requires: [ServiceManager],
+  requires: [IServiceManager],
   activate: activateRunningSessions
 };
 
 
 
-function activateRunningSessions(app: Application, services: ServiceManager): void {
+function activateRunningSessions(app: JupyterLab, services: IServiceManager): void {
   let running = new RunningSessions({ manager: services });
   running.id = 'jp-running-sessions';
-  running.title.text = 'Running';
+  running.title.label = 'Running';
 
   // TODO: replace these with execute calls in new phosphor.
   running.sessionOpenRequested.connect((sender, model) => {

src/tsconfig.json

@@ -33,6 +33,7 @@
     "notebook/plugin",
     "notebook/typings.d.ts",
     "rendermime/plugin",
+    "running/plugin",
     "services/plugin",
     "shortcuts/plugin",
     "terminal/plugin",