npm - lean4monaco - Versions diffs - 1.0.45 → 1.0.46 - Mend

lean4monaco 1.0.45 → 1.0.46

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

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-light.svg DELETED Viewed

@@ -1,109 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg
-   width="16"
-   height="16"
-   viewBox="0 0 16 16"
-   fill="currentColor"
-   version="1.1"
-   id="svg1"
-   sodipodi:docname="error-l-passthrough-light.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   inkscape:export-filename="error-t-passthrough-light-2.svg"
-   inkscape:export-xdpi="96"
-   inkscape:export-ydpi="96"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs1">
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath13">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect13"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath14">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect14"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath15">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect15"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-  </defs>
-  <sodipodi:namedview
-     id="namedview1"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="45.254834"
-     inkscape:cx="-0.22097087"
-     inkscape:cy="8.1648736"
-     inkscape:window-width="3838"
-     inkscape:window-height="2128"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="0"
-     inkscape:current-layer="svg1" />
-  <path
-     fill-rule="evenodd"
-     clip-rule="evenodd"
-     d="m 8.5534798,2.5369052 c 1.247156,0.077947 2.4163642,0.7015251 3.2737842,1.5589451 1.013314,1.0912614 1.558945,2.4163647 1.558945,3.9753096 0,1.2471562 -0.467684,2.4163641 -1.247156,3.4296791 -0.779473,0.935366 -1.870734,1.636892 -3.1178896,1.870734 -1.247156,0.233841 -2.494312,0.07795 -3.5855736,-0.545631 C 4.3443284,12.202364 3.4869086,11.266997 3.0192251,10.097788 2.5515416,8.9285796 2.4735943,7.6034766 2.8633305,6.4342677 3.2530667,5.1871117 3.9545922,4.1737974 5.0458535,3.4722722 6.0591679,2.7707471 7.3063239,2.4589579 8.5534798,2.5369052 Z M 8.9432161,12.5921 c 1.0133143,-0.233842 1.9486809,-0.779472 2.6502059,-1.636892 0.623578,-0.85742 1.013314,-1.8707338 0.935367,-2.9619951 0,-1.2471563 -0.467684,-2.4943123 -1.325103,-3.351732 C 10.424213,3.8620084 9.4888469,3.3943249 8.3975852,3.3163776 7.3842712,3.2384303 6.2930095,3.4722722 5.4355898,4.0958503 4.57817,4.7194282 3.9545922,5.5768479 3.642803,6.6681096 3.331014,7.6814237 3.331014,8.7726853 3.7986976,9.7859997 c 0.4676835,1.0133133 1.1692086,1.7927863 2.1045757,2.3384173 0.935367,0.54563 2.0266284,0.701525 3.0399428,0.467683 z M 8.007849,7.6034766 9.8785831,5.6547952 10.424213,6.2004261 8.5534798,8.1491072 10.424213,10.097788 9.8785831,10.643419 8.007849,8.694738 6.1371152,10.643419 5.5914844,10.097788 7.4622184,8.1491072 5.5914844,6.2004261 6.1371152,5.6547952 Z"
-     id="path1"
-     style="fill:#e51400;fill-opacity:1;stroke-width:0.779473"
-     sodipodi:nodetypes="scscsssccssccscscsssccccccccccccc"
-     clip-path="url(#clipPath15)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.58139"
-     id="rect2-5"
-     width="1.0011008"
-     height="4.0295243"
-     x="7.4994497"
-     y="-0.93362951"
-     clip-path="url(#clipPath13)"
-     transform="scale(1,1.0638267)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.97609"
-     id="rect3"
-     width="4.3305449"
-     height="1"
-     x="13.114391"
-     y="7.5"
-     clip-path="url(#clipPath12)"
-     transform="matrix(1.1942224,0,0,1,-3.1075589,0)" />
-</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-light.svg DELETED Viewed

