lean4monaco 1.0.26 → 1.0.27

package/README.md

@@ -152,7 +152,12 @@ with 1 (or more) monaco editors and an infoview, showing the Lean infos at the c
 Some random errors we encountered. If you have more, please share them.
 
 * Make sure that only one version of the npm package `monaco-vscode-api` is installed. The error I typically got is:
-  
+
   ```
   this._configurationService.onDidChangeConfiguration is not a function
   ```
+
+### Warnings on `npm install`
+
+* Warnings about `glob` and `inflight` come from `copyfiles`: see [copyfiles#132](https://github.com/calvinmetcalf/copyfiles/pull/132)
+* Warning about ` @types/cypress` comes from `cypress-iframe`

package/dist/leanmonaco.d.ts

@@ -20,6 +20,7 @@ export type LeanMonacoOptions = {
     websocket: {
         url: string;
     };
+    htmlElement?: HTMLElement;
     vscode?: {
         [id: string]: any;
     };

package/dist/leanmonaco.js

@@ -32,6 +32,13 @@ export class LeanMonaco {
     infoviewEl;
     disposed = false;
     async start(options) {
+        if (!options.htmlElement) {
+            console.debug('[LeanMonaco]: not starting because container is null');
+            return;
+        }
+        else {
+            console.debug('[LeanMonaco]: starting');
+        }
         if (LeanMonaco.activeInstance == this) {
             console.warn('A LeanMonaco instance cannot be started twice.');
             return;
@@ -61,7 +68,7 @@ export class LeanMonaco {
                 ...getConfigurationServiceOverride(),
                 ...getLanguagesServiceOverride(),
                 ...getModelServiceOverride()
-            }, undefined, {
+            }, options.htmlElement, {
                 workspaceProvider: {
                     trusted: true,
                     workspace: {

package/package.json

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

package/dist/editor.css

@@ -1,9 +0,0 @@
-@font-face {
-  font-family: "JuliaMono";
-  src: local(".fonts/JuliaMono-Regular.ttf"),
-}
-
-@font-face {
-    font-family: "LeanWeb";
-    src: local(".fonts/LeanWeb-Regular.otf"),
-  }