Remove extra space

jupyterlab · Jul 14, 2021 · d77c5e8 · d77c5e8
1 parent eefe75b
commit d77c5e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/widgets/src/menu.ts b/packages/widgets/src/menu.ts
@@ -527,7 +527,7 @@ class Menu extends Widget {
   /**
    * A message handler invoked on an `'activate-request'` message.
    */
-   protected onActivateRequest(msg: Message): void {
+  protected onActivateRequest(msg: Message): void {
     if (this.isAttached) {
       this.node.focus();
     }