@@ -1,91 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg
-   width="16"
-   height="16"
-   viewBox="0 0 16 16"
-   fill="currentColor"
-   version="1.1"
-   id="svg1"
-   sodipodi:docname="error-light.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   inkscape:export-filename="error-t-passthrough-light-2.svg"
-   inkscape:export-xdpi="96"
-   inkscape:export-ydpi="96"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs1">
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath13">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect13"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath14">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect14"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath15">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect15"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-  </defs>
-  <sodipodi:namedview
-     id="namedview1"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="45.254834"
-     inkscape:cx="-0.22097087"
-     inkscape:cy="8.1648736"
-     inkscape:window-width="3838"
-     inkscape:window-height="2128"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="0"
-     inkscape:current-layer="svg1" />
-  <path
-     fill-rule="evenodd"
-     clip-rule="evenodd"
-     d="m 8.5534798,2.5369052 c 1.247156,0.077947 2.4163642,0.7015251 3.2737842,1.5589451 1.013314,1.0912614 1.558945,2.4163647 1.558945,3.9753096 0,1.2471562 -0.467684,2.4163641 -1.247156,3.4296791 -0.779473,0.935366 -1.870734,1.636892 -3.1178896,1.870734 -1.247156,0.233841 -2.494312,0.07795 -3.5855736,-0.545631 C 4.3443284,12.202364 3.4869086,11.266997 3.0192251,10.097788 2.5515416,8.9285796 2.4735943,7.6034766 2.8633305,6.4342677 3.2530667,5.1871117 3.9545922,4.1737974 5.0458535,3.4722722 6.0591679,2.7707471 7.3063239,2.4589579 8.5534798,2.5369052 Z M 8.9432161,12.5921 c 1.0133143,-0.233842 1.9486809,-0.779472 2.6502059,-1.636892 0.623578,-0.85742 1.013314,-1.8707338 0.935367,-2.9619951 0,-1.2471563 -0.467684,-2.4943123 -1.325103,-3.351732 C 10.424213,3.8620084 9.4888469,3.3943249 8.3975852,3.3163776 7.3842712,3.2384303 6.2930095,3.4722722 5.4355898,4.0958503 4.57817,4.7194282 3.9545922,5.5768479 3.642803,6.6681096 3.331014,7.6814237 3.331014,8.7726853 3.7986976,9.7859997 c 0.4676835,1.0133133 1.1692086,1.7927863 2.1045757,2.3384173 0.935367,0.54563 2.0266284,0.701525 3.0399428,0.467683 z M 8.007849,7.6034766 9.8785831,5.6547952 10.424213,6.2004261 8.5534798,8.1491072 10.424213,10.097788 9.8785831,10.643419 8.007849,8.694738 6.1371152,10.643419 5.5914844,10.097788 7.4622184,8.1491072 5.5914844,6.2004261 6.1371152,5.6547952 Z"
-     id="path1"
-     style="fill:#e51400;fill-opacity:1;stroke-width:0.779473"
-     sodipodi:nodetypes="scscsssccssccscscsssccccccccccccc"
-     clip-path="url(#clipPath15)" />
-</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-dark.svg DELETED Viewed

@@ -1,123 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg
-   width="16"
-   height="16"
-   viewBox="0 0 16 16"
-   fill="currentColor"
-   version="1.1"
-   id="svg1"
-   sodipodi:docname="error-t-dark.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   inkscape:export-filename="error-t-passthrough-light-2.svg"
-   inkscape:export-xdpi="96"
-   inkscape:export-ydpi="96"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs1">
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath13">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect13"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath14">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect14"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath15">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect15"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath16">
-      <rect
-         style="fill:none;stroke-width:0.58283"
-         id="rect17"
-         width="5.4350572"
-         height="16"
-         x="10.564943"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath17">
-      <rect
-         style="fill:none;stroke-width:0.43627"
-         id="rect18"
-         width="16"
-         height="3.0452998"
-         x="0"
-         y="0" />
-    </clipPath>
-  </defs>
-  <sodipodi:namedview
-     id="namedview1"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="45.254834"
-     inkscape:cx="-5.1817669"
-     inkscape:cy="15.69998"
-     inkscape:window-width="3838"
-     inkscape:window-height="2128"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="0"
-     inkscape:current-layer="svg1" />
-  <rect
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.58139"
-     id="rect2-5"
-     width="1.0011008"
-     height="4.0295243"
-     x="7.4994497"
-     y="-0.93362951"
-     clip-path="url(#clipPath17)"
-     transform="scale(1,5.2539984)" />
-  <rect
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.97609"
-     id="rect3"
-     width="4.3305449"
-     height="1"
-     x="13.114391"
-     y="7.5"
-     clip-path="url(#clipPath16)"
-     transform="matrix(2.9438512,0,0,1,-31.10162,0)" />
-</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-light.svg DELETED Viewed

