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

lean4monaco 1.0.35 → 1.0.37

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 (598) 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/custom.css ADDED Viewed

@@ -0,0 +1,13 @@
+/*
+Custom styles for the infoview.
+TODO: These might be superfluous if the styles from `vscode-lean4 were integrated 100% correctly.`
+*/
+.pre-wrap {
+  padding-bottom: 1.5em;
+}
+.font-size-code-smaller {
+  opacity: 0.6;
+}

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,9 @@ 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)}">
+        <link rel="stylesheet" href="${new URL('./css/custom.css', import.meta.url)}">
       </head>
       <body>
         <div id="react_root"></div>

package/dist/{lean4-infoview → vscode-lean4/lean4-infoview/dist}/index.css RENAMED Viewed

@@ -3886,6 +3886,217 @@ code, .code { font-family: Consolas, monaco, monospace; }
 }
+/*
+This file contains syntax highlighting themes for highlight.js,
+taken from https://unpkg.com/browse/@highlightjs/cdn-assets@11.10.0/styles/github.css (light)
+and https://unpkg.com/browse/@highlightjs/cdn-assets@11.10.0/styles/github-dark.css (dark)
+Unfortunately there is no way to retrieve theme colors from VSCode:
+https://github.com/Microsoft/vscode/issues/32813
+*/
+pre code.hljs {
+    display: block;
+}
+/*!
+  Theme: GitHub
+  Description: Light theme as seen on github.com
+  Author: github.com
+  Maintainer: @Hirse
+  Updated: 2021-05-15
+  Outdated base version: https://github.com/primer/github-syntax-light
+  Current colors taken from GitHub's CSS
+*/
+.hljs-doctag,
+.hljs-keyword,
+.hljs-meta .hljs-keyword,
+.hljs-template-tag,
+.hljs-template-variable,
+.hljs-type,
+.hljs-variable.language_ {
+    /* prettylights-syntax-keyword */
+    color: #d73a49;
+}
+.hljs-title,
+.hljs-title.class_,
+.hljs-title.class_.inherited__,
+.hljs-title.function_ {
+    /* prettylights-syntax-entity */
+    color: #6f42c1;
+}
+.hljs-attr,
+.hljs-attribute,
+.hljs-literal,
+.hljs-meta,
+.hljs-number,
+.hljs-operator,
+.hljs-variable,
+.hljs-selector-attr,
+.hljs-selector-class,
+.hljs-selector-id {
+    /* prettylights-syntax-constant */
+    color: #005cc5;
+}
+.hljs-regexp,
+.hljs-string,
+.hljs-meta .hljs-string {
+    /* prettylights-syntax-string */
+    color: #032f62;
+}
+.hljs-built_in,
+.hljs-symbol {
+    /* prettylights-syntax-variable */
+    color: #e36209;
+}
+.hljs-comment,
+.hljs-code,
+.hljs-formula {
+    /* prettylights-syntax-comment */
+    color: #6a737d;
+}
+.hljs-name,
+.hljs-quote,
+.hljs-selector-tag,
+.hljs-selector-pseudo {
+    /* prettylights-syntax-entity-tag */
+    color: #22863a;
+}
+.hljs-subst {
+    /* prettylights-syntax-storage-modifier-import */
+    color: #24292e;
+}
+.hljs-section {
+    /* prettylights-syntax-markup-heading */
+    color: #005cc5;
+    font-weight: bold;
+}
+.hljs-bullet {
+    /* prettylights-syntax-markup-list */
+    color: #735c0f;
+}
+.hljs-emphasis {
+    /* prettylights-syntax-markup-italic */
+    color: #24292e;
+    font-style: italic;
+}
+.hljs-strong {
+    /* prettylights-syntax-markup-bold */
+    color: #24292e;
+    font-weight: bold;
+}
+.hljs-addition {
+    /* prettylights-syntax-markup-inserted */
+    color: #22863a;
+    background-color: #f0fff4;
+}
+.hljs-deletion {
+    /* prettylights-syntax-markup-deleted */
+    color: #b31d28;
+    background-color: #ffeef0;
+}
+/*!
+  Theme: GitHub Dark
+  Description: Dark theme as seen on github.com
+  Author: github.com
+  Maintainer: @Hirse
+  Updated: 2021-05-15
+  Outdated base version: https://github.com/primer/github-syntax-dark
+  Current colors taken from GitHub's CSS
+*/
+.vscode-dark .hljs-doctag,
+.vscode-dark .hljs-keyword,
+.vscode-dark .hljs-meta .hljs-keyword,
+.vscode-dark .hljs-template-tag,
+.vscode-dark .hljs-template-variable,
+.vscode-dark .hljs-type,
+.vscode-dark .hljs-variable.language_ {
+    /* prettylights-syntax-keyword */
+    color: #ff7b72;
+}
+.vscode-dark .hljs-title,
+.vscode-dark .hljs-title.class_,
+.vscode-dark .hljs-title.class_.inherited__,
+.vscode-dark .hljs-title.function_ {
+    /* prettylights-syntax-entity */
+    color: #d2a8ff;
+}
+.vscode-dark .hljs-attr,
+.vscode-dark .hljs-attribute,
+.vscode-dark .hljs-literal,
+.vscode-dark .hljs-meta,
+.vscode-dark .hljs-number,
+.vscode-dark .hljs-operator,
+.vscode-dark .hljs-variable,
+.vscode-dark .hljs-selector-attr,
+.vscode-dark .hljs-selector-class,
+.vscode-dark .hljs-selector-id {
+    /* prettylights-syntax-constant */
+    color: #79c0ff;
+}
+.vscode-dark .hljs-regexp,
+.vscode-dark .hljs-string,
+.vscode-dark .hljs-meta .hljs-string {
+    /* prettylights-syntax-string */
+    color: #a5d6ff;
+}
+.vscode-dark .hljs-built_in,
+.vscode-dark .hljs-symbol {
+    /* prettylights-syntax-variable */
+    color: #ffa657;
+}
+.vscode-dark .hljs-comment,
+.vscode-dark .hljs-code,
+.vscode-dark .hljs-formula {
+    /* prettylights-syntax-comment */
+    color: #8b949e;
+}
+.vscode-dark .hljs-name,
+.vscode-dark .hljs-quote,
+.vscode-dark .hljs-selector-tag,
+.vscode-dark .hljs-selector-pseudo {
+    /* prettylights-syntax-entity-tag */
+    color: #7ee787;
+}
+.vscode-dark .hljs-subst {
+    /* prettylights-syntax-storage-modifier-import */
+    color: #c9d1d9;
+}
+.vscode-dark .hljs-section {
+    /* prettylights-syntax-markup-heading */
+    color: #1f6feb;
+    font-weight: bold;
+}
+.vscode-dark .hljs-bullet {
+    /* prettylights-syntax-markup-list */
+    color: #f2cc60;
+}
+.vscode-dark .hljs-emphasis {
+    /* prettylights-syntax-markup-italic */
+    color: #c9d1d9;
+    font-style: italic;
+}
+.vscode-dark .hljs-strong {
+    /* prettylights-syntax-markup-bold */
+    color: #c9d1d9;
+    font-weight: bold;
+}
+.vscode-dark .hljs-addition {
+    /* prettylights-syntax-markup-inserted */
+    color: #aff5b4;
+    background-color: #033a16;
+}
+.vscode-dark .hljs-deletion {
+    /* prettylights-syntax-markup-deleted */
+    color: #ffdcd7;
+    background-color: #67060c;
+}
 /* Some styles specific to the infoview. */
 html,
