Lint

jupyterlab · Jan 31, 2023 · aeda104 · aeda104
1 parent 6dae1d8
commit aeda104
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/packages/collaboration/src/collaboratorspanel.tsx b/packages/collaboration/src/collaboratorspanel.tsx
@@ -113,8 +113,8 @@ export class CollaboratorsBody extends ReactWidget {
 
         current = PathExt.basename(currentFileLocation);
         current =
-          current.length > 25 ? current.slice(0, 12).concat(`…`) : current;
-        separator = "•";
+          current.length > 25 ? current.slice(0, 12).concat('…') : current;
+        separator = '•';
       }
 
       const onClick = () => {

diff --git a/packages/collaboration/src/menu.ts b/packages/collaboration/src/menu.ts
@@ -30,9 +30,9 @@ export class RendererUserMenu extends MenuBar.Renderer {
    * @returns A virtual element representing the item.
    */
   renderItem(data: MenuBar.IRenderData): VirtualElement {
-    let className = this.createItemClass(data);
-    let dataset = this.createItemDataset(data);
-    let aria = this.createItemARIA(data);
+    const className = this.createItemClass(data);
+    const dataset = this.createItemDataset(data);
+    const aria = this.createItemARIA(data);
     return h.li(
       { className, dataset, tabindex: "0", onfocus: data.onfocus, ...aria },
       this._createUserIcon(),
@@ -49,7 +49,7 @@ export class RendererUserMenu extends MenuBar.Renderer {
    * @returns A virtual element representing the item label.
    */
   renderLabel(data: MenuBar.IRenderData): VirtualElement {
-    let content = this.formatLabel(data);
+    const content = this.formatLabel(data);
     return h.div(
       { className: "lm-MenuBar-itemLabel jp-MenuBar-label" },
       content,

diff --git a/packages/collaboration/src/tokens.ts b/packages/collaboration/src/tokens.ts
@@ -25,7 +25,7 @@ export const IGlobalAwareness = new Token<IAwareness>(
 /**
  * The awareness interface.
  */
-export interface IAwareness extends Awareness {}
+export type IAwareness = Awareness;
 
 /**
  * An interface describing the user menu.

diff --git a/packages/docprovider/src/yprovider.ts b/packages/docprovider/src/yprovider.ts
@@ -50,7 +50,7 @@ export class WebSocketProvider implements IDocumentProvider {
     this._ydoc = options.model.ydoc;
     this._awareness = options.model.awareness;
     this._yWebsocketProvider = null;
-    
+
     const user = options.user;
 
     user.ready