@@ -1,123 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg
-   width="16"
-   height="16"
-   viewBox="0 0 16 16"
-   fill="currentColor"
-   version="1.1"
-   id="svg1"
-   sodipodi:docname="error-t-light.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   inkscape:export-filename="error-t-passthrough-light-2.svg"
-   inkscape:export-xdpi="96"
-   inkscape:export-ydpi="96"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs1">
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath13">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect13"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath14">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect14"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath15">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect15"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath16">
-      <rect
-         style="fill:none;stroke-width:0.58283"
-         id="rect17"
-         width="5.4350572"
-         height="16"
-         x="10.564943"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath17">
-      <rect
-         style="fill:none;stroke-width:0.43627"
-         id="rect18"
-         width="16"
-         height="3.0452998"
-         x="0"
-         y="0" />
-    </clipPath>
-  </defs>
-  <sodipodi:namedview
-     id="namedview1"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="45.254834"
-     inkscape:cx="-5.1928154"
-     inkscape:cy="15.69998"
-     inkscape:window-width="3838"
-     inkscape:window-height="2128"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="0"
-     inkscape:current-layer="svg1" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.58139"
-     id="rect2-5"
-     width="1.0011008"
-     height="4.0295243"
-     x="7.4994497"
-     y="-0.93362951"
-     clip-path="url(#clipPath17)"
-     transform="scale(1,5.2539984)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.97609"
-     id="rect3"
-     width="4.3305449"
-     height="1"
-     x="13.114391"
-     y="7.5"
-     clip-path="url(#clipPath16)"
-     transform="matrix(2.9438512,0,0,1,-31.10162,0)" />
-</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-dark.svg DELETED Viewed

@@ -1,118 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg
-   width="16"
-   height="16"
-   viewBox="0 0 16 16"
-   fill="currentColor"
-   version="1.1"
-   id="svg1"
-   sodipodi:docname="error-t-passthrough-dark.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   inkscape:export-filename="error-t-passthrough-light-2.svg"
-   inkscape:export-xdpi="96"
-   inkscape:export-ydpi="96"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs1">
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath13">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect13"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath14">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect14"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath15">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect15"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-  </defs>
-  <sodipodi:namedview
-     id="namedview1"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="45.254834"
-     inkscape:cx="-0.23201941"
-     inkscape:cy="8.1648736"
-     inkscape:window-width="3838"
-     inkscape:window-height="2128"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="0"
-     inkscape:current-layer="svg1" />
-  <path
-     fill-rule="evenodd"
-     clip-rule="evenodd"
-     d="m 8.5534798,2.5369052 c 1.247156,0.077947 2.4163642,0.7015251 3.2737842,1.5589451 1.013314,1.0912614 1.558945,2.4163647 1.558945,3.9753096 0,1.2471562 -0.467684,2.4163641 -1.247156,3.4296791 -0.779473,0.935366 -1.870734,1.636892 -3.1178896,1.870734 -1.247156,0.233841 -2.494312,0.07795 -3.5855736,-0.545631 C 4.3443284,12.202364 3.4869086,11.266997 3.0192251,10.097788 2.5515416,8.9285796 2.4735943,7.6034766 2.8633305,6.4342677 3.2530667,5.1871117 3.9545922,4.1737974 5.0458535,3.4722722 6.0591679,2.7707471 7.3063239,2.4589579 8.5534798,2.5369052 Z M 8.9432161,12.5921 c 1.0133143,-0.233842 1.9486809,-0.779472 2.6502059,-1.636892 0.623578,-0.85742 1.013314,-1.8707338 0.935367,-2.9619951 0,-1.2471563 -0.467684,-2.4943123 -1.325103,-3.351732 C 10.424213,3.8620084 9.4888469,3.3943249 8.3975852,3.3163776 7.3842712,3.2384303 6.2930095,3.4722722 5.4355898,4.0958503 4.57817,4.7194282 3.9545922,5.5768479 3.642803,6.6681096 3.331014,7.6814237 3.331014,8.7726853 3.7986976,9.7859997 c 0.4676835,1.0133133 1.1692086,1.7927863 2.1045757,2.3384173 0.935367,0.54563 2.0266284,0.701525 3.0399428,0.467683 z M 8.007849,7.6034766 9.8785831,5.6547952 10.424213,6.2004261 8.5534798,8.1491072 10.424213,10.097788 9.8785831,10.643419 8.007849,8.694738 6.1371152,10.643419 5.5914844,10.097788 7.4622184,8.1491072 5.5914844,6.2004261 6.1371152,5.6547952 Z"
-     id="path1"
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:0.779473"
-     sodipodi:nodetypes="scscsssccssccscscsssccccccccccccc"
-     clip-path="url(#clipPath15)" />
-  <rect
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.35524"
-     id="rect2"
-     width="1.0011008"
-     height="2.959403"
-     x="7.4994497"
-     y="13.324205"
-     clip-path="url(#clipPath14)"
-     transform="matrix(1,0,0,1.2320548,0,-3.7128776)" />
-  <rect
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.58139"
-     id="rect2-5"
-     width="1.0011008"
-     height="4.0295243"
-     x="7.4994497"
-     y="-0.93362951"
-     clip-path="url(#clipPath13)"
-     transform="scale(1,1.0638267)" />
-  <rect
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.97609"
-     id="rect3"
-     width="4.3305449"
-     height="1"
-     x="13.114391"
-     y="7.5"
-     clip-path="url(#clipPath12)"
-     transform="matrix(1.1942224,0,0,1,-3.1075589,0)" />
-</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-light.svg DELETED Viewed