@@ -3937,20 +4148,14 @@ body {
     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-selected {
+    background-color: var(--vscode-editorOverviewRuler-rangeHighlightForeground) !important;
 }
 .highlight {
     background-color: var(--vscode-editor-selectionBackground) !important;
 }
-.highlight-selected {
-    background-color: var(--vscode-editorOverviewRuler-rangeHighlightForeground);
-}
 /* Interactive traces */
 .trace-line:hover {
     background-color: #dbeeff;

package/dist/vscode-lean4/lean4-infoview/src/infoview/highlightjs.css ADDED Viewed

@@ -0,0 +1,210 @@
+/*
+This file contains syntax highlighting themes for highlight.js,
+taken from https://unpkg.com/browse/@highlightjs/cdn-assets@11.10.0/styles/github.css (light)
+and https://unpkg.com/browse/@highlightjs/cdn-assets@11.10.0/styles/github-dark.css (dark)
+Unfortunately there is no way to retrieve theme colors from VSCode:
+https://github.com/Microsoft/vscode/issues/32813
+*/
+pre code.hljs {
+    display: block;
+}
+/*!
+  Theme: GitHub
+  Description: Light theme as seen on github.com
+  Author: github.com
+  Maintainer: @Hirse
+  Updated: 2021-05-15
+  Outdated base version: https://github.com/primer/github-syntax-light
+  Current colors taken from GitHub's CSS
+*/
+.hljs-doctag,
+.hljs-keyword,
+.hljs-meta .hljs-keyword,
+.hljs-template-tag,
+.hljs-template-variable,
+.hljs-type,
+.hljs-variable.language_ {
+    /* prettylights-syntax-keyword */
+    color: #d73a49;
+}
+.hljs-title,
+.hljs-title.class_,
+.hljs-title.class_.inherited__,
+.hljs-title.function_ {
+    /* prettylights-syntax-entity */
+    color: #6f42c1;
+}
+.hljs-attr,
+.hljs-attribute,
+.hljs-literal,
+.hljs-meta,
+.hljs-number,
+.hljs-operator,
+.hljs-variable,
+.hljs-selector-attr,
+.hljs-selector-class,
+.hljs-selector-id {
+    /* prettylights-syntax-constant */
+    color: #005cc5;
+}
+.hljs-regexp,
+.hljs-string,
+.hljs-meta .hljs-string {
+    /* prettylights-syntax-string */
+    color: #032f62;
+}
+.hljs-built_in,
+.hljs-symbol {
+    /* prettylights-syntax-variable */
+    color: #e36209;
+}
+.hljs-comment,
+.hljs-code,
+.hljs-formula {
+    /* prettylights-syntax-comment */
+    color: #6a737d;
+}
+.hljs-name,
+.hljs-quote,
+.hljs-selector-tag,
+.hljs-selector-pseudo {
+    /* prettylights-syntax-entity-tag */
+    color: #22863a;
+}
+.hljs-subst {
+    /* prettylights-syntax-storage-modifier-import */
+    color: #24292e;
+}
+.hljs-section {
+    /* prettylights-syntax-markup-heading */
+    color: #005cc5;
+    font-weight: bold;
+}
+.hljs-bullet {
+    /* prettylights-syntax-markup-list */
+    color: #735c0f;
+}
+.hljs-emphasis {
+    /* prettylights-syntax-markup-italic */
+    color: #24292e;
+    font-style: italic;
+}
+.hljs-strong {
+    /* prettylights-syntax-markup-bold */
+    color: #24292e;
+    font-weight: bold;
+}
+.hljs-addition {
+    /* prettylights-syntax-markup-inserted */
+    color: #22863a;
+    background-color: #f0fff4;
+}
+.hljs-deletion {
+    /* prettylights-syntax-markup-deleted */
+    color: #b31d28;
+    background-color: #ffeef0;
+}
+/*!
+  Theme: GitHub Dark
+  Description: Dark theme as seen on github.com
+  Author: github.com
+  Maintainer: @Hirse
+  Updated: 2021-05-15
+  Outdated base version: https://github.com/primer/github-syntax-dark
+  Current colors taken from GitHub's CSS
+*/
+.vscode-dark .hljs-doctag,
+.vscode-dark .hljs-keyword,
+.vscode-dark .hljs-meta .hljs-keyword,
+.vscode-dark .hljs-template-tag,
+.vscode-dark .hljs-template-variable,
+.vscode-dark .hljs-type,
+.vscode-dark .hljs-variable.language_ {
+    /* prettylights-syntax-keyword */
+    color: #ff7b72;
+}
+.vscode-dark .hljs-title,
+.vscode-dark .hljs-title.class_,
+.vscode-dark .hljs-title.class_.inherited__,
+.vscode-dark .hljs-title.function_ {
+    /* prettylights-syntax-entity */
+    color: #d2a8ff;
+}
+.vscode-dark .hljs-attr,
+.vscode-dark .hljs-attribute,
+.vscode-dark .hljs-literal,
+.vscode-dark .hljs-meta,
+.vscode-dark .hljs-number,
+.vscode-dark .hljs-operator,
+.vscode-dark .hljs-variable,
+.vscode-dark .hljs-selector-attr,
+.vscode-dark .hljs-selector-class,
+.vscode-dark .hljs-selector-id {
+    /* prettylights-syntax-constant */
+    color: #79c0ff;
+}
+.vscode-dark .hljs-regexp,
+.vscode-dark .hljs-string,
+.vscode-dark .hljs-meta .hljs-string {
+    /* prettylights-syntax-string */
+    color: #a5d6ff;
+}
+.vscode-dark .hljs-built_in,
+.vscode-dark .hljs-symbol {
+    /* prettylights-syntax-variable */
+    color: #ffa657;
+}
+.vscode-dark .hljs-comment,
+.vscode-dark .hljs-code,
+.vscode-dark .hljs-formula {
+    /* prettylights-syntax-comment */
+    color: #8b949e;
+}
+.vscode-dark .hljs-name,
+.vscode-dark .hljs-quote,
+.vscode-dark .hljs-selector-tag,
+.vscode-dark .hljs-selector-pseudo {
+    /* prettylights-syntax-entity-tag */
+    color: #7ee787;
+}
+.vscode-dark .hljs-subst {
+    /* prettylights-syntax-storage-modifier-import */
+    color: #c9d1d9;
+}
+.vscode-dark .hljs-section {
+    /* prettylights-syntax-markup-heading */
+    color: #1f6feb;
+    font-weight: bold;
+}
+.vscode-dark .hljs-bullet {
+    /* prettylights-syntax-markup-list */
+    color: #f2cc60;
+}
+.vscode-dark .hljs-emphasis {
+    /* prettylights-syntax-markup-italic */
+    color: #c9d1d9;
+    font-style: italic;
+}
+.vscode-dark .hljs-strong {
+    /* prettylights-syntax-markup-bold */
+    color: #c9d1d9;
+    font-weight: bold;
+}
+.vscode-dark .hljs-addition {
+    /* prettylights-syntax-markup-inserted */
+    color: #aff5b4;
+    background-color: #033a16;
+}
+.vscode-dark .hljs-deletion {
+    /* prettylights-syntax-markup-deleted */
+    color: #ffdcd7;
+    background-color: #67060c;
+}