lean4monaco 1.0.25 → 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/editor.d.ts

@@ -1,7 +1,6 @@
 import { ITextFileEditorModel } from 'vscode/monaco';
 import * as monaco from 'monaco-editor';
 import { IReference } from '@codingame/monaco-vscode-editor-service-override';
-import './editor.css';
 export declare class LeanMonacoEditor {
     editor: monaco.editor.IStandaloneCodeEditor;
     modelRef: IReference<ITextFileEditorModel>;

package/dist/editor.js

@@ -3,7 +3,6 @@ import { fs } from 'memfs';
 import { createModelReference } from 'vscode/monaco';
 import * as monaco from 'monaco-editor';
 import path from 'path';
-import './editor.css';
 export class LeanMonacoEditor {
     editor;
     modelRef;

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: {
@@ -109,7 +116,10 @@ export class LeanMonaco {
         // Load fonts
         const fontFiles = [
             new FontFace("JuliaMono", `url(${new URL("./fonts/JuliaMono-Regular.ttf", import.meta.url)})`),
-            new FontFace("LeanWeb", `url(${new URL("./fonts/LeanWeb-Regular.otf", import.meta.url)})`)
+            // new FontFace(
+            //   "LeanWeb",
+            //   `url(${new URL("./fonts/LeanWeb-Regular.otf", import.meta.url)})`,
+            // )
         ];
         fontFiles.map(font => {
             document.fonts.add(font);
@@ -135,7 +145,7 @@ export class LeanMonaco {
             "editor.acceptSuggestionOnEnter": "off", // since there are plenty suggestions
             // other options
             "editor.renderWhitespace": "trailing",
-            "editor.fontFamily": "'LeanWeb', 'JuliaMono'",
+            "editor.fontFamily": "'JuliaMono'",
             "editor.wordWrap": "on",
             "editor.wrappingStrategy": "advanced",
             "workbench.colorTheme": "Visual Studio Light",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.25",
+  "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"),
-  }