Explorar el Código

fix font size change bug

telamonian hace 6 años
padre
commit
26fa0cab4e
Se han modificado 1 ficheros con 8 adiciones y 0 borrados
  1. 8 0
      packages/cells/src/widget.ts

+ 8 - 0
packages/cells/src/widget.ts

@@ -364,6 +364,14 @@ export class Cell extends Widget {
     this.editor.focus();
   }
 
+  /**
+   * Handle `fit-request` messages.
+   */
+  protected onFitRequest(msg: Message): void {
+    // need this for for when a theme changes font size
+    this.editor.refresh();
+  }
+
   /**
    * Handle `update-request` messages.
    */