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/goals-accomplished-tada-t-passthrough-light.svg DELETED Viewed

@@ -1,215 +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="goals-accomplished-tada-t-passthrough-light.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   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="clipPath2">
-      <rect
-         style="fill:none"
-         id="rect4"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath4">
-      <rect
-         style="fill:none"
-         id="rect5"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath5">
-      <rect
-         style="fill:none"
-         id="rect6"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath6">
-      <rect
-         style="fill:none"
-         id="rect7"
-         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="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="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="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         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="16"
-     inkscape:cx="-0.03125"
-     inkscape:cy="14.65625"
-     inkscape:window-width="1918"
-     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.30379"
-     id="rect1-7"
-     width="1"
-     height="2.3373294"
-     x="7.5"
-     y="-0.082031257"
-     inkscape:transform-center-x="-0.3125"
-     inkscape:transform-center-y="2.7202962"
-     clip-path="url(#clipPath6)"
-     transform="scale(1,0.88674101)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.45406"
-     id="rect3"
-     width="5.2857399"
-     height="1"
-     x="11.357333"
-     y="7.5"
-     clip-path="url(#clipPath5)"
-     transform="matrix(0.43069631,0,0,1,9.108859,0)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.6605"
-     id="rect1"
-     width="1"
-     height="3.7912476"
-     x="7.5"
-     y="13.002536"
-     inkscape:transform-center-x="-0.3125"
-     inkscape:transform-center-y="3.3201495"
-     clip-path="url(#clipPath4)"
-     transform="matrix(1,0,0,0.66723066,0,5.3243094)" />
-  <g
-     id="g14"
-     transform="matrix(0.10934699,0,0,0.10934699,1.0016457,1.0005279)">
-    <path
-       d="m 72.59,58.36 c -0.65,1.18 -1.3,2.37 -1.92,3.55 l -0.52,0.98 -0.05,0.08 c 1.83,2.43 3.4,5.04 4.64,7.69 0.18,0.37 0.35,0.75 0.52,1.13 1.77,-0.52 3.55,-0.81 5.29,-0.88 -1.31,-3.47 -3.33,-7.07 -6.3,-10.71 -0.52,-0.63 -1.09,-1.23 -1.66,-1.84 z"
-       style="fill:#fcc21b"
-       id="path1" />
-    <path
-       d="m 77.93,85.16 c -0.37,0 -0.75,0.02 -1.13,0.06 -2.07,6.54 -8.79,9.4 -15.89,8.52 C 49.76,92.37 39.53,83.89 36.1,73.24 35.4,71.11 35.16,68.99 35.08,66.73 34.88,60.91 36,54.68 41.83,52.27 l 0.07,-0.03 c 0.19,-0.08 0.38,-0.13 0.57,-0.19 C 42.05,51.42 41.62,50.76 41.21,50.03 40.63,49 40.28,47.91 40.07,46.85 33.82,49.03 30.01,54.55 27.34,60.63 24.79,66.45 8.22,111.2 8.22,111.2 l -2.22,6 c -0.76,2.08 -1.94,4.17 -1.94,6.44 0,2.65 2.36,4.46 5.02,3.72 1.78,-0.5 3.74,-1.42 5.55,-2.14 3.83,-1.56 10.93,-4.63 10.93,-4.63 l 29.68,-12.22 c 0,0 14.31,-5.18 20.33,-10.85 2.92,-2.75 5.26,-6.71 6.29,-11.44 -0.21,-0.11 -0.43,-0.23 -0.65,-0.32 -1,-0.41 -2.07,-0.6 -3.28,-0.6 z"
-       style="fill:#fcc21b"
-       id="path2" />
-    <path
-       d="m 55.68,47.54 c 0.77,1.47 1.62,3.14 1.94,5.21 1.42,0.6 2.78,1.32 4.07,2.17 0.45,-1.44 0.92,-2.86 1.41,-4.31 -0.21,-0.13 -0.42,-0.28 -0.63,-0.4 -2.11,-1.2 -4.48,-2.22 -6.95,-2.98 0.06,0.11 0.11,0.2 0.16,0.31 z"
-       style="fill:#fcc21b"
-       id="path3-5" />
-    <path
-       d="m 111.93,31.98 c -0.16,1 -0.12,2.42 0.04,3.4 0.17,1.1 0.42,2.27 0.82,3.31 0.57,1.46 1.27,0.95 2.7,0.75 0.99,-0.13 1.91,-0.06 2.89,-0.26 1.03,-0.21 2.05,-0.48 3.08,-0.68 2.42,-0.46 3.63,-1 3.12,-3.55 -0.37,-1.84 -0.98,-3.67 -1.46,-5.49 -0.44,-0.39 -1.29,-0.17 -1.81,-0.05 -0.92,0.21 -1.83,0.26 -2.75,0.42 -1.66,0.27 -3.4,0.47 -5.03,0.86 -0.83,0.18 -1.47,0.43 -1.6,1.29 z"
-       style="fill:#d7598b"
-       id="path4-3" />
-    <path
-       d="m 98.87,62 c 0.38,0.87 1.31,0.65 2.22,0.85 2.02,0.46 4.07,0.41 6.14,0.41 0.77,0 2.72,0.29 3.27,-0.4 0.44,-0.56 0.06,-1.67 0,-2.32 -0.08,-0.85 -0.16,-1.69 -0.24,-2.54 -0.04,-0.4 0.03,-3.02 -0.31,-3.24 -0.58,-0.39 -1.68,-0.2 -2.34,-0.19 -1.21,0.04 -2.4,0.19 -3.63,0.19 -1.59,0 -3.31,0.02 -4.85,0.4 -0.54,1.43 -0.39,2.92 -0.39,4.49 0,0.73 -0.16,1.67 0.13,2.35 z"
-       style="fill:#40c0e7"
-       id="path5-5" />
-    <path
-       d="m 91.92,105.19 c -0.83,-1.23 -1.24,-2.88 -3.09,-2.7 -1.74,0.17 -3.28,1.55 -4.81,2.3 -0.99,0.48 -1.71,1.34 -1.91,2.42 -0.23,1.23 0.28,2.21 0.87,3.26 0.44,0.79 0.73,1.7 1.08,2.53 0.36,0.86 0.91,1.63 1.28,2.48 0.25,0.6 0.17,0.55 0.72,0.76 0.28,0.1 0.74,0.18 1.04,0.19 1.75,0.05 3.65,-1.72 4.92,-2.76 1.02,-0.82 3.06,-1.34 2.85,-2.89 -0.15,-1.15 -0.95,-2.26 -1.5,-3.25 -0.46,-0.81 -0.95,-1.59 -1.45,-2.34 z"
-       style="fill:#d7598b"
-       id="path6" />
-    <path
-       d="m 111.46,113.59 c -0.23,-0.15 -0.45,-0.24 -0.65,-0.27 -1.06,-0.19 -1.76,1.09 -2.6,1.92 -1.01,0.97 -2.21,1.74 -3.13,2.8 -0.99,1.16 -0.22,2.2 0.8,2.82 1.11,0.67 2.1,1.51 3.2,2.21 0.98,0.63 1.77,1.19 2.86,0.51 0.99,-0.62 1.54,-1.71 2.22,-2.62 1.26,-1.7 3.41,-3.07 1.3,-4.94 -1.18,-1.05 -2.7,-1.57 -4,-2.43 z"
-       style="fill:#40c0e7"
-       id="path7" />
-    <path
-       d="M 9,55.06 C 9.05,54.6 10.35,50.92 9.96,50.81 9.07,50.59 8.23,50.17 7.33,49.93 6.29,49.66 5.22,49.45 4.25,48.97 3.08,48.39 2.36,48.68 1.87,49.33 1.18,50.25 0.96,51.9 0.63,52.91 0.37,53.7 0.21,54.6 0.77,55.16 c 0.64,0.63 1.7,0.99 2.53,1.26 1.04,0.34 2.2,0.94 3.27,1.04 1.46,0.16 2.28,-1.16 2.43,-2.4 z"
-       style="fill:#40c0e7"
-       id="path8" />
-    <path
-       d="m 68.63,19.54 c 1.3,0.58 2.56,0.91 3.89,1.29 0.47,0.14 0.77,0.37 1.26,0.11 0.63,-0.32 1.33,-1.43 1.68,-2.04 0.83,-1.51 1.44,-3 2.01,-4.59 0.31,-0.85 1.23,-2.23 1,-3.13 C 78.27,10.42 77.17,9.95 76.55,9.62 75.72,9.19 74.93,8.61 74.09,8.24 73.01,7.77 71.53,7.26 70.37,7.09 c -0.64,-0.1 -1.09,0.16 -1.44,0.57 -0.32,0.37 -0.56,0.86 -0.8,1.31 -1.21,2.32 -2.7,5.81 -2.65,8.49 0.02,1.27 2.19,1.65 3.15,2.08 z"
-       style="fill:#40c0e7"
-       id="path9" />
-    <path
-       d="m 16.65,33.3 c 0.73,1.12 1.38,2.14 2.24,3.2 0.84,1.02 1.44,1.22 2.47,0.37 0.65,-0.52 1.39,-0.93 2.01,-1.49 0.59,-0.52 1.08,-1.18 1.67,-1.72 0.42,-0.39 1.25,-0.78 1.49,-1.32 0.33,-0.76 -0.36,-1.42 -0.78,-1.98 -0.52,-0.7 -0.92,-1.46 -1.49,-2.16 -0.73,-0.88 -1.52,-1.71 -2.34,-2.53 -0.67,-0.67 -1.48,-1.7 -2.24,-2.22 -0.2,-0.13 -0.43,-0.22 -0.67,-0.25 -0.91,-0.13 -1.99,0.39 -2.7,0.81 -0.97,0.57 -1.91,1.42 -2.76,2.17 -1.33,1.18 -0.04,2.73 0.74,3.85 0.78,1.08 1.62,2.13 2.36,3.27 z"
-       style="fill:#d7598b"
-       id="path10" />
-    <path
-       d="m 16.73,9.97 c 0.67,0.72 1.5,1.59 2.44,2 0.83,0.37 1.68,-0.37 2.35,-0.78 0.75,-0.46 1.36,-1.13 1.92,-1.8 C 23.95,8.77 24.64,8.1 25.02,7.38 25.46,6.56 24.86,6.25 24.25,5.76 23.52,5.16 22.78,4.54 22.16,3.82 21.32,2.84 20.48,1.74 19.59,0.84 19.29,0.53 18.93,0.45 18.55,0.52 c -1.19,0.2 -2.6,1.87 -3.3,2.42 -0.56,0.43 -1.54,1.19 -1.71,1.9 -0.21,0.8 0.26,1.57 0.66,2.24 0.65,1.08 1.65,1.95 2.53,2.89 z"
-       style="fill:#40c0e7"
-       id="path11" />
-    <path
-       d="m 45.86,29.19 c 1.38,4.78 -2.3,8.47 -2.7,13 -0.12,1.31 -0.12,2.62 0.1,3.88 0.14,0.82 0.37,1.62 0.78,2.35 0.54,0.96 1.16,1.83 1.73,2.73 0.56,0.87 1.06,1.75 1.4,2.76 0.75,2.24 0.23,4.26 -0.09,6.48 -0.26,1.77 -1.16,3.44 -2.24,4.84 -0.33,0.43 -1.24,0.98 -1.02,1.61 0.03,0.11 0.23,0.15 0.52,0.15 1.2,0 4.03,-0.73 4.44,-0.92 1.8,-0.87 2.85,-2.63 3.78,-4.33 1.38,-2.52 2.27,-5.46 1.88,-8.35 -0.08,-0.66 -0.26,-1.28 -0.48,-1.88 -0.67,-1.79 -1.78,-3.39 -2.41,-5.22 -0.08,-0.22 -0.16,-0.44 -0.22,-0.67 -0.92,-3.58 1.29,-7.09 3.15,-9.94 C 56.31,32.89 57,28.79 55.7,25.59 55.04,23.97 53.98,22.35 52.69,21.16 51.16,19.74 48.83,18.45 49.09,16 49.31,13.87 50.75,11.63 51.84,9.87 52.38,8.98 54.08,7.16 54.02,6.14 53.97,5.1 52.52,4.58 51.83,3.97 50.27,2.59 49.03,1.53 47.03,0.9 46.67,0.78 46.37,0.73 46.09,0.73 c -1.29,0 -1.74,1.17 -2.46,2.43 -1.32,2.33 -2.62,4.79 -3.5,7.31 -1.66,4.68 -1.91,9.51 1.68,13.89 1.24,1.53 3.53,3.03 4.05,4.83 z"
-       style="fill:#ed6c30"
-       id="path12" />
-    <path
-       d="m 62.08,69.54 c 0.25,0.26 0.48,0.37 0.69,0.37 0.39,0 0.7,-0.4 0.95,-0.87 0.19,-0.36 0.34,-0.73 0.46,-1.12 0.67,-2.25 2,-4.48 3.1,-6.56 0.2,-0.37 0.4,-0.73 0.59,-1.09 0.76,-1.43 1.54,-2.86 2.35,-4.28 0.63,-1.12 1.26,-2.25 1.94,-3.33 1.78,-2.85 4.18,-5.89 7.2,-7.48 1.9,-1.02 4.04,-1.49 5.95,-2.5 2.17,-1.13 3.44,-2.84 4.85,-4.79 1.4,-1.93 2.13,-4.31 3.41,-6.34 0.54,-0.86 0.46,-1.62 1.41,-2.22 2.11,-1.32 4.64,-0.87 6.98,-1.32 5.53,-1.06 6.02,-8.35 10.54,-10.98 0.95,-0.55 1.92,-1.06 2.88,-1.57 0.56,-0.3 1.64,-0.67 2.03,-1.22 0.67,-0.94 -0.6,-2.17 -0.98,-3.03 -0.66,-1.48 -1.65,-2.97 -2.5,-4.35 -0.72,-1.16 -1.36,-2.21 -2.64,-2.21 l -0.25,0.02 c -2.89,0.28 -5.47,1.55 -7.32,3.76 -2.25,2.7 -2.55,6.87 -6.09,8.35 -2.3,0.96 -5.01,0.58 -7.19,1.91 -2.58,1.58 -3.41,4.7 -4.13,7.44 -0.54,2 -0.57,4.41 -2.09,5.98 -2.06,2.11 -5.19,2.37 -7.83,3.5 -0.71,0.31 -1.39,0.68 -2,1.16 -3.35,2.64 -5.25,6.97 -6.75,10.85 -0.61,1.59 -1.16,3.21 -1.7,4.83 -0.5,1.51 -0.99,3.02 -1.46,4.54 -0.24,0.78 -0.5,1.56 -0.74,2.35 -0.61,1.98 -1.17,4.01 -1.89,5.96 -0.5,1.25 -0.81,3.16 0.23,4.24 z"
-       style="fill:#ed6c30"
-       id="path13" />
-    <path
-       d="m 127.44,86.8 c -0.19,-0.2 -0.46,-0.22 -0.73,-0.22 l -0.31,0.01 -0.17,-0.01 c -0.6,-0.04 -1.1,-0.3 -1.68,-0.5 -2.67,-0.93 -4.4,-1.7 -6.76,-3.29 -2.66,-1.79 -5.71,-3.46 -8.99,-3.61 l -0.38,-0.01 c -3.24,0 -6.23,1.71 -9.48,1.71 H 98.92 C 95.32,80.86 92.21,78.3 89.37,76.41 89.13,76.25 88.89,76.1 88.63,75.96 86.4,74.7 84,74.15 81.58,74.12 c -0.06,0 -0.13,-0.02 -0.19,-0.02 -1.67,0 -3.35,0.26 -4.99,0.72 -1.6,0.44 -3.15,1.08 -4.63,1.87 -2.11,1.12 -4.14,2.47 -5.99,3.97 -1.03,0.83 -2.16,1.78 -2.86,2.93 -0.38,0.61 -0.9,2.93 0.07,3.31 l 0.13,0.03 c 0.38,0 1,-0.4 1.27,-0.57 2.16,-1.33 4.44,-2.49 6.87,-3.25 1.99,-0.63 4.08,-1.09 6.15,-1.17 0.17,-0.01 0.35,-0.02 0.52,-0.02 1.49,0 2.97,0.23 4.41,0.79 0.02,0.01 0.04,0.02 0.06,0.03 2.01,0.8 3.69,2.18 5.35,3.53 2.44,1.98 5.15,2.42 7.91,2.42 2.15,0 4.33,-0.26 6.46,-0.26 2.23,0 4.39,0.29 6.38,1.46 1.62,0.97 3.08,2.24 4.33,3.59 1.38,1.47 3.14,2.7 5.21,3.02 0.88,0.14 1.68,0.21 2.57,0.22 h 0.02 c 1.5,0 2.07,-1.73 2.83,-2.72 1.04,-1.34 1.76,-2.88 2.71,-4.29 0.4,-0.62 1.95,-2.23 1.27,-2.91 z"
-       style="fill:#ed6c30"
-       id="path14" />
-  </g>
-</svg>

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

