lean4monaco 1.0.42 → 1.0.45

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-l-dark.svg

@@ -0,0 +1,123 @@
+<?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-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.977262"
+     inkscape:cy="12.761068"
+     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.001"
+     height="4.0295243"
+     x="7.4994497"
+     y="-0.93362951"
+     clip-path="url(#clipPath17)"
+     transform="scale(1,2.7903981)" />
+  <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-l-light.svg

@@ -0,0 +1,123 @@
+<?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-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.9662135"
+     inkscape:cy="12.761068"
+     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.001"
+     height="4.0295243"
+     x="7.4994497"
+     y="-0.93362951"
+     clip-path="url(#clipPath17)"
+     transform="scale(1,2.7903981)" />
+  <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-l-passthrough-dark.svg

@@ -0,0 +1,109 @@
+<?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-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.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-l-passthrough-light.svg

@@ -0,0 +1,109 @@
+<?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

@@ -0,0 +1,91 @@
+<?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

@@ -0,0 +1,123 @@
+<?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>