npm - lean4monaco - Versions diffs - 1.0.35 → 1.0.36 - Mend

lean4monaco 1.0.35 → 1.0.36

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 (86) hide show

package/README.md CHANGED Viewed

@@ -174,7 +174,7 @@ Afterwards, you can run the demo with
 ```
 cd lean4monaco
 npm install
-npm setup_demo # this builds lean4monaco and calls `npm install` in `demo/`
+npm run setup_demo # this builds lean4monaco and calls `npm install` in `demo/`
 npm start
 ```

package/dist/css/vscode_webview.css ADDED Viewed

@@ -0,0 +1,106 @@
+/*
+From VSCode Workbench. Source:
+https://github.com/microsoft/vscode/blob/13369a2285cf8c1163eaa3b1a1073bc7edb78581/src/vs/workbench/contrib/webview/browser/pre/index.html#L87-L183
+TODO: integrate correctly?
+*/
+/* manually added since it seems to be necessary. why though? */
+a.link.pointer {
+  cursor: pointer;
+}
+html {
+  scrollbar-color: var(--vscode-scrollbarSlider-background) var(--vscode-editor-background);
+}
+body {
+  overscroll-behavior-x: none;
+  background-color: transparent;
+  color: var(--vscode-editor-foreground);
+  font-family: var(--vscode-font-family);
+  font-weight: var(--vscode-font-weight);
+  font-size: var(--vscode-font-size);
+  margin: 0;
+  padding: 0 20px;
+}
+img, video {
+  max-width: 100%;
+  max-height: 100%;
+}
+a, a code {
+  color: var(--vscode-textLink-foreground);
+}
+p > a {
+  text-decoration: var(--text-link-decoration);
+}
+a:hover {
+  color: var(--vscode-textLink-activeForeground);
+}
+a:focus,
+input:focus,
+select:focus,
+textarea:focus {
+  outline: 1px solid -webkit-focus-ring-color;
+  outline-offset: -1px;
+}
+code {
+  font-family: var(--monaco-monospace-font);
+  color: var(--vscode-textPreformat-foreground);
+  background-color: var(--vscode-textPreformat-background);
+  padding: 1px 3px;
+  border-radius: 4px;
+}
+pre code {
+  padding: 0;
+}
+blockquote {
+  background: var(--vscode-textBlockQuote-background);
+  border-color: var(--vscode-textBlockQuote-border);
+}
+kbd {
+  background-color: var(--vscode-keybindingLabel-background);
+  color: var(--vscode-keybindingLabel-foreground);
+  border-style: solid;
+  border-width: 1px;
+  border-radius: 3px;
+  border-color: var(--vscode-keybindingLabel-border);
+  border-bottom-color: var(--vscode-keybindingLabel-bottomBorder);
+  box-shadow: inset 0 -1px 0 var(--vscode-widget-shadow);
+  vertical-align: middle;
+  padding: 1px 3px;
+}
+::-webkit-scrollbar {
+  width: 10px;
+  height: 10px;
+}
+::-webkit-scrollbar-corner {
+  background-color: var(--vscode-editor-background);
+}
+::-webkit-scrollbar-thumb {
+  background-color: var(--vscode-scrollbarSlider-background);
+}
+::-webkit-scrollbar-thumb:hover {
+  background-color: var(--vscode-scrollbarSlider-hoverBackground);
+}
+::-webkit-scrollbar-thumb:active {
+  background-color: var(--vscode-scrollbarSlider-activeBackground);
+}
+::highlight(find-highlight) {
+  background-color: var(--vscode-editor-findMatchHighlightBackground);
+}
+::highlight(current-find-highlight) {
+  background-color: var(--vscode-editor-findMatchBackground);
+}

package/dist/infowebview.js CHANGED Viewed

@@ -133,6 +133,8 @@ export class IFrameInfoWebviewFactory {
           }
         </style>
         <link rel="stylesheet" href="${new URL('./vscode-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">
+        <link rel="stylesheet" href="${new URL('./css/vscode_webview.css', import.meta.url)}">
       </head>
       <body>
         <div id="react_root"></div>

package/package.json CHANGED Viewed

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

package/dist/JuliaMono-Regular.ttf DELETED Viewed

Binary file

package/dist/lean4-infoview/codicon.ttf DELETED Viewed

Binary file

package/dist/lean4-infoview/esm-shims/react-dom.d.ts DELETED Viewed

@@ -1,5 +0,0 @@
-/** @module See `rollup.config.js` for what this file does. */
-import * as ReactDOM from 'react-dom';
-import { createPortal, createRoot, findDOMNode, flushSync, hydrate, hydrateRoot, render, unmountComponentAtNode, unstable_batchedUpdates, unstable_renderSubtreeIntoContainer, version, __SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED } from 'react-dom';
-export default ReactDOM;
-export { __SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED, createPortal, createRoot, findDOMNode, flushSync, hydrate, hydrateRoot, render, unmountComponentAtNode, unstable_batchedUpdates, unstable_renderSubtreeIntoContainer, version, };

package/dist/lean4-infoview/esm-shims/react-jsx-runtime.d.ts DELETED Viewed

@@ -1,5 +0,0 @@
-/** @module See `rollup.config.js` for what this file does. */
-import * as Jsx from 'react/jsx-runtime';
-import { Fragment, jsx, jsxs } from 'react/jsx-runtime';
-export default Jsx;
-export { Fragment, jsx, jsxs };

package/dist/lean4-infoview/esm-shims/react.d.ts DELETED Viewed

@@ -1,5 +0,0 @@
-/** @module See `rollup.config.js` for what this file does. */
-import * as React from 'react';
-export default React;
-import { Children, cloneElement, Component, createContext, createElement, createFactory, createRef, forwardRef, Fragment, isValidElement, lazy, memo, Profiler, PureComponent, startTransition, StrictMode, Suspense, unstable_act, useCallback, useContext, useDebugValue, useDeferredValue, useEffect, useId, useImperativeHandle, useInsertionEffect, useLayoutEffect, useMemo, useReducer, useRef, useState, useSyncExternalStore, useTransition, version, __SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED } from 'react';
-export { Children, Component, Fragment, Profiler, PureComponent, StrictMode, Suspense, __SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED, cloneElement, createContext, createElement, createFactory, createRef, forwardRef, isValidElement, lazy, memo, startTransition, unstable_act, useCallback, useContext, useDebugValue, useDeferredValue, useEffect, useId, useImperativeHandle, useInsertionEffect, useLayoutEffect, useMemo, useReducer, useRef, useState, useSyncExternalStore, useTransition, version, };