lean4monaco 1.0.21 → 1.0.23
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.
- package/README.md +5 -1
- package/dist/infowebview.js +1 -1
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -78,9 +78,13 @@ export default {
|
|
|
78
78
|
|
|
79
79
|
For Vite dev mode to work properly, the following plugin is necessary:
|
|
80
80
|
|
|
81
|
+
```
|
|
82
|
+
npm install -D 'https://gitpkg.vercel.app/hhu-adam/lean4monaco/esbuild-import-meta-url-plugin?main'
|
|
83
|
+
```
|
|
84
|
+
|
|
81
85
|
```ts
|
|
82
86
|
// vite.config.ts
|
|
83
|
-
import importMetaUrlPlugin from '
|
|
87
|
+
import importMetaUrlPlugin from '@codingame/esbuild-import-meta-url-plugin'
|
|
84
88
|
|
|
85
89
|
export default {
|
|
86
90
|
optimizeDeps: {
|
package/dist/infowebview.js
CHANGED
|
@@ -131,7 +131,7 @@ export class IFrameInfoWebviewFactory {
|
|
|
131
131
|
color: var(--vscode-editor-foreground);
|
|
132
132
|
}
|
|
133
133
|
</style>
|
|
134
|
-
<link rel="stylesheet" href="${new URL('
|
|
134
|
+
<link rel="stylesheet" href="${new URL('./vscode-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">
|
|
135
135
|
</head>
|
|
136
136
|
<body>
|
|
137
137
|
<div id="react_root"></div>
|