linting

packages/codemirror-extension/src/index.ts

@@ -53,7 +53,7 @@ const codemirrorSingleton: JupyterFrontEndPlugin<ICodeMirror> = {
   id: '@jupyterlab/codemirror-extension:codemirror',
   provides: ICodeMirror,
   activate: activateCodeMirror
-}
+};
 
 /**
  * The editor services.
@@ -150,7 +150,7 @@ function activateEditorServices(app: JupyterFrontEnd): IEditorServices {
 function activateCodeMirror(app: JupyterFrontEnd): ICodeMirror {
   return {
     codemirrorSingleton: () => CodeMirror
-  }
+  };
 }
 
 /**

packages/codemirror/src/tokens.ts

@@ -9,7 +9,9 @@ import CodeMirror from 'codemirror';
 /**
  * The CodeMirror token.
  */
-export const ICodeMirror = new Token<ICodeMirror>('@jupyterlab/codemirror:ICodeMirror');
+export const ICodeMirror = new Token<ICodeMirror>(
+  '@jupyterlab/codemirror:ICodeMirror'
+);
 /* tslint:enable */
 
 /** The CodeMirror interface. */