@@ -1,118 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg
-   width="16"
-   height="16"
-   viewBox="0 0 16 16"
-   fill="currentColor"
-   version="1.1"
-   id="svg1"
-   sodipodi:docname="error-t-passthrough-light.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   inkscape:export-filename="error-t-passthrough-light-2.svg"
-   inkscape:export-xdpi="96"
-   inkscape:export-ydpi="96"
-   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
-   xmlns="http://www.w3.org/2000/svg"
-   xmlns:svg="http://www.w3.org/2000/svg">
-  <defs
-     id="defs1">
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath13">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect13"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath14">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect14"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath15">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect15"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-  </defs>
-  <sodipodi:namedview
-     id="namedview1"
-     pagecolor="#ffffff"
-     bordercolor="#000000"
-     borderopacity="0.25"
-     inkscape:showpageshadow="2"
-     inkscape:pageopacity="0.0"
-     inkscape:pagecheckerboard="0"
-     inkscape:deskcolor="#d1d1d1"
-     inkscape:zoom="45.254834"
-     inkscape:cx="-0.22097087"
-     inkscape:cy="8.1648736"
-     inkscape:window-width="3838"
-     inkscape:window-height="2128"
-     inkscape:window-x="0"
-     inkscape:window-y="0"
-     inkscape:window-maximized="0"
-     inkscape:current-layer="svg1" />
-  <path
-     fill-rule="evenodd"
-     clip-rule="evenodd"
-     d="m 8.5534798,2.5369052 c 1.247156,0.077947 2.4163642,0.7015251 3.2737842,1.5589451 1.013314,1.0912614 1.558945,2.4163647 1.558945,3.9753096 0,1.2471562 -0.467684,2.4163641 -1.247156,3.4296791 -0.779473,0.935366 -1.870734,1.636892 -3.1178896,1.870734 -1.247156,0.233841 -2.494312,0.07795 -3.5855736,-0.545631 C 4.3443284,12.202364 3.4869086,11.266997 3.0192251,10.097788 2.5515416,8.9285796 2.4735943,7.6034766 2.8633305,6.4342677 3.2530667,5.1871117 3.9545922,4.1737974 5.0458535,3.4722722 6.0591679,2.7707471 7.3063239,2.4589579 8.5534798,2.5369052 Z M 8.9432161,12.5921 c 1.0133143,-0.233842 1.9486809,-0.779472 2.6502059,-1.636892 0.623578,-0.85742 1.013314,-1.8707338 0.935367,-2.9619951 0,-1.2471563 -0.467684,-2.4943123 -1.325103,-3.351732 C 10.424213,3.8620084 9.4888469,3.3943249 8.3975852,3.3163776 7.3842712,3.2384303 6.2930095,3.4722722 5.4355898,4.0958503 4.57817,4.7194282 3.9545922,5.5768479 3.642803,6.6681096 3.331014,7.6814237 3.331014,8.7726853 3.7986976,9.7859997 c 0.4676835,1.0133133 1.1692086,1.7927863 2.1045757,2.3384173 0.935367,0.54563 2.0266284,0.701525 3.0399428,0.467683 z M 8.007849,7.6034766 9.8785831,5.6547952 10.424213,6.2004261 8.5534798,8.1491072 10.424213,10.097788 9.8785831,10.643419 8.007849,8.694738 6.1371152,10.643419 5.5914844,10.097788 7.4622184,8.1491072 5.5914844,6.2004261 6.1371152,5.6547952 Z"
-     id="path1"
-     style="fill:#e51400;fill-opacity:1;stroke-width:0.779473"
-     sodipodi:nodetypes="scscsssccssccscscsssccccccccccccc"
-     clip-path="url(#clipPath15)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.35524"
-     id="rect2"
-     width="1.0011008"
-     height="2.959403"
-     x="7.4994497"
-     y="13.324205"
-     clip-path="url(#clipPath14)"
-     transform="matrix(1,0,0,1.2320548,0,-3.7128776)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.58139"
-     id="rect2-5"
-     width="1.0011008"
-     height="4.0295243"
-     x="7.4994497"
-     y="-0.93362951"
-     clip-path="url(#clipPath13)"
-     transform="scale(1,1.0638267)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.97609"
-     id="rect3"
-     width="4.3305449"
-     height="1"
-     x="13.114391"
-     y="7.5"
-     clip-path="url(#clipPath12)"
-     transform="matrix(1.1942224,0,0,1,-3.1075589,0)" />
-</svg>