lean4monaco 1.0.32 → 1.0.33

package/dist/leanmonaco.d.ts

@@ -48,5 +48,10 @@ export declare class LeanMonaco {
     /** This basically returns the `package.json` of `vscode-lean4` with some ts-fixes and the custom themes. */
     protected getExtensionManifest(): IExtensionManifest;
     protected getWebSocketOptions(options: LeanMonacoOptions): WebSocketConfigOptionsUrl;
+    /** Restarting all clients.
+     * Note: I think with the current implementation, there is always just one client
+     * (is that true?), but the vscode-extension is designed for more.
+     */
+    restart(): void;
     dispose(): void;
 }

package/dist/leanmonaco.js

@@ -121,6 +121,7 @@ export class LeanMonaco {
         // Load fonts
         const fontFiles = [
             new FontFace("JuliaMono", `url(${new URL("./fonts/JuliaMono-Regular.ttf", import.meta.url)})`),
+            new FontFace("Noto Color Emoji", `url(${new URL("./fonts/NotoColorEmoji-Regular.ttf", import.meta.url)})`),
             // new FontFace(
             //   "LeanWeb",
             //   `url(${new URL("./fonts/LeanWeb-Regular.otf", import.meta.url)})`,
@@ -150,7 +151,7 @@ export class LeanMonaco {
             "editor.acceptSuggestionOnEnter": "off", // since there are plenty suggestions
             // other options
             "editor.renderWhitespace": "trailing",
-            "editor.fontFamily": "'JuliaMono'",
+            "editor.fontFamily": "'JuliaMono', 'Noto Color Emoji'",
             "editor.wordWrap": "on",
             "editor.wrappingStrategy": "advanced",
             "workbench.colorTheme": "Visual Studio Light",
@@ -228,6 +229,13 @@ export class LeanMonaco {
             ...options.websocket
         };
     }
+    /** Restarting all clients.
+     * Note: I think with the current implementation, there is always just one client
+     * (is that true?), but the vscode-extension is designed for more.
+     */
+    restart() {
+        this.clientProvider?.getClients().map(client => { client.restart(); });
+    }
     dispose() {
         if (LeanMonaco.activeInstance == this) {
             LeanMonaco.activeInstance = null;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.32",
+  "version": "1.0.33",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",