Merge pull request #58 from jtpio/fix-linting

Fix linting errors

src/index.ts

@@ -251,7 +251,7 @@ const main: JupyterFrontEndPlugin<IDebugger> = {
             sidebar.parent = null;
           }
 
-          //edge case when realod page after set condensed mode
+          // edge case when realod page after set condensed mode
           widget.title.label = 'Debugger';
           shell.add(widget, 'main');
           return;

src/tokens.ts

@@ -68,12 +68,12 @@ export namespace IDebugger {
     /**
      * Start a new debug session.
      */
-    start(): void;
+    start(): Promise<void>;
 
     /**
      * Stop a running debug session.
      */
-    stop(): void;
+    stop(): Promise<void>;
   }
 
   export namespace ISession {