@@ -1,132 +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="warning-dark.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   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="clipPath2">
-      <rect
-         style="fill:none"
-         id="rect4"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath4">
-      <rect
-         style="fill:none"
-         id="rect5"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath5">
-      <rect
-         style="fill:none"
-         id="rect6"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath6">
-      <rect
-         style="fill:none"
-         id="rect7"
-         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="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="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="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         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="2.8615728"
-     inkscape:cy="8.010194"
-     inkscape:window-width="1918"
-     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 7.5699999,0.99447573 H 8.45 l 6.54,12.26000027 -0.44,0.74 H 1.4499999 L 1.01,13.254476 Z m 0.44,1.27999997 -5.72,10.7200003 H 13.71 Z m 0.625,9.7200003 v -1 h -1.25 v 1 z m -1.25,-2.0000003 v -4 h 1.25 v 4 z"
-     id="path1"
-     style="fill:#cca700;fill-opacity:1;stroke:none;stroke-opacity:1"
-     clip-path="url(#clipPath2)"
-     transform="matrix(0.91780769,0,0,0.91780769,0.65753849,0.6159883)" />
-</svg>

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

@@ -1,154 +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="warning-i-passthrough-dark.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   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="clipPath2">
-      <rect
-         style="fill:none"
-         id="rect4"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath4">
-      <rect
-         style="fill:none"
-         id="rect5"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath5">
-      <rect
-         style="fill:none"
-         id="rect6"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath6">
-      <rect
-         style="fill:none"
-         id="rect7"
-         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="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="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="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         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="2.8615728"
-     inkscape:cy="8.010194"
-     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.30379"
-     id="rect1-7"
-     width="1"
-     height="2.3373294"
-     x="7.5"
-     y="-0.082031257"
-     inkscape:transform-center-x="-0.3125"
-     inkscape:transform-center-y="3.6613784"
-     clip-path="url(#clipPath6)"
-     transform="scale(1,1.1935077)" />
-  <rect
-     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.6605"
-     id="rect1"
-     width="1"
-     height="3.7912476"
-     x="7.5"
-     y="13.002536"
-     inkscape:transform-center-x="-0.3125"
-     inkscape:transform-center-y="5.676359"
-     clip-path="url(#clipPath4)"
-     transform="matrix(1,0,0,1.140744,0,-2.2519035)" />
-  <path
-     fill-rule="evenodd"
-     clip-rule="evenodd"
-     d="M 7.5699999,0.99447573 H 8.45 l 6.54,12.26000027 -0.44,0.74 H 1.4499999 L 1.01,13.254476 Z m 0.44,1.27999997 -5.72,10.7200003 H 13.71 Z m 0.625,9.7200003 v -1 h -1.25 v 1 z m -1.25,-2.0000003 v -4 h 1.25 v 4 z"
-     id="path1"
-     style="fill:#cca700;fill-opacity:1;stroke:none;stroke-opacity:1"
-     clip-path="url(#clipPath2)"
-     transform="matrix(0.91780769,0,0,0.91780769,0.65753849,0.6159883)" />
-</svg>

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

