lean4monaco 1.0.43 → 1.0.45

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 (520) hide show
  1. package/README.md +1 -1
  2. package/dist/infowebview.d.ts +2 -2
  3. package/dist/infowebview.js +1 -1
  4. package/dist/leanmonaco.d.ts +4 -4
  5. package/dist/leanmonaco.js +7 -6
  6. package/dist/monacoleanclient.d.ts +1 -1
  7. package/dist/monacoleanclient.js +1 -1
  8. package/dist/preconditions.d.ts +2 -2
  9. package/dist/tsconfig.tsbuildinfo +1 -0
  10. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/keywords.transforms.json +83 -0
  11. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/keywords.variables.json +47 -0
  12. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.json +36 -0
  13. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.transforms.json +368 -0
  14. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.variables.json +149 -0
  15. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/dist/codicon.css +571 -0
  16. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/dist/codicon.svg +1 -0
  17. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/dist/codicon.ttf +0 -0
  18. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/package.json +34 -0
  19. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/account.svg +1 -0
  20. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/activate-breakpoints.svg +1 -0
  21. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/add.svg +1 -0
  22. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/archive.svg +1 -0
  23. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-both.svg +1 -0
  24. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-down.svg +1 -0
  25. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-left.svg +1 -0
  26. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-right.svg +1 -0
  27. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-up.svg +1 -0
  28. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-down.svg +1 -0
  29. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-left.svg +1 -0
  30. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-right.svg +1 -0
  31. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-down.svg +1 -0
  32. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-left.svg +1 -0
  33. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-right.svg +1 -0
  34. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-up.svg +1 -0
  35. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-swap.svg +1 -0
  36. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-up.svg +1 -0
  37. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/azure-devops.svg +1 -0
  38. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/azure.svg +1 -0
  39. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/beaker-stop.svg +1 -0
  40. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/beaker.svg +1 -0
  41. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell-dot.svg +1 -0
  42. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell-slash-dot.svg +1 -0
  43. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell-slash.svg +1 -0
  44. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell.svg +1 -0
  45. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/blank.svg +1 -0
  46. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bold.svg +1 -0
  47. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/book.svg +1 -0
  48. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bookmark.svg +1 -0
  49. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bracket-dot.svg +1 -0
  50. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bracket-error.svg +1 -0
  51. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/briefcase.svg +1 -0
  52. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/broadcast.svg +1 -0
  53. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/browser.svg +1 -0
  54. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bug.svg +1 -0
  55. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/calendar.svg +1 -0
  56. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/call-incoming.svg +1 -0
  57. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/call-outgoing.svg +1 -0
  58. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/case-sensitive.svg +1 -0
  59. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/check-all.svg +1 -0
  60. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/check.svg +1 -0
  61. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/checklist.svg +1 -0
  62. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-down.svg +1 -0
  63. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-left.svg +1 -0
  64. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-right.svg +1 -0
  65. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-up.svg +1 -0
  66. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-close.svg +1 -0
  67. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-maximize.svg +1 -0
  68. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-minimize.svg +1 -0
  69. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-restore.svg +1 -0
  70. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-filled.svg +1 -0
  71. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-large-filled.svg +1 -0
  72. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-large-outline.svg +1 -0
  73. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-outline.svg +1 -0
  74. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-slash.svg +1 -0
  75. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-small-filled.svg +1 -0
  76. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-small.svg +1 -0
  77. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circuit-board.svg +1 -0
  78. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/clear-all.svg +1 -0
  79. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/clippy.svg +1 -0
  80. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/close-all.svg +1 -0
  81. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/close.svg +1 -0
  82. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/cloud-download.svg +1 -0
  83. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/cloud-upload.svg +1 -0
  84. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/cloud.svg +1 -0
  85. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/code.svg +1 -0
  86. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/collapse-all.svg +1 -0
  87. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/color-mode.svg +1 -0
  88. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/combine.svg +1 -0
  89. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/comment-discussion.svg +1 -0
  90. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/comment-unresolved.svg +1 -0
  91. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/comment.svg +1 -0
  92. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/compass-active.svg +1 -0
  93. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/compass-dot.svg +1 -0
  94. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/compass.svg +1 -0
  95. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/copy.svg +1 -0
  96. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/credit-card.svg +1 -0
  97. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/dash.svg +1 -0
  98. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/dashboard.svg +1 -0
  99. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/database.svg +1 -0
  100. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-all.svg +1 -0
  101. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-alt-small.svg +1 -0
  102. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-alt.svg +1 -0
  103. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-conditional-unverified.svg +1 -0
  104. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-conditional.svg +1 -0
  105. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-data-unverified.svg +1 -0
  106. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-data.svg +1 -0
  107. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-function-unverified.svg +1 -0
  108. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-function.svg +1 -0
  109. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-log-unverified.svg +1 -0
  110. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-log.svg +1 -0
  111. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-unsupported.svg +1 -0
  112. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-console.svg +1 -0
  113. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-continue-small.svg +1 -0
  114. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-continue.svg +1 -0
  115. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-coverage.svg +1 -0
  116. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-disconnect.svg +1 -0
  117. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-line-by-line.svg +1 -0
  118. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-pause.svg +1 -0
  119. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-rerun.svg +1 -0
  120. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-restart-frame.svg +1 -0
  121. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-restart.svg +1 -0
  122. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-reverse-continue.svg +1 -0
  123. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-stackframe-active.svg +1 -0
  124. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-stackframe.svg +1 -0
  125. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-start.svg +1 -0
  126. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-back.svg +1 -0
  127. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-into.svg +1 -0
  128. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-out.svg +1 -0
  129. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-over.svg +1 -0
  130. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-stop.svg +1 -0
  131. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug.svg +1 -0
  132. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/desktop-download.svg +1 -0
  133. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/device-camera-video.svg +1 -0
  134. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/device-camera.svg +1 -0
  135. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/device-mobile.svg +1 -0
  136. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-added.svg +1 -0
  137. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-ignored.svg +1 -0
  138. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-modified.svg +1 -0
  139. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-removed.svg +1 -0
  140. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-renamed.svg +1 -0
  141. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff.svg +1 -0
  142. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/discard.svg +1 -0
  143. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/edit.svg +1 -0
  144. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/editor-layout.svg +1 -0
  145. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/ellipsis.svg +1 -0
  146. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/empty-window.svg +1 -0
  147. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/error-small.svg +1 -0
  148. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/error.svg +1 -0
  149. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/exclude.svg +1 -0
  150. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/expand-all.svg +1 -0
  151. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/export.svg +1 -0
  152. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/extensions.svg +1 -0
  153. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/eye-closed.svg +1 -0
  154. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/eye.svg +1 -0
  155. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/feedback.svg +1 -0
  156. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-binary.svg +1 -0
  157. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-code.svg +1 -0
  158. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-media.svg +1 -0
  159. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-pdf.svg +1 -0
  160. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-submodule.svg +1 -0
  161. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-symlink-directory.svg +1 -0
  162. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-symlink-file.svg +1 -0
  163. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-zip.svg +1 -0
  164. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file.svg +1 -0
  165. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/files.svg +1 -0
  166. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/filter-filled.svg +1 -0
  167. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/filter.svg +1 -0
  168. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/flame.svg +1 -0
  169. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/fold-down.svg +1 -0
  170. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/fold-up.svg +1 -0
  171. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/fold.svg +1 -0
  172. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder-active.svg +1 -0
  173. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder-library.svg +1 -0
  174. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder-opened.svg +1 -0
  175. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder.svg +1 -0
  176. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gear.svg +1 -0
  177. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gift.svg +1 -0
  178. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gist-secret.svg +1 -0
  179. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gist.svg +1 -0
  180. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-commit.svg +1 -0
  181. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-compare.svg +1 -0
  182. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-merge.svg +1 -0
  183. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-closed.svg +1 -0
  184. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-create.svg +1 -0
  185. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-draft.svg +1 -0
  186. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-go-to-changes.svg +1 -0
  187. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-new-changes.svg +1 -0
  188. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request.svg +1 -0
  189. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github-action.svg +1 -0
  190. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github-alt.svg +1 -0
  191. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github-inverted.svg +1 -0
  192. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github.svg +1 -0
  193. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/globe.svg +1 -0
  194. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/go-to-file.svg +1 -0
  195. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/grabber.svg +1 -0
  196. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph-left.svg +1 -0
  197. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph-line.svg +1 -0
  198. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph-scatter.svg +1 -0
  199. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph.svg +1 -0
  200. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gripper.svg +1 -0
  201. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/group-by-ref-type.svg +1 -0
  202. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/heart-filled.svg +1 -0
  203. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/heart.svg +1 -0
  204. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/history.svg +1 -0
  205. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/home.svg +1 -0
  206. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/horizontal-rule.svg +1 -0
  207. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/hubot.svg +1 -0
  208. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/inbox.svg +1 -0
  209. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/indent.svg +1 -0
  210. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/info.svg +1 -0
  211. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/inspect.svg +1 -0
  212. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/issue-draft.svg +1 -0
  213. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/issue-reopened.svg +1 -0
  214. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/issues.svg +1 -0
  215. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/italic.svg +1 -0
  216. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/jersey.svg +1 -0
  217. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/json.svg +1 -0
  218. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/kebab-vertical.svg +1 -0
  219. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/key.svg +1 -0
  220. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/law.svg +1 -0
  221. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layers-active.svg +1 -0
  222. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layers-dot.svg +1 -0
  223. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layers.svg +1 -0
  224. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-activitybar-left.svg +1 -0
  225. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-activitybar-right.svg +1 -0
  226. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-centered.svg +1 -0
  227. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-menubar.svg +1 -0
  228. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-center.svg +1 -0
  229. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-justify.svg +1 -0
  230. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-left.svg +1 -0
  231. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-off.svg +1 -0
  232. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-right.svg +1 -0
  233. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel.svg +1 -0
  234. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-left-off.svg +1 -0
  235. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-left.svg +1 -0
  236. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-right-off.svg +1 -0
  237. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-right.svg +1 -0
  238. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-statusbar.svg +1 -0
  239. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout.svg +1 -0
  240. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/library.svg +1 -0
  241. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lightbulb-autofix.svg +1 -0
  242. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lightbulb.svg +1 -0
  243. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/link-external.svg +1 -0
  244. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/link.svg +1 -0
  245. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-filter.svg +1 -0
  246. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-flat.svg +1 -0
  247. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-ordered.svg +1 -0
  248. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-selection.svg +1 -0
  249. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-tree.svg +1 -0
  250. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-unordered.svg +1 -0
  251. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/live-share.svg +1 -0
  252. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/loading.svg +1 -0
  253. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/location.svg +1 -0
  254. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lock-small.svg +1 -0
  255. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lock.svg +1 -0
  256. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/magnet.svg +1 -0
  257. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mail-read.svg +1 -0
  258. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mail.svg +1 -0
  259. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/map-filled.svg +1 -0
  260. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/map.svg +1 -0
  261. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/markdown.svg +1 -0
  262. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/megaphone.svg +1 -0
  263. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mention.svg +1 -0
  264. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/menu.svg +1 -0
  265. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/merge.svg +1 -0
  266. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/milestone.svg +1 -0
  267. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mirror.svg +1 -0
  268. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mortar-board.svg +1 -0
  269. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/move.svg +1 -0
  270. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/multiple-windows.svg +1 -0
  271. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mute.svg +1 -0
  272. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/new-file.svg +1 -0
  273. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/new-folder.svg +1 -0
  274. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/newline.svg +1 -0
  275. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/no-newline.svg +1 -0
  276. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/note.svg +1 -0
  277. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/notebook-template.svg +1 -0
  278. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/notebook.svg +1 -0
  279. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/octoface.svg +1 -0
  280. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/open-preview.svg +1 -0
  281. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/organization.svg +1 -0
  282. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/output.svg +1 -0
  283. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/package.svg +1 -0
  284. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/paintcan.svg +1 -0
  285. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pass-filled.svg +1 -0
  286. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pass.svg +1 -0
  287. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/person-add.svg +1 -0
  288. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/person.svg +1 -0
  289. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pie-chart.svg +1 -0
  290. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pin.svg +1 -0
  291. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pinned-dirty.svg +1 -0
  292. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pinned.svg +1 -0
  293. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/play-circle.svg +1 -0
  294. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/play.svg +1 -0
  295. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/plug.svg +1 -0
  296. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/preserve-case.svg +1 -0
  297. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/preview.svg +1 -0
  298. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/primitive-square.svg +1 -0
  299. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/project.svg +1 -0
  300. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pulse.svg +1 -0
  301. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/question.svg +1 -0
  302. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/quote.svg +1 -0
  303. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/radio-tower.svg +1 -0
  304. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/reactions.svg +1 -0
  305. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/record-keys.svg +1 -0
  306. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/record-small.svg +1 -0
  307. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/record.svg +1 -0
  308. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/redo.svg +1 -0
  309. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/references.svg +1 -0
  310. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/refresh.svg +1 -0
  311. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/regex.svg +1 -0
  312. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/remote-explorer.svg +1 -0
  313. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/remote.svg +1 -0
  314. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/remove.svg +1 -0
  315. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/replace-all.svg +1 -0
  316. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/replace.svg +1 -0
  317. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/reply.svg +1 -0
  318. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-clone.svg +1 -0
  319. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-force-push.svg +1 -0
  320. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-forked.svg +1 -0
  321. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-pull.svg +1 -0
  322. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-push.svg +1 -0
  323. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo.svg +1 -0
  324. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/report.svg +1 -0
  325. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/request-changes.svg +1 -0
  326. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/rocket.svg +1 -0
  327. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/root-folder-opened.svg +1 -0
  328. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/root-folder.svg +1 -0
  329. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/rss.svg +1 -0
  330. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/ruby.svg +1 -0
  331. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-above.svg +1 -0
  332. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-all.svg +1 -0
  333. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-below.svg +1 -0
  334. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-errors.svg +1 -0
  335. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/save-all.svg +1 -0
  336. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/save-as.svg +1 -0
  337. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/save.svg +1 -0
  338. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/screen-full.svg +1 -0
  339. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/screen-normal.svg +1 -0
  340. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/search-stop.svg +1 -0
  341. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/search.svg +1 -0
  342. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/server-environment.svg +1 -0
  343. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/server-process.svg +1 -0
  344. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/server.svg +1 -0
  345. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/settings-gear.svg +1 -0
  346. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/settings.svg +1 -0
  347. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/shield.svg +1 -0
  348. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sign-in.svg +1 -0
  349. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sign-out.svg +1 -0
  350. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/smiley.svg +1 -0
  351. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sort-precedence.svg +1 -0
  352. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/source-control.svg +1 -0
  353. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/split-horizontal.svg +1 -0
  354. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/split-vertical.svg +1 -0
  355. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/squirrel.svg +1 -0
  356. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/star-empty.svg +1 -0
  357. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/star-full.svg +1 -0
  358. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/star-half.svg +1 -0
  359. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/stop-circle.svg +1 -0
  360. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-array.svg +1 -0
  361. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-boolean.svg +1 -0
  362. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-class.svg +1 -0
  363. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-color.svg +1 -0
  364. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-constant.svg +1 -0
  365. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-enum-member.svg +1 -0
  366. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-enum.svg +1 -0
  367. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-event.svg +1 -0
  368. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-field.svg +1 -0
  369. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-file.svg +1 -0
  370. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-interface.svg +1 -0
  371. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-key.svg +1 -0
  372. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-keyword.svg +1 -0
  373. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-method.svg +1 -0
  374. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-misc.svg +1 -0
  375. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-namespace.svg +1 -0
  376. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-numeric.svg +1 -0
  377. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-operator.svg +1 -0
  378. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-parameter.svg +1 -0
  379. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-property.svg +1 -0
  380. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-ruler.svg +1 -0
  381. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-snippet.svg +1 -0
  382. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-string.svg +1 -0
  383. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-structure.svg +1 -0
  384. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-variable.svg +1 -0
  385. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sync-ignored.svg +1 -0
  386. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sync.svg +1 -0
  387. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/table.svg +1 -0
  388. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/tag.svg +1 -0
  389. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/target.svg +1 -0
  390. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/tasklist.svg +1 -0
  391. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/telescope.svg +1 -0
  392. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-bash.svg +1 -0
  393. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-cmd.svg +1 -0
  394. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-debian.svg +1 -0
  395. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-linux.svg +1 -0
  396. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-powershell.svg +1 -0
  397. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-tmux.svg +1 -0
  398. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-ubuntu.svg +1 -0
  399. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal.svg +1 -0
  400. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/text-size.svg +1 -0
  401. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/three-bars.svg +1 -0
  402. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/thumbsdown.svg +1 -0
  403. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/thumbsup.svg +1 -0
  404. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/tools.svg +1 -0
  405. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/trash.svg +1 -0
  406. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-down.svg +1 -0
  407. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-left.svg +1 -0
  408. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-right.svg +1 -0
  409. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-up.svg +1 -0
  410. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/twitter.svg +1 -0
  411. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/type-hierarchy-sub.svg +1 -0
  412. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/type-hierarchy-super.svg +1 -0
  413. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/type-hierarchy.svg +1 -0
  414. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unfold.svg +1 -0
  415. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/ungroup-by-ref-type.svg +1 -0
  416. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unlock.svg +1 -0
  417. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unmute.svg +1 -0
  418. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unverified.svg +1 -0
  419. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/variable-group.svg +1 -0
  420. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/verified-filled.svg +1 -0
  421. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/verified.svg +1 -0
  422. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/versions.svg +1 -0
  423. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-active.svg +1 -0
  424. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-connect.svg +1 -0
  425. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-outline.svg +1 -0
  426. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-running.svg +1 -0
  427. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm.svg +1 -0
  428. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/wand.svg +1 -0
  429. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/warning.svg +1 -0
  430. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/watch.svg +1 -0
  431. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/whitespace.svg +1 -0
  432. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/whole-word.svg +1 -0
  433. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/window.svg +1 -0
  434. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/word-wrap.svg +1 -0
  435. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/workspace-trusted.svg +1 -0
  436. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/workspace-unknown.svg +1 -0
  437. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/workspace-untrusted.svg +1 -0
  438. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/zoom-in.svg +1 -0
  439. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/zoom-out.svg +1 -0
  440. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/template/mapping.json +514 -0
  441. package/dist/vscode-lean4/lean4-infoview/src/infoview/contexts.d.ts +46 -0
  442. package/dist/vscode-lean4/lean4-infoview/src/infoview/contexts.js +44 -0
  443. package/dist/vscode-lean4/lean4-infoview/src/infoview/editorConnection.d.ts +22 -0
  444. package/dist/vscode-lean4/lean4-infoview/src/infoview/editorConnection.js +41 -0
  445. package/dist/vscode-lean4/lean4-infoview/src/infoview/event.d.ts +33 -0
  446. package/dist/vscode-lean4/lean4-infoview/src/infoview/event.js +57 -0
  447. package/dist/vscode-lean4/lean4-infoview/src/infoview/serverVersion.d.ts +10 -0
  448. package/dist/vscode-lean4/lean4-infoview/src/infoview/serverVersion.js +25 -0
  449. package/dist/vscode-lean4/lean4-infoview/src/infoview/util.d.ts +141 -0
  450. package/dist/vscode-lean4/lean4-infoview/src/infoview/util.js +336 -0
  451. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-dark.svg +91 -0
  452. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-i-dark.svg +114 -0
  453. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-i-light.svg +114 -0
  454. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-i-passthrough-dark.svg +109 -0
  455. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-i-passthrough-light.svg +109 -0
  456. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-init-dark.svg +100 -0
  457. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-init-light.svg +100 -0
  458. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-l-dark.svg +123 -0
  459. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-l-light.svg +123 -0
  460. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-dark.svg +109 -0
  461. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-light.svg +109 -0
  462. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-light.svg +91 -0
  463. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-dark.svg +123 -0
  464. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-light.svg +123 -0
  465. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-dark.svg +118 -0
  466. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-light.svg +118 -0
  467. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-dark.svg +138 -0
  468. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-i-passthrough-dark.svg +160 -0
  469. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-i-passthrough-light.svg +160 -0
  470. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-dark.svg +158 -0
  471. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-light.svg +158 -0
  472. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-light.svg +138 -0
  473. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-dark.svg +169 -0
  474. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-light.svg +169 -0
  475. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-dark.svg +147 -0
  476. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-i-passthrough-dark.svg +170 -0
  477. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-i-passthrough-light.svg +170 -0
  478. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-l-passthrough-dark.svg +167 -0
  479. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-l-passthrough-light.svg +167 -0
  480. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-light.svg +147 -0
  481. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-dark.svg +179 -0
  482. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-light.svg +179 -0
  483. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-dark.svg +165 -0
  484. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-i-passthrough-dark.svg +187 -0
  485. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-i-passthrough-light.svg +187 -0
  486. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-l-passthrough-dark.svg +185 -0
  487. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-l-passthrough-light.svg +185 -0
  488. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-light.svg +165 -0
  489. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-dark.svg +196 -0
  490. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-light.svg +196 -0
  491. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-dark.svg +184 -0
  492. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-dark.svg +206 -0
  493. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-light.svg +206 -0
  494. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-l-passthrough-dark.svg +204 -0
  495. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-l-passthrough-light.svg +204 -0
  496. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-light.svg +184 -0
  497. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-t-passthrough-dark.svg +215 -0
  498. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-t-passthrough-light.svg +215 -0
  499. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-dark.svg +132 -0
  500. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-i-passthrough-dark.svg +154 -0
  501. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-i-passthrough-light.svg +154 -0
  502. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-l-passthrough-dark.svg +152 -0
  503. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-l-passthrough-light.svg +152 -0
  504. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-light.svg +132 -0
  505. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-t-passthrough-dark.svg +163 -0
  506. package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/warning-t-passthrough-light.svg +163 -0
  507. package/dist/vscode-lean4/vscode-lean4/node_modules/@types/node/package.json +220 -0
  508. package/dist/vscode-lean4/vscode-lean4/node_modules/brace-expansion/package.json +46 -0
  509. package/dist/vscode-lean4/vscode-lean4/node_modules/glob/package.json +13 -12
  510. package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/package.json +14 -12
  511. package/dist/vscode-lean4/vscode-lean4/node_modules/undici-types/package.json +55 -0
  512. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-jsonrpc/package.json +45 -0
  513. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageclient/node_modules/minimatch/package.json +35 -0
  514. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageclient/package.json +50 -0
  515. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageserver-protocol/metaModel.schema.json +783 -0
  516. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageserver-protocol/package.json +45 -0
  517. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageserver-types/package.json +32 -0
  518. package/dist/vscode-lean4/vscode-lean4/src/leanclientsetup.d.ts +3 -0
  519. package/dist/vscode-lean4/vscode-lean4/src/leanclientsetup.js +58 -0
  520. package/package.json +6 -7
