npm - lean4monaco - Versions diffs - 1.0.11 → 1.0.12 - Mend

lean4monaco 1.0.11 → 1.0.12

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (75) hide show

package/README.md CHANGED Viewed

@@ -85,23 +85,28 @@ export default {
   },
   [...]
 }
-```
-Moreover, the infoview javascript files need to be served:
-```ts
-// vite.config.ts
-import { viteStaticCopy } from 'vite-plugin-static-copy'
-import { normalizePath } from 'vite'
-import path from 'node:path'
-export default {
+```  "devDependencies": {
+    "@chialab/esbuild-plugin-meta-url": "^0.18.2",
+    "@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
+    "@types/node": "^20.14.2",
+    "@types/semver": "^7.5.8",
+    "@types/vscode": "^1.89.0",
+    "copyfiles": "^2.4.1",
+    "cypress": "^13.13.0",
+    "cypress-iframe": "^1.0.1",
+    "ts-loader": "^9.5.1",
+    "typescript": "^5.4.5",
+    "wait-on": "^7.2.0",
+    "webpack": "^5.93.0",
+    "webpack-cli": "^5.1.4"
+  },
   plugins: [
     viteStaticCopy({
       targets: [
         {
           src: [
             normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*')),
-            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/webview/webview.js')),
+            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/dist/webview/webview.js')),
           ],
           dest: 'infoview'
         }
@@ -111,6 +116,19 @@ export default {
 }
 ```
+## Demo
+You can clone `lean4monaco`, then run the demo located in `lean4monaco/demo/` with
+```
+cd lean4monaco
+npm install
+npm start
+```
+and open [http://localhost:5173](http://localhost:5173). This should open a rudimentary webpage
+with 1 (or more) monaco editors and an infoview, showing the Lean infos at the cursor.
 ## Troubleshooting
 * Make sure that only one version of the npm package `monaco-vscode-api` is installed.

package/dist/infowebview.js CHANGED Viewed

@@ -118,25 +118,25 @@ export class IFrameInfoWebviewFactory {
     }
     initialHtml(stylesheet) {
         return `
-            <!DOCTYPE html>
-            <html>
-            <head>
-                <meta charset="UTF-8" />
-                <meta http-equiv="Content-type" content="text/html;charset=utf-8">
-                <title>Infoview</title>
-                <style>${stylesheet}</style>
-                <style>
-                    body {
-                        background-color: var(--vscode-editor-background);
-                        color: var(--vscode-editor-foreground);
-                    }
-                </style>
-                <link rel="stylesheet" href="${new URL('../node_modules/@leanprover/infoview/dist/index.css', import.meta.url)}">
-            </head>
-            <body>
-                <div id="react_root"></div>
-                <script type="module" src="/infoview/webview.js"></script>
-            </body>
-            </html>`;
+      <!DOCTYPE html>
+      <html>
+      <head>
+        <meta charset="UTF-8" />
+        <meta http-equiv="Content-type" content="text/html;charset=utf-8">
+        <title>Infoview</title>
+        <style>${stylesheet}</style>
+        <style>
+          body {
+            background-color: var(--vscode-editor-background);
+            color: var(--vscode-editor-foreground);
+          }
+        </style>
+        <link rel="stylesheet" href="${new URL('../node_modules/@leanprover/infoview/dist/index.css', import.meta.url)}">
+      </head>
+      <body>
+        <div id="react_root"></div>
+        <script type="module" src="/infoview/webview.js"></script>
+      </body>
+      </html>`;
     }
 }

package/dist/leanmonaco.d.ts CHANGED Viewed

@@ -7,6 +7,15 @@ import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { IExtensionManifest } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';
+/** Options for LeanMonaco.
+ *
+ * The URL is where the server listens. You might want to use something like
+ * `"ws://" + window.location.host`
+ *
+ * To add settings in `vscode`, you can open your settings in VSCode (Ctrl+,), search
+ * for the desired setting, select "Copy Setting as JSON" from the "More Actions"
+ * menu next to the selected setting, and paste the copied string here.
+ */
 export type LeanMonacoOptions = {
     websocket: {
         url: string;

package/package.json CHANGED Viewed

@@ -1,11 +1,33 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.11",
-  "type": "module",
-  "main": "dist/index.js",
+  "version": "1.0.12",
+  "description": "Monaco Editor support for the Lean 4 theorem prover.",
+  "keywords": [
+    "lean",
+    "leanprover",
+    "monaco",
+    "editor",
+    "vscode"
+  ],
+  "homepage": "https://github.com/hhu-adam/lean4monaco",
+  "bugs": {
+    "url": "https://github.com/hhu-adam/lean4monaco/issues"
+  },
+  "license": "Apache-2.0",
+  "author": {
+    "name": "Alexander Bentkamp"
+  },
+  "contributors": [
+    {
+      "name": "Jon Eugster",
+      "url": "https://github.com/joneugster"
+    }
+  ],
   "files": [
     "dist"
   ],
+  "main": "dist/index.js",
+  "type": "module",
   "repository": {
     "type": "git",
     "url": "https://github.com/hhu-adam/lean4monaco"
@@ -15,6 +37,20 @@
     "build": "tsc && webpack && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/",
     "test": "(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
   },
+  "dependencies": {
+    "@leanprover/infoview": "=0.7.0",
+    "@leanprover/infoview-api": "^0.4.0",
+    "@leanprover/unicode-input": "^0.1.0",
+    "axios": "^1.7.2",
+    "cheerio": "^1.0.0-rc.12",
+    "concurrently": "^8.2.2",
+    "memfs": "^4.9.3",
+    "mobx": "5.15.7",
+    "monaco-editor-wrapper": "^5.3.1",
+    "react-dom": "^18.3.1",
+    "semver": "^7.6.2",
+    "zod": "^3.23.8"
+  },
   "devDependencies": {
     "@chialab/esbuild-plugin-meta-url": "^0.18.2",
     "@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
@@ -29,19 +65,5 @@
     "wait-on": "^7.2.0",
     "webpack": "^5.93.0",
     "webpack-cli": "^5.1.4"
-  },
-  "dependencies": {
-    "@leanprover/infoview": "=0.7.0",
-    "@leanprover/infoview-api": "^0.4.0",
-    "@leanprover/unicode-input": "^0.1.0",
-    "axios": "^1.7.2",
-    "cheerio": "^1.0.0-rc.12",
-    "concurrently": "^8.2.2",
-    "memfs": "^4.9.3",
-    "mobx": "5.15.7",
-    "monaco-editor-wrapper": "^5.3.1",
-    "react-dom": "^18.3.1",
-    "semver": "^7.6.2",
-    "zod": "^3.23.8"
   }
 }

package/dist/monaco-lean4/lean4-infoview/package.json DELETED Viewed

@@ -1,59 +0,0 @@
-{
-    "name": "@leanprover/infoview",
-    "version": "0.7.2",
-    "description": "An interactive display for the Lean 4 theorem prover.",
-    "scripts": {
-        "watch": "rollup --config --environment NODE_ENV:development --watch",
-        "build": "rollup --config --environment NODE_ENV:production",
-        "watchTest": "npm run watch",
-        "test": "tsc -p test/tsconfig.json"
-    },
-    "exports": {
-        ".": "./dist/index.development.js",
-        "./loader": "./dist/loader.production.min.js",
-        "./package.json": "./package.json"
-    },
-    "typesVersions": {
-        "*": {
-            "*": [
-                "dist/index.d.ts"
-            ],
-            "loader": [
-                "dist/loader.d.ts"
-            ]
-        }
-    },
-    "files": [
-        "dist/*"
-    ],
-    "type": "module",
-    "license": "Apache-2.0",
-    "devDependencies": {
-        "@floating-ui/react": "^0.24.7",
-        "@rollup/plugin-commonjs": "^23.0.7",
-        "@rollup/plugin-node-resolve": "^15.1.0",
-        "@rollup/plugin-replace": "^5.0.2",
-        "@rollup/plugin-terser": "^0.1.0",
-        "@rollup/plugin-typescript": "^9.0.2",
-        "@rollup/plugin-url": "^8.0.1",
-        "@types/marked": "^4.3.1",
-        "@types/react": "^18.2.15",
-        "@types/react-dom": "^18.2.7",
-        "current-release": "npm:@leanprover/infoview@latest",
-        "react": "^18.2.0",
-        "react-dom": "^18.2.0",
-        "rollup": "^3.26.2",
-        "rollup-plugin-css-only": "^4.3.0",
-        "typescript": "^5.4.5"
-    },
-    "dependencies": {
-        "@leanprover/infoview-api": "~0.4.0",
-        "@vscode/codicons": "^0.0.32",
-        "@vscode/webview-ui-toolkit": "^1.4.0",
-        "es-module-shims": "^1.7.3",
-        "marked": "^4.3.0",
-        "react-fast-compare": "^3.2.2",
-        "tachyons": "^4.12.0",
-        "vscode-languageserver-protocol": "^3.17.3"
-    }
-}

package/dist/monaco-lean4/lean4-infoview/src/infoview/index.css DELETED Viewed

@@ -1,272 +0,0 @@
-/* Some styles specific to the infoview. */
-html,
-body {
-    height: 100%;
-}
-.font-code {
-    color: var(--vscode-editor-foreground);
-    font-family: var(--vscode-editor-font-family);
-    font-weight: var(--vscode-editor-font-weight);
-    font-size: var(--vscode-editor-font-size);
-    line-height: var(--vscode-editor-line-height);
-}
-.font-size-code-smaller {
-    font-size: calc(0.8 * var(--vscode-editor-font-size));
-    line-height: calc(0.8 * var(--vscode-editor-line-height));
-}
-.font-normal {
-    font-family: var(--vscode-font-family);
-    font-weight: var(--vscode-font-weight);
-    font-size: var(--vscode-font-size);
-}
-.codicon-blank {
-    width: 20px;
-    height: 16px;
-}
-/* These are syntax highlights for the string goal view. */
-.goal-goals {
-    color: var(--vscode-lean4-infoView\.goalCount);
-}
-.goal-vdash {
-    color: var(--vscode-lean4-infoView\.turnstile);
-}
-.goal-case {
-    color: var(--vscode-lean4-infoView\.caseLabel);
-}
-.goal-hyp {
-    color: var(--vscode-lean4-infoView\.hypothesisName);
-}
-.goal-inaccessible {
-    color: var(--vscode-lean4-infoView\.inaccessibleHypothesisName);
-    opacity: 0.7;
-    font-style: italic;
-    font-weight: normal;
-}
-/* Used to denote text highlighted by the pretty-print expression widget. */
-.highlightable {
-    border-radius: 2pt;
-    transition: background-color 100ms ease-in-out;
-}
-.highlight {
-    background-color: var(--vscode-editor-selectionBackground) !important;
-}
-.highlight-selected {
-    background-color: var(--vscode-editorOverviewRuler-rangeHighlightForeground);
-}
-/* Interactive traces */
-.trace-line:hover {
-    background-color: #dbeeff;
-}
-.vscode-dark .trace-line:hover {
-    background-color: #1a2c3c;
-}
-.trace-class {
-    opacity: 0.4;
-}
-.pre-wrap {
-    white-space: pre-wrap;
-}
-.error {
-    color: #e51400;
-}
-.warning {
-    color: #bf8803;
-}
-.information {
-    color: darkgreen;
-}
-.vscode-dark .error {
-    color: #f14c4c;
-}
-.vscode-dark .warning {
-    color: #cca700;
-}
-.vscode-dark .information {
-    color: #89d185;
-}
-.vscode-high-contrast .error {
-    color: lightpink;
-}
-.vscode-high-contrast .warning {
-    color: yellow;
-}
-.vscode-high-contrast .information {
-    color: lightgreen;
-}
-/* Headers for infoview */
-.restart-file-button {
-    position: fixed;
-    bottom: 10px;
-    right: 10px;
-    z-index: 37;
-}
-select {
-    background-color: var(--vscode-dropdown-background);
-    color: var(--vscode-dropdown-foreground);
-    border-color: var(--vscode-dropdown-border);
-}
-/* Style for the rounded box that is the outermost div of every tooltip.
- * We use more specific classes for styling tooltip contents. */
-.tooltip {
-    background-color: var(--vscode-editorHoverWidget-background);
-    border-radius: 4px;
-    border-color: var(--vscode-editorHoverWidget-border);
-    border-width: 1px;
-    border-style: solid;
-    box-shadow: 1px 1px 5px var(--vscode-widget-shadow);
-    box-sizing: border-box;
-    /* Note: max-height is set in JS. */
-    max-width: 70%;
-    /* Flexbox ensures that contents don't overflow. */
-    display: flex;
-}
-.tooltip-content {
-    padding: 4px 8px;
-    overflow-y: auto;
-    overscroll-behavior: contain;
-}
-/* Contents of a list of selections shown as a tooltip. */
-.tooltip-menu-content {
-    color: var(--vscode-editorHoverWidget-foreground);
-}
-.tooltip-menu-content .tooltip-menu-text {
-    text-align: center;
-    padding: 5px;
-    vertical-align: top;
-    display: inline-block;
-}
-.tooltip-menu-content .tooltip-menu-icon {
-    padding: 0px;
-    margin-top: 6px;
-}
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-/* adapted from https://github.com/microsoft/vscode/blob/main/src/vs/base/browser/ui/hover/hover.css */
-/* Contents of a code tooltip showing a value, type, documentation, etc. */
-.tooltip-code-content {
-    color: var(--vscode-editorHoverWidget-foreground);
-    line-height: var(--vscode-editor-line-height);
-}
-.tooltip-code-content a:hover {
-    cursor: pointer;
-}
-.tooltip-code-content p,
-.tooltip-code-content .code,
-.tooltip-code-content ul {
-    margin: 8px 0;
-}
-.tooltip-code-content hr {
-    box-sizing: border-box;
-    border-left: -8px;
-    border-right: -8px;
-    margin-top: 4px;
-    margin-bottom: 4px;
-    height: 1px;
-    border-bottom-width: 0px;
-    border-top-width: 1px;
-    border-top-style: solid;
-    border-top-color: var(--vscode-editorHoverWidget-border);
-}
-.tooltip-code-content p:first-child,
-.tooltip-code-content .code:first-child,
-.tooltip-code-content ul:first-child {
-    margin-top: 0;
-}
-.tooltip-code-content p:last-child,
-.tooltip-code-content .code:last-child,
-.tooltip-code-content ul:last-child {
-    margin-bottom: 0;
-}
-/* MarkupContent Layout */
-.tooltip-code-content ul {
-    padding-left: 20px;
-}
-.tooltip-code-content ol {
-    padding-left: 20px;
-}
-.tooltip-code-content li > p {
-    margin-bottom: 0;
-}
-.tooltip-code-content li > ul {
-    margin-top: 0;
-}
-.tooltip-code-content code {
-    border-radius: 3px;
-    padding: 0 0.4em;
-    background-color: var(--vscode-textCodeBlock-background);
-}
-.vscode-high-contrast .inserted-text {
-    border: thin solid var(--vscode-diffEditor-insertedTextBorder);
-}
-.vscode-high-contrast .removed-text {
-    border: thin solid var(--vscode-diffEditor-removedTextBorder);
-}
-.inserted-text {
-    background-color: var(--vscode-diffEditor-insertedTextBackground);
-    border-radius: 2pt;
-}
-.removed-text {
-    background-color: var(--vscode-diffEditor-removedTextBackground);
-    border-radius: 2pt;
-}
-.b--inserted {
-    border-color: var(--vscode-diffEditor-insertedTextBackground) !important;
-}
-.b--modified {
-    border-color: var(--vscode-diffEditor-insertedTextBackground) !important;
-}
-.b--removed {
-    border-color: var(--vscode-diffEditor-removedTextBackground) !important;
-}
-.b--transparent {
-    border-color: transparent;
-}

package/dist/monaco-lean4/lean4-infoview/test/tsconfig.json DELETED Viewed

@@ -1,7 +0,0 @@
-{
-    "extends": "../tsconfig",
-    "compilerOptions": {
-        "rootDir": "../"
-    },
-    "include": ["./**/*", "../src/**/*"]
-}

package/dist/monaco-lean4/lean4-infoview/tsconfig.json DELETED Viewed

@@ -1,34 +0,0 @@
-{
-    "compilerOptions": {
-        /* Projects */
-        "composite": true,
-        /* Language and Environment */
-        "target": "esnext",
-        "lib": ["DOM", "DOM.Iterable", "ESNext"],
-        "jsx": "react-jsx",
-        /* Modules */
-        "module": "esnext",
-        "moduleResolution": "node",
-        /* Emit */
-        "sourceMap": true,
-        "rootDir": "src",
-        "outDir": "dist",
-        /* Interop Constraints */
-        "esModuleInterop": true,
-        "forceConsistentCasingInFileNames": true,
-        /* Type Checking */
-        "strict": true,
-        "noImplicitAny": true,
-        "noFallthroughCasesInSwitch": true,
-        /* Completeness */
-        "skipLibCheck": true
-    },
-    "include": ["src/**/*"],
-    "exclude": ["dist"]
-}

package/dist/monaco-lean4/lean4-infoview-api/package.json DELETED Viewed

@@ -1,20 +0,0 @@
-{
-    "name": "@leanprover/infoview-api",
-    "version": "0.4.0",
-    "description": "Types and API for @leanprover/infoview.",
-    "scripts": {
-        "watch": "tsc --watch",
-        "watchTest": "tsc --watch",
-        "build": "tsc"
-    },
-    "main": "dist/index",
-    "types": "dist/index",
-    "files": [
-        "dist/*"
-    ],
-    "license": "Apache-2.0",
-    "devDependencies": {
-        "typescript": "^5.4.5",
-        "vscode-languageserver-protocol": "^3.17.3"
-    }
-}

package/dist/monaco-lean4/lean4-infoview-api/tsconfig.json DELETED Viewed

@@ -1,29 +0,0 @@
-{
-    "compilerOptions": {
-        /* Code generation */
-        "target": "ES2021",
-        "module": "ES6",
-        "lib": ["dom", "dom.iterable", "ES2021"],
-        "allowJs": true,
-        "esModuleInterop": true,
-        /* Type-checking */
-        "strict": true,
-        "noFallthroughCasesInSwitch": true,
-        "skipLibCheck": true,
-        /* Module resolution */
-        "moduleResolution": "node",
-        "allowSyntheticDefaultImports": true,
-        "forceConsistentCasingInFileNames": true,
-        /* Output */
-        "composite": true,
-        "rootDir": "src/",
-        "outDir": "dist/",
-        "declaration": true,
-        "sourceMap": true
-    },
-    "include": ["src/**/*"]
-}

package/dist/monaco-lean4/lean4-unicode-input/package.json DELETED Viewed

@@ -1,19 +0,0 @@
-{
-    "name": "@leanprover/unicode-input",
-    "version": "0.1.0",
-    "description": "Unicode input mechanism for the Lean 4 theorem prover",
-    "scripts": {
-        "watch": "tsc --watch",
-        "watchTest": "tsc --watch",
-        "build": "tsc"
-    },
-    "main": "dist/index",
-    "types": "dist/index",
-    "files": [
-        "dist/*"
-    ],
-    "license": "Apache-2.0",
-    "devDependencies": {
-        "typescript": "^5.4.5"
-    }
-}