@@ -1,154 +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="warning-i-passthrough-light.svg"
-   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
-   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="clipPath2">
-      <rect
-         style="fill:none"
-         id="rect4"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath4">
-      <rect
-         style="fill:none"
-         id="rect5"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath5">
-      <rect
-         style="fill:none"
-         id="rect6"
-         width="16"
-         height="16"
-         x="0"
-         y="0" />
-    </clipPath>
-    <clipPath
-       clipPathUnits="userSpaceOnUse"
-       id="clipPath6">
-      <rect
-         style="fill:none"
-         id="rect7"
-         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="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="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="clipPath12">
-      <rect
-         style="display:inline;fill:none;stroke-width:1.00098"
-         id="rect12"
-         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="2.8615728"
-     inkscape:cy="8.010194"
-     inkscape:window-width="1918"
-     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.30379"
-     id="rect1-7"
-     width="1"
-     height="2.3373294"
-     x="7.5"
-     y="-0.082031257"
-     inkscape:transform-center-x="-0.3125"
-     inkscape:transform-center-y="3.6613784"
-     clip-path="url(#clipPath6)"
-     transform="scale(1,1.1935077)" />
-  <rect
-     style="fill:#e51400;fill-opacity:1;stroke-width:1.6605"
-     id="rect1"
-     width="1"
-     height="3.7912476"
-     x="7.5"
-     y="13.002536"
-     inkscape:transform-center-x="-0.3125"
-     inkscape:transform-center-y="5.676359"
-     clip-path="url(#clipPath4)"
-     transform="matrix(1,0,0,1.140744,0,-2.2519035)" />
-  <path
-     fill-rule="evenodd"
-     clip-rule="evenodd"
-     d="M 7.5699999,0.99447573 H 8.45 l 6.54,12.26000027 -0.44,0.74 H 1.4499999 L 1.01,13.254476 Z m 0.44,1.27999997 -5.72,10.7200003 H 13.71 Z m 0.625,9.7200003 v -1 h -1.25 v 1 z m -1.25,-2.0000003 v -4 h 1.25 v 4 z"
-     id="path1"
-     style="fill:#bf8803;fill-opacity:1;stroke:none;stroke-opacity:1"
-     clip-path="url(#clipPath2)"
-     transform="matrix(0.91780769,0,0,0.91780769,0.65753849,0.6159883)" />
-</svg>