@@ -0,0 +1,571 @@
1
+ /*---------------------------------------------------------------------------------------------
2
+ * Copyright (c) Microsoft Corporation. All rights reserved.
3
+ * Licensed under the MIT License. See License.txt in the project root for license information.
4
+ *--------------------------------------------------------------------------------------------*/
5
+
6
+ @font-face {
7
+ font-family: "codicon";
8
+ font-display: block;
9
+ src: url("./codicon.ttf?0e5b0adf625a37fbcd638d31f0fe72aa") format("truetype");
10
+ }
11
+
12
+ .codicon[class*='codicon-'] {
13
+ font: normal normal normal 16px/1 codicon;
14
+ display: inline-block;
15
+ text-decoration: none;
16
+ text-rendering: auto;
17
+ text-align: center;
18
+ -webkit-font-smoothing: antialiased;
19
+ -moz-osx-font-smoothing: grayscale;
20
+ user-select: none;
21
+ -webkit-user-select: none;
22
+ -ms-user-select: none;
23
+ }
24
+
25
+ /*---------------------
26
+ * Modifiers
27
+ *-------------------*/
28
+
29
+ @keyframes codicon-spin {
30
+ 100% {
31
+ transform:rotate(360deg);
32
+ }
33
+ }
34
+
35
+ .codicon-sync.codicon-modifier-spin,
36
+ .codicon-loading.codicon-modifier-spin,
37
+ .codicon-gear.codicon-modifier-spin {
38
+ /* Use steps to throttle FPS to reduce CPU usage */
39
+ animation: codicon-spin 1.5s steps(30) infinite;
40
+ }
41
+
42
+ .codicon-modifier-disabled {
43
+ opacity: 0.5;
44
+ }
45
+
46
+ .codicon-modifier-hidden {
47
+ opacity: 0;
48
+ }
49
+
50
+ /* custom speed & easing for loading icon */
51
+ .codicon-loading {
52
+ animation-duration: 1s !important;
53
+ animation-timing-function: cubic-bezier(0.53, 0.21, 0.29, 0.67) !important;
54
+ }
55
+
56
+ /*---------------------
57
+ * Icons
58
+ *-------------------*/
59
+
60
+ .codicon-add:before { content: "\ea60" }
61
+ .codicon-plus:before { content: "\ea60" }
62
+ .codicon-gist-new:before { content: "\ea60" }
63
+ .codicon-repo-create:before { content: "\ea60" }
64
+ .codicon-lightbulb:before { content: "\ea61" }
65
+ .codicon-light-bulb:before { content: "\ea61" }
66
+ .codicon-repo:before { content: "\ea62" }
67
+ .codicon-repo-delete:before { content: "\ea62" }
68
+ .codicon-gist-fork:before { content: "\ea63" }
69
+ .codicon-repo-forked:before { content: "\ea63" }
70
+ .codicon-git-pull-request:before { content: "\ea64" }
71
+ .codicon-git-pull-request-abandoned:before { content: "\ea64" }
72
+ .codicon-record-keys:before { content: "\ea65" }
73
+ .codicon-keyboard:before { content: "\ea65" }
74
+ .codicon-tag:before { content: "\ea66" }
75
+ .codicon-tag-add:before { content: "\ea66" }
76
+ .codicon-tag-remove:before { content: "\ea66" }
77
+ .codicon-person:before { content: "\ea67" }
78
+ .codicon-person-follow:before { content: "\ea67" }
79
+ .codicon-person-outline:before { content: "\ea67" }
80
+ .codicon-person-filled:before { content: "\ea67" }
81
+ .codicon-git-branch:before { content: "\ea68" }
82
+ .codicon-git-branch-create:before { content: "\ea68" }
83
+ .codicon-git-branch-delete:before { content: "\ea68" }
84
+ .codicon-source-control:before { content: "\ea68" }
85
+ .codicon-mirror:before { content: "\ea69" }
86
+ .codicon-mirror-public:before { content: "\ea69" }
87
+ .codicon-star:before { content: "\ea6a" }
88
+ .codicon-star-add:before { content: "\ea6a" }
89
+ .codicon-star-delete:before { content: "\ea6a" }
90
+ .codicon-star-empty:before { content: "\ea6a" }
91
+ .codicon-comment:before { content: "\ea6b" }
92
+ .codicon-comment-add:before { content: "\ea6b" }
93
+ .codicon-alert:before { content: "\ea6c" }
94
+ .codicon-warning:before { content: "\ea6c" }
95
+ .codicon-search:before { content: "\ea6d" }
96
+ .codicon-search-save:before { content: "\ea6d" }
97
+ .codicon-log-out:before { content: "\ea6e" }
98
+ .codicon-sign-out:before { content: "\ea6e" }
99
+ .codicon-log-in:before { content: "\ea6f" }
100
+ .codicon-sign-in:before { content: "\ea6f" }
101
+ .codicon-eye:before { content: "\ea70" }
102
+ .codicon-eye-unwatch:before { content: "\ea70" }
103
+ .codicon-eye-watch:before { content: "\ea70" }
104
+ .codicon-circle-filled:before { content: "\ea71" }
105
+ .codicon-primitive-dot:before { content: "\ea71" }
106
+ .codicon-close-dirty:before { content: "\ea71" }
107
+ .codicon-debug-breakpoint:before { content: "\ea71" }
108
+ .codicon-debug-breakpoint-disabled:before { content: "\ea71" }
109
+ .codicon-debug-hint:before { content: "\ea71" }
110
+ .codicon-primitive-square:before { content: "\ea72" }
111
+ .codicon-edit:before { content: "\ea73" }
112
+ .codicon-pencil:before { content: "\ea73" }
113
+ .codicon-info:before { content: "\ea74" }
114
+ .codicon-issue-opened:before { content: "\ea74" }
115
+ .codicon-gist-private:before { content: "\ea75" }
116
+ .codicon-git-fork-private:before { content: "\ea75" }
117
+ .codicon-lock:before { content: "\ea75" }
118
+ .codicon-mirror-private:before { content: "\ea75" }
119
+ .codicon-close:before { content: "\ea76" }
120
+ .codicon-remove-close:before { content: "\ea76" }
121
+ .codicon-x:before { content: "\ea76" }
122
+ .codicon-repo-sync:before { content: "\ea77" }
123
+ .codicon-sync:before { content: "\ea77" }
124
+ .codicon-clone:before { content: "\ea78" }
125
+ .codicon-desktop-download:before { content: "\ea78" }
126
+ .codicon-beaker:before { content: "\ea79" }
127
+ .codicon-microscope:before { content: "\ea79" }
128
+ .codicon-vm:before { content: "\ea7a" }
129
+ .codicon-device-desktop:before { content: "\ea7a" }
130
+ .codicon-file:before { content: "\ea7b" }
131
+ .codicon-file-text:before { content: "\ea7b" }
132
+ .codicon-more:before { content: "\ea7c" }
133
+ .codicon-ellipsis:before { content: "\ea7c" }
134
+ .codicon-kebab-horizontal:before { content: "\ea7c" }
135
+ .codicon-mail-reply:before { content: "\ea7d" }
136
+ .codicon-reply:before { content: "\ea7d" }
137
+ .codicon-organization:before { content: "\ea7e" }
138
+ .codicon-organization-filled:before { content: "\ea7e" }
139
+ .codicon-organization-outline:before { content: "\ea7e" }
140
+ .codicon-new-file:before { content: "\ea7f" }
141
+ .codicon-file-add:before { content: "\ea7f" }
142
+ .codicon-new-folder:before { content: "\ea80" }
143
+ .codicon-file-directory-create:before { content: "\ea80" }
144
+ .codicon-trash:before { content: "\ea81" }
145
+ .codicon-trashcan:before { content: "\ea81" }
146
+ .codicon-history:before { content: "\ea82" }
147
+ .codicon-clock:before { content: "\ea82" }
148
+ .codicon-folder:before { content: "\ea83" }
149
+ .codicon-file-directory:before { content: "\ea83" }
150
+ .codicon-symbol-folder:before { content: "\ea83" }
151
+ .codicon-logo-github:before { content: "\ea84" }
152
+ .codicon-mark-github:before { content: "\ea84" }
153
+ .codicon-github:before { content: "\ea84" }
154
+ .codicon-terminal:before { content: "\ea85" }
155
+ .codicon-console:before { content: "\ea85" }
156
+ .codicon-repl:before { content: "\ea85" }
157
+ .codicon-zap:before { content: "\ea86" }
158
+ .codicon-symbol-event:before { content: "\ea86" }
159
+ .codicon-error:before { content: "\ea87" }
160
+ .codicon-stop:before { content: "\ea87" }
161
+ .codicon-variable:before { content: "\ea88" }
162
+ .codicon-symbol-variable:before { content: "\ea88" }
163
+ .codicon-array:before { content: "\ea8a" }
164
+ .codicon-symbol-array:before { content: "\ea8a" }
165
+ .codicon-symbol-module:before { content: "\ea8b" }
166
+ .codicon-symbol-package:before { content: "\ea8b" }
167
+ .codicon-symbol-namespace:before { content: "\ea8b" }
168
+ .codicon-symbol-object:before { content: "\ea8b" }
169
+ .codicon-symbol-method:before { content: "\ea8c" }
170
+ .codicon-symbol-function:before { content: "\ea8c" }
171
+ .codicon-symbol-constructor:before { content: "\ea8c" }
172
+ .codicon-symbol-boolean:before { content: "\ea8f" }
173
+ .codicon-symbol-null:before { content: "\ea8f" }
174
+ .codicon-symbol-numeric:before { content: "\ea90" }
175
+ .codicon-symbol-number:before { content: "\ea90" }
176
+ .codicon-symbol-structure:before { content: "\ea91" }
177
+ .codicon-symbol-struct:before { content: "\ea91" }
178
+ .codicon-symbol-parameter:before { content: "\ea92" }
179
+ .codicon-symbol-type-parameter:before { content: "\ea92" }
180
+ .codicon-symbol-key:before { content: "\ea93" }
181
+ .codicon-symbol-text:before { content: "\ea93" }
182
+ .codicon-symbol-reference:before { content: "\ea94" }
183
+ .codicon-go-to-file:before { content: "\ea94" }
184
+ .codicon-symbol-enum:before { content: "\ea95" }
185
+ .codicon-symbol-value:before { content: "\ea95" }
186
+ .codicon-symbol-ruler:before { content: "\ea96" }
187
+ .codicon-symbol-unit:before { content: "\ea96" }
188
+ .codicon-activate-breakpoints:before { content: "\ea97" }
189
+ .codicon-archive:before { content: "\ea98" }
190
+ .codicon-arrow-both:before { content: "\ea99" }
191
+ .codicon-arrow-down:before { content: "\ea9a" }
192
+ .codicon-arrow-left:before { content: "\ea9b" }
193
+ .codicon-arrow-right:before { content: "\ea9c" }
194
+ .codicon-arrow-small-down:before { content: "\ea9d" }
195
+ .codicon-arrow-small-left:before { content: "\ea9e" }
196
+ .codicon-arrow-small-right:before { content: "\ea9f" }
197
+ .codicon-arrow-small-up:before { content: "\eaa0" }
198
+ .codicon-arrow-up:before { content: "\eaa1" }
199
+ .codicon-bell:before { content: "\eaa2" }
200
+ .codicon-bold:before { content: "\eaa3" }
201
+ .codicon-book:before { content: "\eaa4" }
202
+ .codicon-bookmark:before { content: "\eaa5" }
203
+ .codicon-debug-breakpoint-conditional-unverified:before { content: "\eaa6" }
204
+ .codicon-debug-breakpoint-conditional:before { content: "\eaa7" }
205
+ .codicon-debug-breakpoint-conditional-disabled:before { content: "\eaa7" }
206
+ .codicon-debug-breakpoint-data-unverified:before { content: "\eaa8" }
207
+ .codicon-debug-breakpoint-data:before { content: "\eaa9" }
208
+ .codicon-debug-breakpoint-data-disabled:before { content: "\eaa9" }
209
+ .codicon-debug-breakpoint-log-unverified:before { content: "\eaaa" }
210
+ .codicon-debug-breakpoint-log:before { content: "\eaab" }
211
+ .codicon-debug-breakpoint-log-disabled:before { content: "\eaab" }
212
+ .codicon-briefcase:before { content: "\eaac" }
213
+ .codicon-broadcast:before { content: "\eaad" }
214
+ .codicon-browser:before { content: "\eaae" }
215
+ .codicon-bug:before { content: "\eaaf" }
216
+ .codicon-calendar:before { content: "\eab0" }
217
+ .codicon-case-sensitive:before { content: "\eab1" }
218
+ .codicon-check:before { content: "\eab2" }
219
+ .codicon-checklist:before { content: "\eab3" }
220
+ .codicon-chevron-down:before { content: "\eab4" }
221
+ .codicon-chevron-left:before { content: "\eab5" }
222
+ .codicon-chevron-right:before { content: "\eab6" }
223
+ .codicon-chevron-up:before { content: "\eab7" }
224
+ .codicon-chrome-close:before { content: "\eab8" }
225
+ .codicon-chrome-maximize:before { content: "\eab9" }
226
+ .codicon-chrome-minimize:before { content: "\eaba" }
227
+ .codicon-chrome-restore:before { content: "\eabb" }
228
+ .codicon-circle-outline:before { content: "\eabc" }
229
+ .codicon-debug-breakpoint-unverified:before { content: "\eabc" }
230
+ .codicon-circle-slash:before { content: "\eabd" }
231
+ .codicon-circuit-board:before { content: "\eabe" }
232
+ .codicon-clear-all:before { content: "\eabf" }
233
+ .codicon-clippy:before { content: "\eac0" }
234
+ .codicon-close-all:before { content: "\eac1" }
235
+ .codicon-cloud-download:before { content: "\eac2" }
236
+ .codicon-cloud-upload:before { content: "\eac3" }
237
+ .codicon-code:before { content: "\eac4" }
238
+ .codicon-collapse-all:before { content: "\eac5" }
239
+ .codicon-color-mode:before { content: "\eac6" }
240
+ .codicon-comment-discussion:before { content: "\eac7" }
241
+ .codicon-credit-card:before { content: "\eac9" }
242
+ .codicon-dash:before { content: "\eacc" }
243
+ .codicon-dashboard:before { content: "\eacd" }
244
+ .codicon-database:before { content: "\eace" }
245
+ .codicon-debug-continue:before { content: "\eacf" }
246
+ .codicon-debug-disconnect:before { content: "\ead0" }
247
+ .codicon-debug-pause:before { content: "\ead1" }
248
+ .codicon-debug-restart:before { content: "\ead2" }
249
+ .codicon-debug-start:before { content: "\ead3" }
250
+ .codicon-debug-step-into:before { content: "\ead4" }
251
+ .codicon-debug-step-out:before { content: "\ead5" }
252
+ .codicon-debug-step-over:before { content: "\ead6" }
253
+ .codicon-debug-stop:before { content: "\ead7" }
254
+ .codicon-debug:before { content: "\ead8" }
255
+ .codicon-device-camera-video:before { content: "\ead9" }
256
+ .codicon-device-camera:before { content: "\eada" }
257
+ .codicon-device-mobile:before { content: "\eadb" }
258
+ .codicon-diff-added:before { content: "\eadc" }
259
+ .codicon-diff-ignored:before { content: "\eadd" }
260
+ .codicon-diff-modified:before { content: "\eade" }
261
+ .codicon-diff-removed:before { content: "\eadf" }
262
+ .codicon-diff-renamed:before { content: "\eae0" }
263
+ .codicon-diff:before { content: "\eae1" }
264
+ .codicon-discard:before { content: "\eae2" }
265
+ .codicon-editor-layout:before { content: "\eae3" }
266
+ .codicon-empty-window:before { content: "\eae4" }
267
+ .codicon-exclude:before { content: "\eae5" }
268
+ .codicon-extensions:before { content: "\eae6" }
269
+ .codicon-eye-closed:before { content: "\eae7" }
270
+ .codicon-file-binary:before { content: "\eae8" }
271
+ .codicon-file-code:before { content: "\eae9" }
272
+ .codicon-file-media:before { content: "\eaea" }
273
+ .codicon-file-pdf:before { content: "\eaeb" }
274
+ .codicon-file-submodule:before { content: "\eaec" }
275
+ .codicon-file-symlink-directory:before { content: "\eaed" }
276
+ .codicon-file-symlink-file:before { content: "\eaee" }
277
+ .codicon-file-zip:before { content: "\eaef" }
278
+ .codicon-files:before { content: "\eaf0" }
279
+ .codicon-filter:before { content: "\eaf1" }
280
+ .codicon-flame:before { content: "\eaf2" }
281
+ .codicon-fold-down:before { content: "\eaf3" }
282
+ .codicon-fold-up:before { content: "\eaf4" }
283
+ .codicon-fold:before { content: "\eaf5" }
284
+ .codicon-folder-active:before { content: "\eaf6" }
285
+ .codicon-folder-opened:before { content: "\eaf7" }
286
+ .codicon-gear:before { content: "\eaf8" }
287
+ .codicon-gift:before { content: "\eaf9" }
288
+ .codicon-gist-secret:before { content: "\eafa" }
289
+ .codicon-gist:before { content: "\eafb" }
290
+ .codicon-git-commit:before { content: "\eafc" }
291
+ .codicon-git-compare:before { content: "\eafd" }
292
+ .codicon-compare-changes:before { content: "\eafd" }
293
+ .codicon-git-merge:before { content: "\eafe" }
294
+ .codicon-github-action:before { content: "\eaff" }
295
+ .codicon-github-alt:before { content: "\eb00" }
296
+ .codicon-globe:before { content: "\eb01" }
297
+ .codicon-grabber:before { content: "\eb02" }
298
+ .codicon-graph:before { content: "\eb03" }
299
+ .codicon-gripper:before { content: "\eb04" }
300
+ .codicon-heart:before { content: "\eb05" }
301
+ .codicon-home:before { content: "\eb06" }
302
+ .codicon-horizontal-rule:before { content: "\eb07" }
303
+ .codicon-hubot:before { content: "\eb08" }
304
+ .codicon-inbox:before { content: "\eb09" }
305
+ .codicon-issue-reopened:before { content: "\eb0b" }
306
+ .codicon-issues:before { content: "\eb0c" }
307
+ .codicon-italic:before { content: "\eb0d" }
308
+ .codicon-jersey:before { content: "\eb0e" }
309
+ .codicon-json:before { content: "\eb0f" }
310
+ .codicon-kebab-vertical:before { content: "\eb10" }
311
+ .codicon-key:before { content: "\eb11" }
312
+ .codicon-law:before { content: "\eb12" }
313
+ .codicon-lightbulb-autofix:before { content: "\eb13" }
314
+ .codicon-link-external:before { content: "\eb14" }
315
+ .codicon-link:before { content: "\eb15" }
316
+ .codicon-list-ordered:before { content: "\eb16" }
317
+ .codicon-list-unordered:before { content: "\eb17" }
318
+ .codicon-live-share:before { content: "\eb18" }
319
+ .codicon-loading:before { content: "\eb19" }
320
+ .codicon-location:before { content: "\eb1a" }
321
+ .codicon-mail-read:before { content: "\eb1b" }
322
+ .codicon-mail:before { content: "\eb1c" }
323
+ .codicon-markdown:before { content: "\eb1d" }
324
+ .codicon-megaphone:before { content: "\eb1e" }
325
+ .codicon-mention:before { content: "\eb1f" }
326
+ .codicon-milestone:before { content: "\eb20" }
327
+ .codicon-mortar-board:before { content: "\eb21" }
328
+ .codicon-move:before { content: "\eb22" }
329
+ .codicon-multiple-windows:before { content: "\eb23" }
330
+ .codicon-mute:before { content: "\eb24" }
331
+ .codicon-no-newline:before { content: "\eb25" }
332
+ .codicon-note:before { content: "\eb26" }
333
+ .codicon-octoface:before { content: "\eb27" }
334
+ .codicon-open-preview:before { content: "\eb28" }
335
+ .codicon-package:before { content: "\eb29" }
336
+ .codicon-paintcan:before { content: "\eb2a" }
337
+ .codicon-pin:before { content: "\eb2b" }
338
+ .codicon-play:before { content: "\eb2c" }
339
+ .codicon-run:before { content: "\eb2c" }
340
+ .codicon-plug:before { content: "\eb2d" }
341
+ .codicon-preserve-case:before { content: "\eb2e" }
342
+ .codicon-preview:before { content: "\eb2f" }
343
+ .codicon-project:before { content: "\eb30" }
344
+ .codicon-pulse:before { content: "\eb31" }
345
+ .codicon-question:before { content: "\eb32" }
346
+ .codicon-quote:before { content: "\eb33" }
347
+ .codicon-radio-tower:before { content: "\eb34" }
348
+ .codicon-reactions:before { content: "\eb35" }
349
+ .codicon-references:before { content: "\eb36" }
350
+ .codicon-refresh:before { content: "\eb37" }
351
+ .codicon-regex:before { content: "\eb38" }
352
+ .codicon-remote-explorer:before { content: "\eb39" }
353
+ .codicon-remote:before { content: "\eb3a" }
354
+ .codicon-remove:before { content: "\eb3b" }
355
+ .codicon-replace-all:before { content: "\eb3c" }
356
+ .codicon-replace:before { content: "\eb3d" }
357
+ .codicon-repo-clone:before { content: "\eb3e" }
358
+ .codicon-repo-force-push:before { content: "\eb3f" }
359
+ .codicon-repo-pull:before { content: "\eb40" }
360
+ .codicon-repo-push:before { content: "\eb41" }
361
+ .codicon-report:before { content: "\eb42" }
362
+ .codicon-request-changes:before { content: "\eb43" }
363
+ .codicon-rocket:before { content: "\eb44" }
364
+ .codicon-root-folder-opened:before { content: "\eb45" }
365
+ .codicon-root-folder:before { content: "\eb46" }
366
+ .codicon-rss:before { content: "\eb47" }
367
+ .codicon-ruby:before { content: "\eb48" }
368
+ .codicon-save-all:before { content: "\eb49" }
369
+ .codicon-save-as:before { content: "\eb4a" }
370
+ .codicon-save:before { content: "\eb4b" }
371
+ .codicon-screen-full:before { content: "\eb4c" }
372
+ .codicon-screen-normal:before { content: "\eb4d" }
373
+ .codicon-search-stop:before { content: "\eb4e" }
374
+ .codicon-server:before { content: "\eb50" }
375
+ .codicon-settings-gear:before { content: "\eb51" }
376
+ .codicon-settings:before { content: "\eb52" }
377
+ .codicon-shield:before { content: "\eb53" }
378
+ .codicon-smiley:before { content: "\eb54" }
379
+ .codicon-sort-precedence:before { content: "\eb55" }
380
+ .codicon-split-horizontal:before { content: "\eb56" }
381
+ .codicon-split-vertical:before { content: "\eb57" }
382
+ .codicon-squirrel:before { content: "\eb58" }
383
+ .codicon-star-full:before { content: "\eb59" }
384
+ .codicon-star-half:before { content: "\eb5a" }
385
+ .codicon-symbol-class:before { content: "\eb5b" }
386
+ .codicon-symbol-color:before { content: "\eb5c" }
387
+ .codicon-symbol-constant:before { content: "\eb5d" }
388
+ .codicon-symbol-enum-member:before { content: "\eb5e" }
389
+ .codicon-symbol-field:before { content: "\eb5f" }
390
+ .codicon-symbol-file:before { content: "\eb60" }
391
+ .codicon-symbol-interface:before { content: "\eb61" }
392
+ .codicon-symbol-keyword:before { content: "\eb62" }
393
+ .codicon-symbol-misc:before { content: "\eb63" }
394
+ .codicon-symbol-operator:before { content: "\eb64" }
395
+ .codicon-symbol-property:before { content: "\eb65" }
396
+ .codicon-wrench:before { content: "\eb65" }
397
+ .codicon-wrench-subaction:before { content: "\eb65" }
398
+ .codicon-symbol-snippet:before { content: "\eb66" }
399
+ .codicon-tasklist:before { content: "\eb67" }
400
+ .codicon-telescope:before { content: "\eb68" }
401
+ .codicon-text-size:before { content: "\eb69" }
402
+ .codicon-three-bars:before { content: "\eb6a" }
403
+ .codicon-thumbsdown:before { content: "\eb6b" }
404
+ .codicon-thumbsup:before { content: "\eb6c" }
405
+ .codicon-tools:before { content: "\eb6d" }
406
+ .codicon-triangle-down:before { content: "\eb6e" }
407
+ .codicon-triangle-left:before { content: "\eb6f" }
408
+ .codicon-triangle-right:before { content: "\eb70" }
409
+ .codicon-triangle-up:before { content: "\eb71" }
410
+ .codicon-twitter:before { content: "\eb72" }
411
+ .codicon-unfold:before { content: "\eb73" }
412
+ .codicon-unlock:before { content: "\eb74" }
413
+ .codicon-unmute:before { content: "\eb75" }
414
+ .codicon-unverified:before { content: "\eb76" }
415
+ .codicon-verified:before { content: "\eb77" }
416
+ .codicon-versions:before { content: "\eb78" }
417
+ .codicon-vm-active:before { content: "\eb79" }
418
+ .codicon-vm-outline:before { content: "\eb7a" }
419
+ .codicon-vm-running:before { content: "\eb7b" }
420
+ .codicon-watch:before { content: "\eb7c" }
421
+ .codicon-whitespace:before { content: "\eb7d" }
422
+ .codicon-whole-word:before { content: "\eb7e" }
423
+ .codicon-window:before { content: "\eb7f" }
424
+ .codicon-word-wrap:before { content: "\eb80" }
425
+ .codicon-zoom-in:before { content: "\eb81" }
426
+ .codicon-zoom-out:before { content: "\eb82" }
427
+ .codicon-list-filter:before { content: "\eb83" }
428
+ .codicon-list-flat:before { content: "\eb84" }
429
+ .codicon-list-selection:before { content: "\eb85" }
430
+ .codicon-selection:before { content: "\eb85" }
431
+ .codicon-list-tree:before { content: "\eb86" }
432
+ .codicon-debug-breakpoint-function-unverified:before { content: "\eb87" }
433
+ .codicon-debug-breakpoint-function:before { content: "\eb88" }
434
+ .codicon-debug-breakpoint-function-disabled:before { content: "\eb88" }
435
+ .codicon-debug-stackframe-active:before { content: "\eb89" }
436
+ .codicon-circle-small-filled:before { content: "\eb8a" }
437
+ .codicon-debug-stackframe-dot:before { content: "\eb8a" }
438
+ .codicon-debug-stackframe:before { content: "\eb8b" }
439
+ .codicon-debug-stackframe-focused:before { content: "\eb8b" }
440
+ .codicon-debug-breakpoint-unsupported:before { content: "\eb8c" }
441
+ .codicon-symbol-string:before { content: "\eb8d" }
442
+ .codicon-debug-reverse-continue:before { content: "\eb8e" }
443
+ .codicon-debug-step-back:before { content: "\eb8f" }
444
+ .codicon-debug-restart-frame:before { content: "\eb90" }
445
+ .codicon-debug-alt:before { content: "\eb91" }
446
+ .codicon-call-incoming:before { content: "\eb92" }
447
+ .codicon-call-outgoing:before { content: "\eb93" }
448
+ .codicon-menu:before { content: "\eb94" }
449
+ .codicon-expand-all:before { content: "\eb95" }
450
+ .codicon-feedback:before { content: "\eb96" }
451
+ .codicon-group-by-ref-type:before { content: "\eb97" }
452
+ .codicon-ungroup-by-ref-type:before { content: "\eb98" }
453
+ .codicon-account:before { content: "\eb99" }
454
+ .codicon-bell-dot:before { content: "\eb9a" }
455
+ .codicon-debug-console:before { content: "\eb9b" }
456
+ .codicon-library:before { content: "\eb9c" }
457
+ .codicon-output:before { content: "\eb9d" }
458
+ .codicon-run-all:before { content: "\eb9e" }
459
+ .codicon-sync-ignored:before { content: "\eb9f" }
460
+ .codicon-pinned:before { content: "\eba0" }
461
+ .codicon-github-inverted:before { content: "\eba1" }
462
+ .codicon-server-process:before { content: "\eba2" }
463
+ .codicon-server-environment:before { content: "\eba3" }
464
+ .codicon-pass:before { content: "\eba4" }
465
+ .codicon-issue-closed:before { content: "\eba4" }
466
+ .codicon-stop-circle:before { content: "\eba5" }
467
+ .codicon-play-circle:before { content: "\eba6" }
468
+ .codicon-record:before { content: "\eba7" }
469
+ .codicon-debug-alt-small:before { content: "\eba8" }
470
+ .codicon-vm-connect:before { content: "\eba9" }
471
+ .codicon-cloud:before { content: "\ebaa" }
472
+ .codicon-merge:before { content: "\ebab" }
473
+ .codicon-export:before { content: "\ebac" }
474
+ .codicon-graph-left:before { content: "\ebad" }
475
+ .codicon-magnet:before { content: "\ebae" }
476
+ .codicon-notebook:before { content: "\ebaf" }
477
+ .codicon-redo:before { content: "\ebb0" }
478
+ .codicon-check-all:before { content: "\ebb1" }
479
+ .codicon-pinned-dirty:before { content: "\ebb2" }
480
+ .codicon-pass-filled:before { content: "\ebb3" }
481
+ .codicon-circle-large-filled:before { content: "\ebb4" }
482
+ .codicon-circle-large-outline:before { content: "\ebb5" }
483
+ .codicon-combine:before { content: "\ebb6" }
484
+ .codicon-gather:before { content: "\ebb6" }
485
+ .codicon-table:before { content: "\ebb7" }
486
+ .codicon-variable-group:before { content: "\ebb8" }
487
+ .codicon-type-hierarchy:before { content: "\ebb9" }
488
+ .codicon-type-hierarchy-sub:before { content: "\ebba" }
489
+ .codicon-type-hierarchy-super:before { content: "\ebbb" }
490
+ .codicon-git-pull-request-create:before { content: "\ebbc" }
491
+ .codicon-run-above:before { content: "\ebbd" }
492
+ .codicon-run-below:before { content: "\ebbe" }
493
+ .codicon-notebook-template:before { content: "\ebbf" }
494
+ .codicon-debug-rerun:before { content: "\ebc0" }
495
+ .codicon-workspace-trusted:before { content: "\ebc1" }
496
+ .codicon-workspace-untrusted:before { content: "\ebc2" }
497
+ .codicon-workspace-unknown:before { content: "\ebc3" }
498
+ .codicon-terminal-cmd:before { content: "\ebc4" }
499
+ .codicon-terminal-debian:before { content: "\ebc5" }
500
+ .codicon-terminal-linux:before { content: "\ebc6" }
501
+ .codicon-terminal-powershell:before { content: "\ebc7" }
502
+ .codicon-terminal-tmux:before { content: "\ebc8" }
503
+ .codicon-terminal-ubuntu:before { content: "\ebc9" }
504
+ .codicon-terminal-bash:before { content: "\ebca" }
505
+ .codicon-arrow-swap:before { content: "\ebcb" }
506
+ .codicon-copy:before { content: "\ebcc" }
507
+ .codicon-person-add:before { content: "\ebcd" }
508
+ .codicon-filter-filled:before { content: "\ebce" }
509
+ .codicon-wand:before { content: "\ebcf" }
510
+ .codicon-debug-line-by-line:before { content: "\ebd0" }
511
+ .codicon-inspect:before { content: "\ebd1" }
512
+ .codicon-layers:before { content: "\ebd2" }
513
+ .codicon-layers-dot:before { content: "\ebd3" }
514
+ .codicon-layers-active:before { content: "\ebd4" }
515
+ .codicon-compass:before { content: "\ebd5" }
516
+ .codicon-compass-dot:before { content: "\ebd6" }
517
+ .codicon-compass-active:before { content: "\ebd7" }
518
+ .codicon-azure:before { content: "\ebd8" }
519
+ .codicon-issue-draft:before { content: "\ebd9" }
520
+ .codicon-git-pull-request-closed:before { content: "\ebda" }
521
+ .codicon-git-pull-request-draft:before { content: "\ebdb" }
522
+ .codicon-debug-all:before { content: "\ebdc" }
523
+ .codicon-debug-coverage:before { content: "\ebdd" }
524
+ .codicon-run-errors:before { content: "\ebde" }
525
+ .codicon-folder-library:before { content: "\ebdf" }
526
+ .codicon-debug-continue-small:before { content: "\ebe0" }
527
+ .codicon-beaker-stop:before { content: "\ebe1" }
528
+ .codicon-graph-line:before { content: "\ebe2" }
529
+ .codicon-graph-scatter:before { content: "\ebe3" }
530
+ .codicon-pie-chart:before { content: "\ebe4" }
531
+ .codicon-bracket:before { content: "\eb0f" }
532
+ .codicon-bracket-dot:before { content: "\ebe5" }
533
+ .codicon-bracket-error:before { content: "\ebe6" }
534
+ .codicon-lock-small:before { content: "\ebe7" }
535
+ .codicon-azure-devops:before { content: "\ebe8" }
536
+ .codicon-verified-filled:before { content: "\ebe9" }
537
+ .codicon-newline:before { content: "\ebea" }
538
+ .codicon-layout:before { content: "\ebeb" }
539
+ .codicon-layout-activitybar-left:before { content: "\ebec" }
540
+ .codicon-layout-activitybar-right:before { content: "\ebed" }
541
+ .codicon-layout-panel-left:before { content: "\ebee" }
542
+ .codicon-layout-panel-center:before { content: "\ebef" }
543
+ .codicon-layout-panel-justify:before { content: "\ebf0" }
544
+ .codicon-layout-panel-right:before { content: "\ebf1" }
545
+ .codicon-layout-panel:before { content: "\ebf2" }
546
+ .codicon-layout-sidebar-left:before { content: "\ebf3" }
547
+ .codicon-layout-sidebar-right:before { content: "\ebf4" }
548
+ .codicon-layout-statusbar:before { content: "\ebf5" }
549
+ .codicon-layout-menubar:before { content: "\ebf6" }
550
+ .codicon-layout-centered:before { content: "\ebf7" }
551
+ .codicon-target:before { content: "\ebf8" }
552
+ .codicon-indent:before { content: "\ebf9" }
553
+ .codicon-record-small:before { content: "\ebfa" }
554
+ .codicon-error-small:before { content: "\ebfb" }
555
+ .codicon-arrow-circle-down:before { content: "\ebfc" }
556
+ .codicon-arrow-circle-left:before { content: "\ebfd" }
557
+ .codicon-arrow-circle-right:before { content: "\ebfe" }
558
+ .codicon-arrow-circle-up:before { content: "\ebff" }
559
+ .codicon-layout-sidebar-right-off:before { content: "\ec00" }
560
+ .codicon-layout-panel-off:before { content: "\ec01" }
561
+ .codicon-layout-sidebar-left-off:before { content: "\ec02" }
562
+ .codicon-blank:before { content: "\ec03" }
563
+ .codicon-heart-filled:before { content: "\ec04" }
564
+ .codicon-map:before { content: "\ec05" }
565
+ .codicon-map-filled:before { content: "\ec06" }
566
+ .codicon-circle-small:before { content: "\ec07" }
567
+ .codicon-bell-slash:before { content: "\ec08" }
568
+ .codicon-bell-slash-dot:before { content: "\ec09" }
569
+ .codicon-comment-unresolved:before { content: "\ec0a" }
570
+ .codicon-git-pull-request-go-to-changes:before { content: "\ec0b" }
571
+ .codicon-git-pull-request-new-changes:before { content: "\ec0c" }