@theia/plugin-ext 1.53.0-next.55 → 1.53.0-next.64

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 (381) hide show
  1. package/README.md +54 -54
  2. package/lib/common/plugin-api-rpc.d.ts +1 -4
  3. package/lib/common/plugin-api-rpc.d.ts.map +1 -1
  4. package/lib/common/plugin-api-rpc.js.map +1 -1
  5. package/lib/hosted/browser/hosted-plugin.js +9 -9
  6. package/lib/main/browser/editors-and-documents-main.d.ts.map +1 -1
  7. package/lib/main/browser/editors-and-documents-main.js +14 -2
  8. package/lib/main/browser/editors-and-documents-main.js.map +1 -1
  9. package/lib/main/browser/notebooks/notebook-documents-and-editors-main.d.ts.map +1 -1
  10. package/lib/main/browser/notebooks/notebook-documents-and-editors-main.js +2 -0
  11. package/lib/main/browser/notebooks/notebook-documents-and-editors-main.js.map +1 -1
  12. package/lib/main/browser/notebooks/renderers/cell-output-webview.js +86 -86
  13. package/lib/main/browser/plugin-icon-theme-service.js +20 -20
  14. package/lib/main/browser/plugin-shared-style.js +14 -14
  15. package/lib/main/browser/tabs/tabs-main.d.ts +1 -1
  16. package/lib/main/browser/tabs/tabs-main.d.ts.map +1 -1
  17. package/lib/main/browser/tabs/tabs-main.js +1 -1
  18. package/lib/main/browser/tabs/tabs-main.js.map +1 -1
  19. package/lib/main/browser/text-editor-main.d.ts +6 -3
  20. package/lib/main/browser/text-editor-main.d.ts.map +1 -1
  21. package/lib/main/browser/text-editor-main.js +39 -5
  22. package/lib/main/browser/text-editor-main.js.map +1 -1
  23. package/lib/main/browser/view/plugin-view-registry.js +3 -3
  24. package/lib/main/browser/webview/webview-frontend-security-warnings.js +2 -2
  25. package/lib/main/browser/webview/webview-secondary-window-support.js +10 -10
  26. package/lib/main/browser/workspace-main.d.ts +0 -2
  27. package/lib/main/browser/workspace-main.d.ts.map +1 -1
  28. package/lib/main/node/plugin-service.d.ts +1 -1
  29. package/lib/main/node/webview-backend-security-warnings.js +6 -6
  30. package/lib/plugin/languages.d.ts +0 -1
  31. package/lib/plugin/languages.d.ts.map +1 -1
  32. package/lib/plugin/notebook/notebook-kernels.d.ts +0 -2
  33. package/lib/plugin/notebook/notebook-kernels.d.ts.map +1 -1
  34. package/lib/plugin/notebook/notebooks.d.ts +1 -0
  35. package/lib/plugin/notebook/notebooks.d.ts.map +1 -1
  36. package/lib/plugin/notebook/notebooks.js +22 -2
  37. package/lib/plugin/notebook/notebooks.js.map +1 -1
  38. package/lib/plugin/scm.d.ts +0 -1
  39. package/lib/plugin/scm.d.ts.map +1 -1
  40. package/lib/plugin/terminal-ext.d.ts +0 -1
  41. package/lib/plugin/terminal-ext.d.ts.map +1 -1
  42. package/lib/plugin/text-editor.d.ts +1 -1
  43. package/lib/plugin/text-editor.d.ts.map +1 -1
  44. package/lib/plugin/text-editor.js.map +1 -1
  45. package/lib/plugin/type-converters.d.ts +0 -1
  46. package/lib/plugin/type-converters.d.ts.map +1 -1
  47. package/lib/plugin/types-impl.d.ts +2 -3
  48. package/lib/plugin/types-impl.d.ts.map +1 -1
  49. package/lib/plugin/workspace.d.ts +0 -4
  50. package/lib/plugin/workspace.d.ts.map +1 -1
  51. package/package.json +28 -28
  52. package/src/common/arrays.ts +70 -70
  53. package/src/common/assert.ts +23 -23
  54. package/src/common/cache.ts +51 -51
  55. package/src/common/character-classifier.ts +73 -73
  56. package/src/common/collections.ts +54 -54
  57. package/src/common/commands.ts +19 -19
  58. package/src/common/connection.ts +137 -137
  59. package/src/common/disposable-util.ts +39 -39
  60. package/src/common/editor-options.ts +74 -74
  61. package/src/common/env.ts +19 -19
  62. package/src/common/errors.ts +63 -63
  63. package/src/common/id-generator.ts +26 -26
  64. package/src/common/index.ts +24 -24
  65. package/src/common/language-pack-service.ts +34 -34
  66. package/src/common/link-computer.ts +354 -354
  67. package/src/common/object-identifier.ts +33 -33
  68. package/src/common/objects.ts +50 -50
  69. package/src/common/paths-util.ts +158 -158
  70. package/src/common/plugin-api-rpc-model.ts +907 -907
  71. package/src/common/plugin-api-rpc.ts +2753 -2752
  72. package/src/common/plugin-ext-api-contribution.ts +115 -115
  73. package/src/common/plugin-identifiers.ts +84 -84
  74. package/src/common/plugin-protocol.ts +1094 -1094
  75. package/src/common/reference-map.ts +38 -38
  76. package/src/common/rpc-protocol.ts +306 -306
  77. package/src/common/semantic-tokens-dto.ts +182 -182
  78. package/src/common/test-types.ts +154 -154
  79. package/src/common/types.ts +129 -129
  80. package/src/common/uint.ts +37 -37
  81. package/src/common/uri-components.ts +81 -81
  82. package/src/hosted/browser/hosted-plugin-watcher.ts +54 -54
  83. package/src/hosted/browser/hosted-plugin.ts +635 -635
  84. package/src/hosted/browser/plugin-worker.ts +52 -52
  85. package/src/hosted/browser/worker/debug-stub.ts +29 -29
  86. package/src/hosted/browser/worker/plugin-manifest-loader.ts +114 -114
  87. package/src/hosted/browser/worker/worker-env-ext.ts +40 -40
  88. package/src/hosted/browser/worker/worker-main.ts +212 -212
  89. package/src/hosted/browser/worker/worker-plugin-module.ts +80 -80
  90. package/src/hosted/common/hosted-plugin.ts +456 -456
  91. package/src/hosted/node/hosted-plugin-cli-contribution.ts +75 -75
  92. package/src/hosted/node/hosted-plugin-deployer-handler.ts +274 -274
  93. package/src/hosted/node/hosted-plugin-localization-service.ts +410 -410
  94. package/src/hosted/node/hosted-plugin-process.ts +248 -248
  95. package/src/hosted/node/hosted-plugin-protocol.ts +49 -49
  96. package/src/hosted/node/hosted-plugin.ts +116 -116
  97. package/src/hosted/node/metadata-scanner.ts +64 -64
  98. package/src/hosted/node/plugin-activation-events.ts +112 -112
  99. package/src/hosted/node/plugin-ext-hosted-backend-module.ts +94 -94
  100. package/src/hosted/node/plugin-host-module.ts +69 -69
  101. package/src/hosted/node/plugin-host-proxy.ts +82 -82
  102. package/src/hosted/node/plugin-host-rpc.ts +377 -377
  103. package/src/hosted/node/plugin-host.ts +110 -110
  104. package/src/hosted/node/plugin-language-pack-service.ts +43 -43
  105. package/src/hosted/node/plugin-manifest-loader.ts +32 -32
  106. package/src/hosted/node/plugin-reader.ts +136 -136
  107. package/src/hosted/node/plugin-service.ts +197 -197
  108. package/src/hosted/node/scanners/backend-init-theia.ts +71 -71
  109. package/src/hosted/node/scanners/file-plugin-uri-factory.ts +32 -32
  110. package/src/hosted/node/scanners/grammars-reader.ts +57 -57
  111. package/src/hosted/node/scanners/plugin-uri-factory.ts +33 -33
  112. package/src/hosted/node/scanners/scanner-theia.ts +963 -963
  113. package/src/hosted/node-electron/plugin-ext-hosted-electron-backend-module.ts +26 -26
  114. package/src/hosted/node-electron/scanner-theia-electron.ts +32 -32
  115. package/src/main/browser/authentication-main.ts +401 -401
  116. package/src/main/browser/clipboard-main.ts +38 -38
  117. package/src/main/browser/command-registry-main.ts +130 -130
  118. package/src/main/browser/commands.ts +104 -104
  119. package/src/main/browser/comments/comment-glyph-widget.ts +66 -66
  120. package/src/main/browser/comments/comment-thread-widget.tsx +696 -696
  121. package/src/main/browser/comments/comments-context-key-service.ts +68 -68
  122. package/src/main/browser/comments/comments-contribution.ts +268 -268
  123. package/src/main/browser/comments/comments-decorator.ts +110 -110
  124. package/src/main/browser/comments/comments-main.ts +482 -482
  125. package/src/main/browser/comments/comments-service.ts +205 -205
  126. package/src/main/browser/custom-editors/custom-editor-opener.tsx +205 -205
  127. package/src/main/browser/custom-editors/custom-editor-service.ts +108 -108
  128. package/src/main/browser/custom-editors/custom-editor-undo-redo-handler.ts +41 -41
  129. package/src/main/browser/custom-editors/custom-editor-widget-factory.ts +44 -44
  130. package/src/main/browser/custom-editors/custom-editor-widget.ts +127 -127
  131. package/src/main/browser/custom-editors/custom-editors-main.ts +526 -526
  132. package/src/main/browser/custom-editors/plugin-custom-editor-registry.ts +126 -126
  133. package/src/main/browser/data-transfer/data-transfer-type-converters.ts +68 -68
  134. package/src/main/browser/debug/debug-main.ts +397 -397
  135. package/src/main/browser/debug/plugin-debug-adapter-contribution.ts +48 -48
  136. package/src/main/browser/debug/plugin-debug-configuration-provider.ts +63 -63
  137. package/src/main/browser/debug/plugin-debug-service.ts +427 -427
  138. package/src/main/browser/debug/plugin-debug-session-contribution-registry.ts +76 -76
  139. package/src/main/browser/debug/plugin-debug-session-factory.ts +115 -115
  140. package/src/main/browser/decorations/decorations-main.ts +146 -146
  141. package/src/main/browser/dialogs/modal-notification.ts +112 -112
  142. package/src/main/browser/dialogs/style/modal-notification.css +123 -123
  143. package/src/main/browser/dialogs-main.ts +185 -185
  144. package/src/main/browser/documents-main.ts +275 -275
  145. package/src/main/browser/editors-and-documents-main.ts +448 -425
  146. package/src/main/browser/env-main.ts +60 -60
  147. package/src/main/browser/file-system-main-impl.ts +267 -267
  148. package/src/main/browser/hierarchy/hierarchy-types-converters.ts +189 -189
  149. package/src/main/browser/keybindings/keybindings-contribution-handler.ts +66 -66
  150. package/src/main/browser/label-service-main.ts +51 -51
  151. package/src/main/browser/languages-main.ts +1439 -1439
  152. package/src/main/browser/localization-main.ts +34 -34
  153. package/src/main/browser/main-context.ts +210 -210
  154. package/src/main/browser/main-file-system-event-service.ts +76 -76
  155. package/src/main/browser/menus/menus-contribution-handler.ts +172 -172
  156. package/src/main/browser/menus/plugin-menu-command-adapter.ts +358 -358
  157. package/src/main/browser/menus/vscode-theia-menu-mappings.ts +118 -118
  158. package/src/main/browser/message-registry-main.ts +43 -43
  159. package/src/main/browser/notebooks/notebook-documents-and-editors-main.ts +252 -249
  160. package/src/main/browser/notebooks/notebook-documents-main.ts +202 -202
  161. package/src/main/browser/notebooks/notebook-dto.ts +131 -131
  162. package/src/main/browser/notebooks/notebook-editors-main.ts +88 -88
  163. package/src/main/browser/notebooks/notebook-kernels-main.ts +339 -339
  164. package/src/main/browser/notebooks/notebook-renderers-main.ts +47 -47
  165. package/src/main/browser/notebooks/notebooks-main.ts +164 -164
  166. package/src/main/browser/notebooks/renderers/cell-output-webview.tsx +452 -452
  167. package/src/main/browser/notebooks/renderers/output-webview-internal.ts +636 -636
  168. package/src/main/browser/notebooks/renderers/webview-communication.ts +107 -107
  169. package/src/main/browser/notification-main.ts +26 -26
  170. package/src/main/browser/output-channel-registry-main.ts +53 -53
  171. package/src/main/browser/plugin-authentication-service.ts +71 -71
  172. package/src/main/browser/plugin-contribution-handler.ts +698 -698
  173. package/src/main/browser/plugin-ext-frontend-module.ts +291 -291
  174. package/src/main/browser/plugin-ext-widget.tsx +132 -132
  175. package/src/main/browser/plugin-frontend-contribution.ts +70 -70
  176. package/src/main/browser/plugin-frontend-view-contribution.ts +38 -38
  177. package/src/main/browser/plugin-icon-service.ts +92 -92
  178. package/src/main/browser/plugin-icon-theme-service.ts +625 -625
  179. package/src/main/browser/plugin-shared-style.ts +154 -154
  180. package/src/main/browser/plugin-storage.ts +55 -55
  181. package/src/main/browser/plugin-terminal-registry.ts +27 -27
  182. package/src/main/browser/preference-registry-main.ts +123 -123
  183. package/src/main/browser/quick-open-main.ts +367 -367
  184. package/src/main/browser/scm-main.ts +472 -472
  185. package/src/main/browser/secrets-main.ts +82 -82
  186. package/src/main/browser/selection-provider-command.ts +45 -45
  187. package/src/main/browser/status-bar-message-registry-main.ts +90 -90
  188. package/src/main/browser/style/comments.css +345 -345
  189. package/src/main/browser/style/index.css +84 -84
  190. package/src/main/browser/style/plugin-sidebar.css +73 -73
  191. package/src/main/browser/style/tree.css +54 -54
  192. package/src/main/browser/style/webview.css +55 -55
  193. package/src/main/browser/tabs/tabs-main.ts +388 -384
  194. package/src/main/browser/tasks-main.ts +268 -268
  195. package/src/main/browser/terminal-main.ts +370 -370
  196. package/src/main/browser/test-main.ts +632 -632
  197. package/src/main/browser/text-editor-main.ts +519 -478
  198. package/src/main/browser/text-editor-model-service.ts +111 -111
  199. package/src/main/browser/text-editors-main.ts +234 -234
  200. package/src/main/browser/theme-icon-override.ts +246 -246
  201. package/src/main/browser/theming-main.ts +42 -42
  202. package/src/main/browser/timeline-main.ts +80 -80
  203. package/src/main/browser/uri-main.ts +72 -72
  204. package/src/main/browser/view/dnd-file-content-store.ts +42 -42
  205. package/src/main/browser/view/plugin-tree-view-node-label-provider.ts +81 -81
  206. package/src/main/browser/view/plugin-view-registry.ts +967 -967
  207. package/src/main/browser/view/plugin-view-widget.ts +221 -221
  208. package/src/main/browser/view/tree-view-decorator-service.ts +51 -51
  209. package/src/main/browser/view/tree-view-widget.tsx +931 -931
  210. package/src/main/browser/view/tree-views-main.ts +205 -205
  211. package/src/main/browser/view/view-context-key-service.ts +64 -64
  212. package/src/main/browser/webview/pre/fake.html +14 -14
  213. package/src/main/browser/webview/pre/host.js +130 -130
  214. package/src/main/browser/webview/pre/index.html +17 -17
  215. package/src/main/browser/webview/pre/main.js +682 -682
  216. package/src/main/browser/webview/pre/service-worker.js +296 -296
  217. package/src/main/browser/webview/webview-context-keys.ts +62 -62
  218. package/src/main/browser/webview/webview-environment.ts +87 -87
  219. package/src/main/browser/webview/webview-frontend-security-warnings.ts +59 -59
  220. package/src/main/browser/webview/webview-preferences.ts +72 -72
  221. package/src/main/browser/webview/webview-resource-cache.ts +88 -88
  222. package/src/main/browser/webview/webview-secondary-window-support.ts +47 -47
  223. package/src/main/browser/webview/webview-theme-data-provider.ts +124 -124
  224. package/src/main/browser/webview/webview.ts +718 -718
  225. package/src/main/browser/webview-views/webview-views-main.ts +154 -154
  226. package/src/main/browser/webview-views/webview-views.ts +43 -43
  227. package/src/main/browser/webviews-main.ts +287 -287
  228. package/src/main/browser/window-activity-tracker.ts +96 -96
  229. package/src/main/browser/window-state-main.ts +85 -85
  230. package/src/main/browser/workspace-main.ts +424 -424
  231. package/src/main/common/basic-message-registry-main.ts +53 -53
  232. package/src/main/common/basic-notification-main.ts +86 -86
  233. package/src/main/common/env-main.ts +44 -44
  234. package/src/main/common/plugin-paths-protocol.ts +26 -26
  235. package/src/main/common/plugin-theia-environment.ts +36 -36
  236. package/src/main/common/webview-protocol.ts +28 -28
  237. package/src/main/electron-browser/plugin-ext-frontend-electron-module.ts +25 -25
  238. package/src/main/electron-browser/webview/electron-webview-widget-factory.ts +59 -59
  239. package/src/main/node/errors.spec.ts +37 -37
  240. package/src/main/node/handlers/plugin-theia-directory-handler.ts +137 -137
  241. package/src/main/node/handlers/plugin-theia-file-handler.ts +66 -66
  242. package/src/main/node/paths/const.ts +21 -21
  243. package/src/main/node/paths/plugin-paths-service.ts +163 -163
  244. package/src/main/node/plugin-cli-contribution.ts +85 -85
  245. package/src/main/node/plugin-deployer-contribution.ts +35 -35
  246. package/src/main/node/plugin-deployer-directory-handler-context-impl.ts +45 -45
  247. package/src/main/node/plugin-deployer-entry-impl.ts +132 -132
  248. package/src/main/node/plugin-deployer-file-handler-context-impl.ts +33 -33
  249. package/src/main/node/plugin-deployer-impl.ts +375 -375
  250. package/src/main/node/plugin-deployer-proxy-entry-impl.ts +96 -96
  251. package/src/main/node/plugin-deployer-resolver-context-impl.ts +55 -55
  252. package/src/main/node/plugin-ext-backend-module.ts +106 -106
  253. package/src/main/node/plugin-github-resolver.ts +139 -139
  254. package/src/main/node/plugin-http-resolver.ts +92 -92
  255. package/src/main/node/plugin-localization-server.ts +42 -42
  256. package/src/main/node/plugin-mgmt-cli-contribution.ts +64 -64
  257. package/src/main/node/plugin-remote-cli-contribution.ts +36 -36
  258. package/src/main/node/plugin-remote-copy-contribution.ts +36 -36
  259. package/src/main/node/plugin-server-handler.ts +69 -69
  260. package/src/main/node/plugin-service.ts +97 -97
  261. package/src/main/node/plugin-theia-deployer-participant.ts +32 -32
  262. package/src/main/node/plugin-uninstallation-manager.ts +74 -74
  263. package/src/main/node/plugins-key-value-storage.spec.ts +110 -110
  264. package/src/main/node/plugins-key-value-storage.ts +161 -161
  265. package/src/main/node/resolvers/local-directory-plugin-deployer-resolver.ts +37 -37
  266. package/src/main/node/resolvers/local-plugin-deployer-resolver.ts +56 -56
  267. package/src/main/node/temp-dir-util.ts +36 -36
  268. package/src/main/node/webview-backend-security-warnings.ts +45 -45
  269. package/src/main/style/status-bar.css +35 -35
  270. package/src/plugin/authentication-ext.ts +140 -140
  271. package/src/plugin/clipboard-ext.ts +43 -43
  272. package/src/plugin/command-registry.ts +219 -219
  273. package/src/plugin/comments.ts +549 -549
  274. package/src/plugin/custom-editors.ts +334 -334
  275. package/src/plugin/debug/debug-ext.ts +549 -549
  276. package/src/plugin/debug/plugin-debug-adapter-creator.ts +50 -50
  277. package/src/plugin/debug/plugin-debug-adapter-session.ts +106 -106
  278. package/src/plugin/debug/plugin-debug-adapter-tracker.ts +85 -85
  279. package/src/plugin/decorations.ts +140 -140
  280. package/src/plugin/dialogs.ts +96 -96
  281. package/src/plugin/document-data.ts +366 -366
  282. package/src/plugin/documents.ts +283 -283
  283. package/src/plugin/editors-and-documents.ts +176 -176
  284. package/src/plugin/env.ts +134 -134
  285. package/src/plugin/file-system-event-service-ext-impl.ts +256 -256
  286. package/src/plugin/file-system-ext-impl.ts +415 -415
  287. package/src/plugin/known-commands.spec.ts +50 -50
  288. package/src/plugin/known-commands.ts +429 -429
  289. package/src/plugin/label-service.ts +36 -36
  290. package/src/plugin/languages/call-hierarchy.ts +124 -124
  291. package/src/plugin/languages/code-action.ts +162 -162
  292. package/src/plugin/languages/color.ts +75 -75
  293. package/src/plugin/languages/completion.ts +183 -183
  294. package/src/plugin/languages/declaration.ts +72 -72
  295. package/src/plugin/languages/definition.ts +73 -73
  296. package/src/plugin/languages/diagnostics.ts +325 -325
  297. package/src/plugin/languages/document-drop-edit.ts +44 -44
  298. package/src/plugin/languages/document-formatting.ts +47 -47
  299. package/src/plugin/languages/document-highlight.ts +61 -61
  300. package/src/plugin/languages/evaluatable-expression.ts +47 -47
  301. package/src/plugin/languages/folding.ts +46 -46
  302. package/src/plugin/languages/hover.ts +58 -58
  303. package/src/plugin/languages/implementation.ts +73 -73
  304. package/src/plugin/languages/inlay-hints.ts +149 -149
  305. package/src/plugin/languages/inline-completion.ts +126 -126
  306. package/src/plugin/languages/inline-values.ts +50 -50
  307. package/src/plugin/languages/lens.ts +102 -102
  308. package/src/plugin/languages/link-provider.ts +81 -81
  309. package/src/plugin/languages/linked-editing-range.ts +48 -48
  310. package/src/plugin/languages/on-type-formatting.ts +50 -50
  311. package/src/plugin/languages/outline.ts +126 -126
  312. package/src/plugin/languages/range-formatting.ts +48 -48
  313. package/src/plugin/languages/reference.ts +58 -58
  314. package/src/plugin/languages/rename.ts +130 -130
  315. package/src/plugin/languages/selection-range.ts +80 -80
  316. package/src/plugin/languages/semantic-highlighting.ts +211 -211
  317. package/src/plugin/languages/signature.ts +82 -82
  318. package/src/plugin/languages/type-definition.ts +73 -73
  319. package/src/plugin/languages/type-hierarchy.ts +117 -117
  320. package/src/plugin/languages/util.ts +26 -26
  321. package/src/plugin/languages/workspace-symbol.ts +66 -66
  322. package/src/plugin/languages-utils.ts +68 -68
  323. package/src/plugin/languages.ts +1022 -1022
  324. package/src/plugin/localization-ext.ts +89 -89
  325. package/src/plugin/markdown-string.ts +115 -115
  326. package/src/plugin/message-registry.ts +70 -70
  327. package/src/plugin/node/debug/debug.spec.ts +98 -98
  328. package/src/plugin/node/debug/plugin-node-debug-adapter-creator.ts +167 -167
  329. package/src/plugin/node/env-node-ext.ts +64 -64
  330. package/src/plugin/node/plugin-container-module.ts +165 -165
  331. package/src/plugin/notebook/notebook-document.ts +446 -446
  332. package/src/plugin/notebook/notebook-documents.ts +58 -58
  333. package/src/plugin/notebook/notebook-editor.ts +116 -116
  334. package/src/plugin/notebook/notebook-editors.ts +71 -71
  335. package/src/plugin/notebook/notebook-kernels.ts +631 -631
  336. package/src/plugin/notebook/notebook-renderers.ts +71 -71
  337. package/src/plugin/notebook/notebooks.ts +470 -449
  338. package/src/plugin/notification.ts +80 -80
  339. package/src/plugin/output-channel/log-output-channel.ts +108 -108
  340. package/src/plugin/output-channel/output-channel-item.ts +73 -73
  341. package/src/plugin/output-channel-registry.ts +52 -52
  342. package/src/plugin/path.spec.ts +40 -40
  343. package/src/plugin/path.ts +68 -68
  344. package/src/plugin/plugin-context.ts +1606 -1606
  345. package/src/plugin/plugin-icon-path.ts +53 -53
  346. package/src/plugin/plugin-manager.ts +508 -508
  347. package/src/plugin/plugin-storage.ts +138 -138
  348. package/src/plugin/preference-registry.spec.ts +288 -288
  349. package/src/plugin/preference-registry.ts +335 -335
  350. package/src/plugin/prefix-sum-computer.ts +218 -218
  351. package/src/plugin/quick-open.ts +735 -735
  352. package/src/plugin/scm.ts +919 -919
  353. package/src/plugin/secrets-ext.ts +104 -104
  354. package/src/plugin/status-bar/status-bar-item.ts +193 -193
  355. package/src/plugin/status-bar-message-registry.ts +103 -103
  356. package/src/plugin/tabs.ts +431 -431
  357. package/src/plugin/tasks/task-provider.ts +57 -57
  358. package/src/plugin/tasks/tasks.ts +252 -252
  359. package/src/plugin/telemetry-ext.ts +298 -298
  360. package/src/plugin/terminal-ext.ts +569 -569
  361. package/src/plugin/test-item.ts +174 -174
  362. package/src/plugin/tests.ts +545 -545
  363. package/src/plugin/text-editor.ts +581 -581
  364. package/src/plugin/text-editors.ts +157 -157
  365. package/src/plugin/theming.ts +73 -73
  366. package/src/plugin/timeline.ts +186 -186
  367. package/src/plugin/tree/tree-views.ts +682 -682
  368. package/src/plugin/type-converters.spec.ts +476 -476
  369. package/src/plugin/type-converters.ts +1768 -1768
  370. package/src/plugin/types-impl.spec.ts +85 -85
  371. package/src/plugin/types-impl.ts +4011 -4011
  372. package/src/plugin/uri-ext.ts +60 -60
  373. package/src/plugin/webview-views.ts +228 -228
  374. package/src/plugin/webviews.ts +468 -468
  375. package/src/plugin/window-state.ts +75 -75
  376. package/src/plugin/word-helper.ts +162 -162
  377. package/src/plugin/workspace.ts +505 -505
  378. package/src/plugin-ext-backend-electron-module.ts +24 -24
  379. package/src/plugin-ext-backend-module.ts +24 -24
  380. package/src/plugin-ext-frontend-electron-module.ts +19 -19
  381. package/src/plugin-ext-frontend-module.ts +19 -19
@@ -1,636 +1,636 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2023 TypeFox and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
- /*---------------------------------------------------------------------------------------------
17
- * Copyright (c) Microsoft Corporation. All rights reserved.
18
- * Licensed under the MIT License. See License.txt in the project root for license information.
19
- *--------------------------------------------------------------------------------------------*/
20
-
21
- // only type imports are allowed here since this runs in an iframe. All other code is not accessible
22
- import type * as webviewCommunication from './webview-communication';
23
- import type * as rendererApi from 'vscode-notebook-renderer';
24
- import type { Disposable, Event } from '@theia/core';
25
-
26
- declare const acquireVsCodeApi: () => ({
27
- getState(): { [key: string]: unknown };
28
- setState(data: { [key: string]: unknown }): void;
29
- postMessage: (msg: unknown) => void;
30
- });
31
-
32
- declare function __import(path: string): Promise<unknown>;
33
-
34
- interface Listener<T> { fn: (evt: T) => void; thisArg: unknown };
35
-
36
- interface EmitterLike<T> {
37
- fire(data: T): void;
38
- event: Event<T>;
39
- }
40
-
41
- interface RendererContext extends rendererApi.RendererContext<unknown> {
42
- readonly onDidChangeSettings: Event<RenderOptions>;
43
- readonly settings: RenderOptions;
44
- }
45
-
46
- interface NotebookRendererEntrypoint {
47
- readonly path: string;
48
- readonly extends?: string
49
- };
50
-
51
- export interface RenderOptions {
52
- readonly lineLimit: number;
53
- readonly outputScrolling: boolean;
54
- readonly outputWordWrap: boolean;
55
- }
56
-
57
- export interface PreloadContext {
58
- readonly isWorkspaceTrusted: boolean;
59
- readonly rendererData: readonly webviewCommunication.RendererMetadata[];
60
- readonly renderOptions: RenderOptions;
61
- readonly staticPreloadsData: readonly string[];
62
- }
63
-
64
- interface KernelPreloadContext {
65
- readonly onDidReceiveKernelMessage: Event<unknown>;
66
- postKernelMessage(data: unknown): void;
67
- }
68
-
69
- interface KernelPreloadModule {
70
- activate(ctx: KernelPreloadContext): Promise<void> | void;
71
- }
72
-
73
- export async function outputWebviewPreload(ctx: PreloadContext): Promise<void> {
74
- const theia = acquireVsCodeApi();
75
- const renderFallbackErrorName = 'vscode.fallbackToNextRenderer';
76
-
77
- function createEmitter<T>(listenerChange: (listeners: Set<Listener<T>>) => void = () => undefined): EmitterLike<T> {
78
- const listeners = new Set<Listener<T>>();
79
- return {
80
- fire(data: T): void {
81
- for (const listener of [...listeners]) {
82
- listener.fn.call(listener.thisArg, data);
83
- }
84
- },
85
- event(fn, thisArg, disposables): Disposable {
86
- const listenerObj = { fn, thisArg };
87
- const disposable: Disposable = {
88
- dispose: () => {
89
- listeners.delete(listenerObj);
90
- listenerChange(listeners);
91
- },
92
- };
93
-
94
- listeners.add(listenerObj);
95
- listenerChange(listeners);
96
-
97
- if (disposables) {
98
- if ('push' in disposables) {
99
- disposables.push(disposable);
100
- } else {
101
- disposables.add(disposable);
102
- }
103
- }
104
- return disposable;
105
- }
106
- };
107
- };
108
-
109
- const settingChange: EmitterLike<RenderOptions> = createEmitter<RenderOptions>();
110
-
111
- const onDidReceiveKernelMessage = createEmitter<unknown>();
112
-
113
- function createKernelContext(): KernelPreloadContext {
114
- return Object.freeze({
115
- onDidReceiveKernelMessage: onDidReceiveKernelMessage.event,
116
- postKernelMessage: (data: unknown) => {
117
- theia.postMessage({ type: 'customKernelMessage', message: data });
118
- }
119
- });
120
- }
121
-
122
- async function runKernelPreload(url: string): Promise<void> {
123
- try {
124
- return activateModuleKernelPreload(url);
125
- } catch (e) {
126
- console.error(e);
127
- throw e;
128
- }
129
- }
130
-
131
- async function activateModuleKernelPreload(url: string): Promise<void> {
132
- const baseUri = window.location.href.replace(/\/webview\/index\.html.*/, '');
133
- const module: KernelPreloadModule = (await __import(`${baseUri}/${url}`)) as KernelPreloadModule;
134
- if (!module.activate) {
135
- console.error(`Notebook preload '${url}' was expected to be a module but it does not export an 'activate' function`);
136
- return;
137
- }
138
- return module.activate(createKernelContext());
139
- }
140
-
141
- class Output {
142
- readonly outputId: string;
143
- renderedItem?: rendererApi.OutputItem;
144
- allItems: rendererApi.OutputItem[];
145
-
146
- renderer: Renderer;
147
-
148
- element: HTMLElement;
149
- container: HTMLElement;
150
-
151
- constructor(output: webviewCommunication.Output, items: rendererApi.OutputItem[]) {
152
- this.createHtmlElement(output.id);
153
- this.outputId = output.id;
154
- this.allItems = items;
155
- }
156
-
157
- findItemToRender(preferredMimetype?: string): rendererApi.OutputItem {
158
- if (preferredMimetype) {
159
- const itemToRender = this.allItems.find(item => item.mime === preferredMimetype);
160
- if (itemToRender) {
161
- return itemToRender;
162
- }
163
- }
164
- return this.renderedItem ?? this.allItems[0];
165
- }
166
-
167
- clear(): void {
168
- this.renderer?.disposeOutputItem?.(this.renderedItem?.id);
169
- this.element.innerHTML = '';
170
- }
171
-
172
- private createHtmlElement(id: string): void {
173
- // Recreates the output container structure used in VS Code
174
- this.container = document.createElement('div');
175
- this.container.id = 'container';
176
- this.container.classList.add('widgetarea');
177
- const cellContainer = document.createElement('div');
178
- cellContainer.classList.add('cell_container');
179
- cellContainer.id = id;
180
- this.container.appendChild(cellContainer);
181
- const outputContainer = document.createElement('div');
182
- outputContainer.classList.add('output-container');
183
- cellContainer.appendChild(outputContainer);
184
- this.element = document.createElement('div');
185
- this.element.id = id;
186
- this.element.classList.add('output');
187
- outputContainer.appendChild(this.element);
188
- document.body.appendChild(this.container);
189
- }
190
- }
191
-
192
- const outputs: Output[] = [];
193
-
194
- class Renderer {
195
-
196
- entrypoint: NotebookRendererEntrypoint;
197
-
198
- private rendererApi?: rendererApi.RendererApi;
199
-
200
- private onMessageEvent: EmitterLike<unknown> = createEmitter();
201
-
202
- constructor(
203
- public readonly data: webviewCommunication.RendererMetadata
204
- ) { }
205
-
206
- public receiveMessage(message: unknown): void {
207
- this.onMessageEvent.fire(message);
208
- }
209
-
210
- public disposeOutputItem(id?: string): void {
211
- this.rendererApi?.disposeOutputItem?.(id);
212
- }
213
-
214
- async getOrLoad(): Promise<rendererApi.RendererApi | undefined> {
215
- if (this.rendererApi) {
216
- return this.rendererApi;
217
- }
218
-
219
- // Preloads need to be loaded before loading renderers.
220
- await kernelPreloads.waitForAllCurrent();
221
-
222
- const baseUri = window.location.href.replace(/\/webview\/index\.html.*/, '');
223
- const rendererModule = await __import(`${baseUri}/${this.data.entrypoint.uri}`) as { activate: rendererApi.ActivationFunction };
224
- this.rendererApi = await rendererModule.activate(this.createRendererContext());
225
- return this.rendererApi;
226
- }
227
-
228
- protected createRendererContext(): RendererContext {
229
- const context: RendererContext = {
230
- setState: newState => theia.setState({ ...theia.getState(), [this.data.id]: newState }),
231
- getState: <T>() => {
232
- const state = theia.getState();
233
- return typeof state === 'object' && state ? state[this.data.id] as T : undefined;
234
- },
235
- getRenderer: async (id: string) => {
236
- const renderer = renderers.getRenderer(id);
237
- if (!renderer) {
238
- return undefined;
239
- }
240
- if (renderer.rendererApi) {
241
- return renderer.rendererApi;
242
- }
243
- return renderer.getOrLoad();
244
- },
245
- workspace: {
246
- get isTrusted(): boolean { return true; } // TODO use Workspace trust service
247
- },
248
- settings: {
249
- get lineLimit(): number { return ctx.renderOptions.lineLimit; },
250
- get outputScrolling(): boolean { return ctx.renderOptions.outputScrolling; },
251
- get outputWordWrap(): boolean { return ctx.renderOptions.outputWordWrap; },
252
- },
253
- get onDidChangeSettings(): Event<RenderOptions> { return settingChange.event; },
254
- };
255
-
256
- if (this.data.requiresMessaging) {
257
- context.onDidReceiveMessage = this.onMessageEvent.event;
258
- context.postMessage = message => {
259
- theia.postMessage({ type: 'customRendererMessage', rendererId: this.data.id, message });
260
- };
261
- }
262
-
263
- return Object.freeze(context);
264
- }
265
- }
266
-
267
- const renderers = new class {
268
- private readonly renderers = new Map</* id */ string, Renderer>();
269
-
270
- constructor() {
271
- for (const renderer of ctx.rendererData) {
272
- this.addRenderer(renderer);
273
- }
274
- }
275
-
276
- public getRenderer(id: string): Renderer | undefined {
277
- return this.renderers.get(id);
278
- }
279
-
280
- private rendererEqual(a: webviewCommunication.RendererMetadata, b: webviewCommunication.RendererMetadata): boolean {
281
- if (a.id !== b.id || a.entrypoint.uri !== b.entrypoint.uri || a.entrypoint.extends !== b.entrypoint.extends || a.requiresMessaging !== b.requiresMessaging) {
282
- return false;
283
- }
284
-
285
- if (a.mimeTypes.length !== b.mimeTypes.length) {
286
- return false;
287
- }
288
-
289
- for (let i = 0; i < a.mimeTypes.length; i++) {
290
- if (a.mimeTypes[i] !== b.mimeTypes[i]) {
291
- return false;
292
- }
293
- }
294
-
295
- return true;
296
- }
297
-
298
- public updateRendererData(rendererData: readonly webviewCommunication.RendererMetadata[]): void {
299
- const oldKeys = new Set(this.renderers.keys());
300
- const newKeys = new Set(rendererData.map(d => d.id));
301
-
302
- for (const renderer of rendererData) {
303
- const existing = this.renderers.get(renderer.id);
304
- if (existing && this.rendererEqual(existing.data, renderer)) {
305
- continue;
306
- }
307
-
308
- this.addRenderer(renderer);
309
- }
310
-
311
- for (const key of oldKeys) {
312
- if (!newKeys.has(key)) {
313
- this.renderers.delete(key);
314
- }
315
- }
316
- }
317
-
318
- private addRenderer(renderer: webviewCommunication.RendererMetadata): void {
319
- this.renderers.set(renderer.id, new Renderer(renderer));
320
- }
321
-
322
- public clearAll(): void {
323
- for (const renderer of this.renderers.values()) {
324
- renderer.disposeOutputItem();
325
- }
326
- }
327
-
328
- public clearOutput(rendererId: string, outputId: string): void {
329
- // outputRunner.cancelOutput(outputId);
330
- this.renderers.get(rendererId)?.disposeOutputItem(outputId);
331
- }
332
-
333
- public async render(output: Output, preferredMimeType: string | undefined, preferredRendererId: string | undefined, signal: AbortSignal): Promise<void> {
334
- const item = output.findItemToRender(preferredMimeType);
335
- const primaryRenderer = this.findRenderer(preferredRendererId, item);
336
- if (!primaryRenderer) {
337
- this.showRenderError(item, output.element, 'No renderer found for output type.');
338
- return;
339
- }
340
-
341
- // Try primary renderer first
342
- if (!(await this.doRender(item, output.element, primaryRenderer, signal)).continue) {
343
- output.renderer = primaryRenderer;
344
- this.onRenderCompleted();
345
- return;
346
- }
347
-
348
- // Primary renderer failed in an expected way. Fallback to render the next mime types
349
- for (const additionalItem of output.allItems) {
350
- if (additionalItem.mime === item.mime) {
351
- continue;
352
- }
353
-
354
- if (signal.aborted) {
355
- return;
356
- }
357
-
358
- if (additionalItem) {
359
- const renderer = this.findRenderer(undefined, additionalItem);
360
- if (renderer) {
361
- if (!(await this.doRender(additionalItem, output.element, renderer, signal)).continue) {
362
- output.renderer = renderer;
363
- this.onRenderCompleted();
364
- return; // We rendered successfully
365
- }
366
- }
367
- }
368
- }
369
-
370
- // All renderers have failed and there is nothing left to fallback to
371
- this.showRenderError(item, output.element, 'No fallback renderers found or all fallback renderers failed.');
372
- }
373
-
374
- private onRenderCompleted(): void {
375
- // we need to check for all images are loaded. Otherwise we can't determine the correct height of the output
376
- const images = Array.from(document.images);
377
- if (images.length > 0) {
378
- Promise.all(images.filter(img => !img.complete).map(img => new Promise(resolve => { img.onload = img.onerror = resolve; }))).then(() => {
379
- theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight });
380
- new ResizeObserver(() =>
381
- theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight }))
382
- .observe(document.body);
383
- });
384
- } else {
385
- theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight });
386
- new ResizeObserver(() =>
387
- theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight }))
388
- .observe(document.body);
389
- }
390
-
391
- }
392
-
393
- private async doRender(item: rendererApi.OutputItem, element: HTMLElement, renderer: Renderer, signal: AbortSignal): Promise<{ continue: boolean }> {
394
- try {
395
- (await renderer.getOrLoad())?.renderOutputItem(item, element, signal);
396
- return { continue: false }; // We rendered successfully
397
- } catch (e) {
398
- if (signal.aborted) {
399
- return { continue: false };
400
- }
401
-
402
- if (e instanceof Error && e.name === renderFallbackErrorName) {
403
- return { continue: true };
404
- } else {
405
- throw e; // Bail and let callers handle unknown errors
406
- }
407
- }
408
- }
409
-
410
- private findRenderer(preferredRendererId: string | undefined, info: rendererApi.OutputItem): Renderer | undefined {
411
- let foundRenderer: Renderer | undefined;
412
-
413
- if (typeof preferredRendererId === 'string') {
414
- foundRenderer = Array.from(this.renderers.values())
415
- .find(renderer => renderer.data.id === preferredRendererId);
416
- } else {
417
- const rendererList = Array.from(this.renderers.values())
418
- .filter(renderer => renderer.data.mimeTypes.includes(info.mime) && !renderer.data.entrypoint.extends);
419
-
420
- if (rendererList.length) {
421
- // De-prioritize built-in renderers
422
- // rendererList.sort((a, b) => +a.data.isBuiltin - +b.data.isBuiltin);
423
-
424
- // Use first renderer we find in sorted list
425
- foundRenderer = rendererList[0];
426
- }
427
- }
428
- return foundRenderer;
429
- }
430
-
431
- private showRenderError(info: rendererApi.OutputItem, element: HTMLElement, errorMessage: string): void {
432
- const errorContainer = document.createElement('div');
433
-
434
- const error = document.createElement('div');
435
- error.className = 'no-renderer-error';
436
- error.innerText = errorMessage;
437
-
438
- const cellText = document.createElement('div');
439
- cellText.innerText = info.text();
440
-
441
- errorContainer.appendChild(error);
442
- errorContainer.appendChild(cellText);
443
-
444
- element.innerText = '';
445
- element.appendChild(errorContainer);
446
- }
447
- }();
448
-
449
- const kernelPreloads = new class {
450
- private readonly preloads = new Map<string /* uri */, Promise<unknown>>();
451
-
452
- /**
453
- * Returns a promise that resolves when the given preload is activated.
454
- */
455
- public waitFor(uri: string): Promise<unknown> {
456
- return this.preloads.get(uri) || Promise.resolve(new Error(`Preload not ready: ${uri}`));
457
- }
458
-
459
- /**
460
- * Loads a preload.
461
- * @param uri URI to load from
462
- * @param originalUri URI to show in an error message if the preload is invalid.
463
- */
464
- public load(uri: string): Promise<unknown> {
465
- const promise = Promise.all([
466
- runKernelPreload(uri),
467
- this.waitForAllCurrent(),
468
- ]);
469
-
470
- this.preloads.set(uri, promise);
471
- return promise;
472
- }
473
-
474
- /**
475
- * Returns a promise that waits for all currently-registered preloads to
476
- * activate before resolving.
477
- */
478
- public waitForAllCurrent(): Promise<unknown[]> {
479
- return Promise.all([...this.preloads.values()].map(p => p.catch(err => err)));
480
- }
481
- };
482
-
483
- await Promise.all(ctx.staticPreloadsData.map(preload => kernelPreloads.load(preload)));
484
-
485
- function clearOutput(output: Output): void {
486
- output.clear();
487
- output.container.remove();
488
- }
489
-
490
- function outputsChanged(changedEvent: webviewCommunication.OutputChangedMessage): void {
491
- for (const output of outputs.splice(changedEvent.deleteStart ?? 0, changedEvent.deleteCount ?? 0)) {
492
- clearOutput(output);
493
- }
494
-
495
- for (const outputData of changedEvent.newOutputs ?? []) {
496
- const apiItems: rendererApi.OutputItem[] = outputData.items.map((item, index) => ({
497
- id: `${outputData.id}-${index}`,
498
- mime: item.mime,
499
- metadata: outputData.metadata,
500
- data(): Uint8Array {
501
- return item.data;
502
- },
503
- text(): string {
504
- return new TextDecoder().decode(this.data());
505
- },
506
- json(): unknown {
507
- return JSON.parse(this.text());
508
- },
509
- blob(): Blob {
510
- return new Blob([this.data()], { type: this.mime });
511
- },
512
-
513
- }));
514
-
515
- const output = new Output(outputData, apiItems);
516
- outputs.push(output);
517
-
518
- renderers.render(output, undefined, undefined, new AbortController().signal);
519
- }
520
- }
521
-
522
- function shouldHandleScroll(event: WheelEvent): boolean {
523
- for (let node = event.target as Node | null; node; node = node.parentNode) {
524
- if (!(node instanceof Element)) {
525
- return false;
526
- }
527
-
528
- // scroll up
529
- if (event.deltaY < 0 && node.scrollTop > 0) {
530
- // there is still some content to scroll
531
- return true;
532
- }
533
-
534
- // scroll down
535
- if (event.deltaY > 0 && node.scrollTop + node.clientHeight < node.scrollHeight) {
536
- // per https://developer.mozilla.org/en-US/docs/Web/API/Element/scrollHeight
537
- // scrollTop is not rounded but scrollHeight and clientHeight are
538
- // so we need to check if the difference is less than some threshold
539
- if (node.scrollHeight - node.scrollTop - node.clientHeight < 2) {
540
- continue;
541
- }
542
-
543
- // if the node is not scrollable, we can continue. We don't check the computed style always as it's expensive
544
- if (window.getComputedStyle(node).overflowY === 'hidden' || window.getComputedStyle(node).overflowY === 'visible') {
545
- continue;
546
- }
547
-
548
- return true;
549
- }
550
- }
551
-
552
- return false;
553
- }
554
-
555
- const handleWheel = (event: WheelEvent & { wheelDeltaX?: number; wheelDeltaY?: number; wheelDelta?: number }) => {
556
- if (event.defaultPrevented || shouldHandleScroll(event)) {
557
- return;
558
- }
559
- theia.postMessage({
560
- type: 'did-scroll-wheel',
561
- deltaY: event.deltaY,
562
- deltaX: event.deltaX,
563
- });
564
- };
565
-
566
- window.addEventListener('message', async rawEvent => {
567
- const event = rawEvent as ({ data: webviewCommunication.ToWebviewMessage });
568
- switch (event.data.type) {
569
- case 'updateRenderers':
570
- renderers.updateRendererData(event.data.rendererData);
571
- break;
572
- case 'outputChanged':
573
- outputsChanged(event.data);
574
- break;
575
- case 'customRendererMessage':
576
- renderers.getRenderer(event.data.rendererId)?.receiveMessage(event.data.message);
577
- break;
578
- case 'changePreferredMimetype':
579
- const mimeType = event.data.mimeType;
580
- outputs.forEach(output => {
581
- output.element.innerHTML = '';
582
- renderers.render(output, mimeType, undefined, new AbortController().signal);
583
- });
584
- break;
585
- case 'customKernelMessage':
586
- onDidReceiveKernelMessage.fire(event.data.message);
587
- break;
588
- case 'preload': {
589
- const resources = event.data.resources;
590
- for (const uri of resources) {
591
- kernelPreloads.load(uri);
592
- }
593
- break;
594
- }
595
- case 'notebookStyles': {
596
- const documentStyle = window.document.documentElement.style;
597
-
598
- for (let i = documentStyle.length - 1; i >= 0; i--) {
599
- const property = documentStyle[i];
600
-
601
- // Don't remove properties that the webview might have added separately
602
- if (property && property.startsWith('--notebook-')) {
603
- documentStyle.removeProperty(property);
604
- }
605
- }
606
-
607
- // Re-add new properties
608
- for (const [name, value] of Object.entries(event.data.styles)) {
609
- documentStyle.setProperty(`--${name}`, value);
610
- }
611
- break;
612
- }
613
- }
614
- });
615
- window.addEventListener('wheel', handleWheel);
616
-
617
- (document.head as HTMLHeadElement & { originalAppendChild: typeof document.head.appendChild }).originalAppendChild = document.head.appendChild;
618
- (document.head as HTMLHeadElement & { originalAppendChild: typeof document.head.appendChild }).appendChild = function appendChild<T extends Node>(node: T): T {
619
- if (node instanceof HTMLScriptElement && node.src.includes('webviewuuid')) {
620
- node.src = node.src.replace('webviewuuid', location.hostname.split('.')[0]);
621
- }
622
- return this.originalAppendChild(node);
623
- };
624
-
625
- const focusChange = (event: FocusEvent, focus: boolean) => {
626
- if (event.target instanceof HTMLInputElement) {
627
- theia.postMessage({ type: 'inputFocusChanged', focused: focus } as webviewCommunication.InputFocusChange);
628
- }
629
- };
630
-
631
- window.addEventListener('focusin', (event: FocusEvent) => focusChange(event, true));
632
-
633
- window.addEventListener('focusout', (event: FocusEvent) => focusChange(event, false));
634
-
635
- theia.postMessage(<webviewCommunication.WebviewInitialized>{ type: 'initialized' });
636
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2023 TypeFox and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+ /*---------------------------------------------------------------------------------------------
17
+ * Copyright (c) Microsoft Corporation. All rights reserved.
18
+ * Licensed under the MIT License. See License.txt in the project root for license information.
19
+ *--------------------------------------------------------------------------------------------*/
20
+
21
+ // only type imports are allowed here since this runs in an iframe. All other code is not accessible
22
+ import type * as webviewCommunication from './webview-communication';
23
+ import type * as rendererApi from 'vscode-notebook-renderer';
24
+ import type { Disposable, Event } from '@theia/core';
25
+
26
+ declare const acquireVsCodeApi: () => ({
27
+ getState(): { [key: string]: unknown };
28
+ setState(data: { [key: string]: unknown }): void;
29
+ postMessage: (msg: unknown) => void;
30
+ });
31
+
32
+ declare function __import(path: string): Promise<unknown>;
33
+
34
+ interface Listener<T> { fn: (evt: T) => void; thisArg: unknown };
35
+
36
+ interface EmitterLike<T> {
37
+ fire(data: T): void;
38
+ event: Event<T>;
39
+ }
40
+
41
+ interface RendererContext extends rendererApi.RendererContext<unknown> {
42
+ readonly onDidChangeSettings: Event<RenderOptions>;
43
+ readonly settings: RenderOptions;
44
+ }
45
+
46
+ interface NotebookRendererEntrypoint {
47
+ readonly path: string;
48
+ readonly extends?: string
49
+ };
50
+
51
+ export interface RenderOptions {
52
+ readonly lineLimit: number;
53
+ readonly outputScrolling: boolean;
54
+ readonly outputWordWrap: boolean;
55
+ }
56
+
57
+ export interface PreloadContext {
58
+ readonly isWorkspaceTrusted: boolean;
59
+ readonly rendererData: readonly webviewCommunication.RendererMetadata[];
60
+ readonly renderOptions: RenderOptions;
61
+ readonly staticPreloadsData: readonly string[];
62
+ }
63
+
64
+ interface KernelPreloadContext {
65
+ readonly onDidReceiveKernelMessage: Event<unknown>;
66
+ postKernelMessage(data: unknown): void;
67
+ }
68
+
69
+ interface KernelPreloadModule {
70
+ activate(ctx: KernelPreloadContext): Promise<void> | void;
71
+ }
72
+
73
+ export async function outputWebviewPreload(ctx: PreloadContext): Promise<void> {
74
+ const theia = acquireVsCodeApi();
75
+ const renderFallbackErrorName = 'vscode.fallbackToNextRenderer';
76
+
77
+ function createEmitter<T>(listenerChange: (listeners: Set<Listener<T>>) => void = () => undefined): EmitterLike<T> {
78
+ const listeners = new Set<Listener<T>>();
79
+ return {
80
+ fire(data: T): void {
81
+ for (const listener of [...listeners]) {
82
+ listener.fn.call(listener.thisArg, data);
83
+ }
84
+ },
85
+ event(fn, thisArg, disposables): Disposable {
86
+ const listenerObj = { fn, thisArg };
87
+ const disposable: Disposable = {
88
+ dispose: () => {
89
+ listeners.delete(listenerObj);
90
+ listenerChange(listeners);
91
+ },
92
+ };
93
+
94
+ listeners.add(listenerObj);
95
+ listenerChange(listeners);
96
+
97
+ if (disposables) {
98
+ if ('push' in disposables) {
99
+ disposables.push(disposable);
100
+ } else {
101
+ disposables.add(disposable);
102
+ }
103
+ }
104
+ return disposable;
105
+ }
106
+ };
107
+ };
108
+
109
+ const settingChange: EmitterLike<RenderOptions> = createEmitter<RenderOptions>();
110
+
111
+ const onDidReceiveKernelMessage = createEmitter<unknown>();
112
+
113
+ function createKernelContext(): KernelPreloadContext {
114
+ return Object.freeze({
115
+ onDidReceiveKernelMessage: onDidReceiveKernelMessage.event,
116
+ postKernelMessage: (data: unknown) => {
117
+ theia.postMessage({ type: 'customKernelMessage', message: data });
118
+ }
119
+ });
120
+ }
121
+
122
+ async function runKernelPreload(url: string): Promise<void> {
123
+ try {
124
+ return activateModuleKernelPreload(url);
125
+ } catch (e) {
126
+ console.error(e);
127
+ throw e;
128
+ }
129
+ }
130
+
131
+ async function activateModuleKernelPreload(url: string): Promise<void> {
132
+ const baseUri = window.location.href.replace(/\/webview\/index\.html.*/, '');
133
+ const module: KernelPreloadModule = (await __import(`${baseUri}/${url}`)) as KernelPreloadModule;
134
+ if (!module.activate) {
135
+ console.error(`Notebook preload '${url}' was expected to be a module but it does not export an 'activate' function`);
136
+ return;
137
+ }
138
+ return module.activate(createKernelContext());
139
+ }
140
+
141
+ class Output {
142
+ readonly outputId: string;
143
+ renderedItem?: rendererApi.OutputItem;
144
+ allItems: rendererApi.OutputItem[];
145
+
146
+ renderer: Renderer;
147
+
148
+ element: HTMLElement;
149
+ container: HTMLElement;
150
+
151
+ constructor(output: webviewCommunication.Output, items: rendererApi.OutputItem[]) {
152
+ this.createHtmlElement(output.id);
153
+ this.outputId = output.id;
154
+ this.allItems = items;
155
+ }
156
+
157
+ findItemToRender(preferredMimetype?: string): rendererApi.OutputItem {
158
+ if (preferredMimetype) {
159
+ const itemToRender = this.allItems.find(item => item.mime === preferredMimetype);
160
+ if (itemToRender) {
161
+ return itemToRender;
162
+ }
163
+ }
164
+ return this.renderedItem ?? this.allItems[0];
165
+ }
166
+
167
+ clear(): void {
168
+ this.renderer?.disposeOutputItem?.(this.renderedItem?.id);
169
+ this.element.innerHTML = '';
170
+ }
171
+
172
+ private createHtmlElement(id: string): void {
173
+ // Recreates the output container structure used in VS Code
174
+ this.container = document.createElement('div');
175
+ this.container.id = 'container';
176
+ this.container.classList.add('widgetarea');
177
+ const cellContainer = document.createElement('div');
178
+ cellContainer.classList.add('cell_container');
179
+ cellContainer.id = id;
180
+ this.container.appendChild(cellContainer);
181
+ const outputContainer = document.createElement('div');
182
+ outputContainer.classList.add('output-container');
183
+ cellContainer.appendChild(outputContainer);
184
+ this.element = document.createElement('div');
185
+ this.element.id = id;
186
+ this.element.classList.add('output');
187
+ outputContainer.appendChild(this.element);
188
+ document.body.appendChild(this.container);
189
+ }
190
+ }
191
+
192
+ const outputs: Output[] = [];
193
+
194
+ class Renderer {
195
+
196
+ entrypoint: NotebookRendererEntrypoint;
197
+
198
+ private rendererApi?: rendererApi.RendererApi;
199
+
200
+ private onMessageEvent: EmitterLike<unknown> = createEmitter();
201
+
202
+ constructor(
203
+ public readonly data: webviewCommunication.RendererMetadata
204
+ ) { }
205
+
206
+ public receiveMessage(message: unknown): void {
207
+ this.onMessageEvent.fire(message);
208
+ }
209
+
210
+ public disposeOutputItem(id?: string): void {
211
+ this.rendererApi?.disposeOutputItem?.(id);
212
+ }
213
+
214
+ async getOrLoad(): Promise<rendererApi.RendererApi | undefined> {
215
+ if (this.rendererApi) {
216
+ return this.rendererApi;
217
+ }
218
+
219
+ // Preloads need to be loaded before loading renderers.
220
+ await kernelPreloads.waitForAllCurrent();
221
+
222
+ const baseUri = window.location.href.replace(/\/webview\/index\.html.*/, '');
223
+ const rendererModule = await __import(`${baseUri}/${this.data.entrypoint.uri}`) as { activate: rendererApi.ActivationFunction };
224
+ this.rendererApi = await rendererModule.activate(this.createRendererContext());
225
+ return this.rendererApi;
226
+ }
227
+
228
+ protected createRendererContext(): RendererContext {
229
+ const context: RendererContext = {
230
+ setState: newState => theia.setState({ ...theia.getState(), [this.data.id]: newState }),
231
+ getState: <T>() => {
232
+ const state = theia.getState();
233
+ return typeof state === 'object' && state ? state[this.data.id] as T : undefined;
234
+ },
235
+ getRenderer: async (id: string) => {
236
+ const renderer = renderers.getRenderer(id);
237
+ if (!renderer) {
238
+ return undefined;
239
+ }
240
+ if (renderer.rendererApi) {
241
+ return renderer.rendererApi;
242
+ }
243
+ return renderer.getOrLoad();
244
+ },
245
+ workspace: {
246
+ get isTrusted(): boolean { return true; } // TODO use Workspace trust service
247
+ },
248
+ settings: {
249
+ get lineLimit(): number { return ctx.renderOptions.lineLimit; },
250
+ get outputScrolling(): boolean { return ctx.renderOptions.outputScrolling; },
251
+ get outputWordWrap(): boolean { return ctx.renderOptions.outputWordWrap; },
252
+ },
253
+ get onDidChangeSettings(): Event<RenderOptions> { return settingChange.event; },
254
+ };
255
+
256
+ if (this.data.requiresMessaging) {
257
+ context.onDidReceiveMessage = this.onMessageEvent.event;
258
+ context.postMessage = message => {
259
+ theia.postMessage({ type: 'customRendererMessage', rendererId: this.data.id, message });
260
+ };
261
+ }
262
+
263
+ return Object.freeze(context);
264
+ }
265
+ }
266
+
267
+ const renderers = new class {
268
+ private readonly renderers = new Map</* id */ string, Renderer>();
269
+
270
+ constructor() {
271
+ for (const renderer of ctx.rendererData) {
272
+ this.addRenderer(renderer);
273
+ }
274
+ }
275
+
276
+ public getRenderer(id: string): Renderer | undefined {
277
+ return this.renderers.get(id);
278
+ }
279
+
280
+ private rendererEqual(a: webviewCommunication.RendererMetadata, b: webviewCommunication.RendererMetadata): boolean {
281
+ if (a.id !== b.id || a.entrypoint.uri !== b.entrypoint.uri || a.entrypoint.extends !== b.entrypoint.extends || a.requiresMessaging !== b.requiresMessaging) {
282
+ return false;
283
+ }
284
+
285
+ if (a.mimeTypes.length !== b.mimeTypes.length) {
286
+ return false;
287
+ }
288
+
289
+ for (let i = 0; i < a.mimeTypes.length; i++) {
290
+ if (a.mimeTypes[i] !== b.mimeTypes[i]) {
291
+ return false;
292
+ }
293
+ }
294
+
295
+ return true;
296
+ }
297
+
298
+ public updateRendererData(rendererData: readonly webviewCommunication.RendererMetadata[]): void {
299
+ const oldKeys = new Set(this.renderers.keys());
300
+ const newKeys = new Set(rendererData.map(d => d.id));
301
+
302
+ for (const renderer of rendererData) {
303
+ const existing = this.renderers.get(renderer.id);
304
+ if (existing && this.rendererEqual(existing.data, renderer)) {
305
+ continue;
306
+ }
307
+
308
+ this.addRenderer(renderer);
309
+ }
310
+
311
+ for (const key of oldKeys) {
312
+ if (!newKeys.has(key)) {
313
+ this.renderers.delete(key);
314
+ }
315
+ }
316
+ }
317
+
318
+ private addRenderer(renderer: webviewCommunication.RendererMetadata): void {
319
+ this.renderers.set(renderer.id, new Renderer(renderer));
320
+ }
321
+
322
+ public clearAll(): void {
323
+ for (const renderer of this.renderers.values()) {
324
+ renderer.disposeOutputItem();
325
+ }
326
+ }
327
+
328
+ public clearOutput(rendererId: string, outputId: string): void {
329
+ // outputRunner.cancelOutput(outputId);
330
+ this.renderers.get(rendererId)?.disposeOutputItem(outputId);
331
+ }
332
+
333
+ public async render(output: Output, preferredMimeType: string | undefined, preferredRendererId: string | undefined, signal: AbortSignal): Promise<void> {
334
+ const item = output.findItemToRender(preferredMimeType);
335
+ const primaryRenderer = this.findRenderer(preferredRendererId, item);
336
+ if (!primaryRenderer) {
337
+ this.showRenderError(item, output.element, 'No renderer found for output type.');
338
+ return;
339
+ }
340
+
341
+ // Try primary renderer first
342
+ if (!(await this.doRender(item, output.element, primaryRenderer, signal)).continue) {
343
+ output.renderer = primaryRenderer;
344
+ this.onRenderCompleted();
345
+ return;
346
+ }
347
+
348
+ // Primary renderer failed in an expected way. Fallback to render the next mime types
349
+ for (const additionalItem of output.allItems) {
350
+ if (additionalItem.mime === item.mime) {
351
+ continue;
352
+ }
353
+
354
+ if (signal.aborted) {
355
+ return;
356
+ }
357
+
358
+ if (additionalItem) {
359
+ const renderer = this.findRenderer(undefined, additionalItem);
360
+ if (renderer) {
361
+ if (!(await this.doRender(additionalItem, output.element, renderer, signal)).continue) {
362
+ output.renderer = renderer;
363
+ this.onRenderCompleted();
364
+ return; // We rendered successfully
365
+ }
366
+ }
367
+ }
368
+ }
369
+
370
+ // All renderers have failed and there is nothing left to fallback to
371
+ this.showRenderError(item, output.element, 'No fallback renderers found or all fallback renderers failed.');
372
+ }
373
+
374
+ private onRenderCompleted(): void {
375
+ // we need to check for all images are loaded. Otherwise we can't determine the correct height of the output
376
+ const images = Array.from(document.images);
377
+ if (images.length > 0) {
378
+ Promise.all(images.filter(img => !img.complete).map(img => new Promise(resolve => { img.onload = img.onerror = resolve; }))).then(() => {
379
+ theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight });
380
+ new ResizeObserver(() =>
381
+ theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight }))
382
+ .observe(document.body);
383
+ });
384
+ } else {
385
+ theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight });
386
+ new ResizeObserver(() =>
387
+ theia.postMessage(<webviewCommunication.OnDidRenderOutput>{ type: 'didRenderOutput', contentHeight: document.body.clientHeight }))
388
+ .observe(document.body);
389
+ }
390
+
391
+ }
392
+
393
+ private async doRender(item: rendererApi.OutputItem, element: HTMLElement, renderer: Renderer, signal: AbortSignal): Promise<{ continue: boolean }> {
394
+ try {
395
+ (await renderer.getOrLoad())?.renderOutputItem(item, element, signal);
396
+ return { continue: false }; // We rendered successfully
397
+ } catch (e) {
398
+ if (signal.aborted) {
399
+ return { continue: false };
400
+ }
401
+
402
+ if (e instanceof Error && e.name === renderFallbackErrorName) {
403
+ return { continue: true };
404
+ } else {
405
+ throw e; // Bail and let callers handle unknown errors
406
+ }
407
+ }
408
+ }
409
+
410
+ private findRenderer(preferredRendererId: string | undefined, info: rendererApi.OutputItem): Renderer | undefined {
411
+ let foundRenderer: Renderer | undefined;
412
+
413
+ if (typeof preferredRendererId === 'string') {
414
+ foundRenderer = Array.from(this.renderers.values())
415
+ .find(renderer => renderer.data.id === preferredRendererId);
416
+ } else {
417
+ const rendererList = Array.from(this.renderers.values())
418
+ .filter(renderer => renderer.data.mimeTypes.includes(info.mime) && !renderer.data.entrypoint.extends);
419
+
420
+ if (rendererList.length) {
421
+ // De-prioritize built-in renderers
422
+ // rendererList.sort((a, b) => +a.data.isBuiltin - +b.data.isBuiltin);
423
+
424
+ // Use first renderer we find in sorted list
425
+ foundRenderer = rendererList[0];
426
+ }
427
+ }
428
+ return foundRenderer;
429
+ }
430
+
431
+ private showRenderError(info: rendererApi.OutputItem, element: HTMLElement, errorMessage: string): void {
432
+ const errorContainer = document.createElement('div');
433
+
434
+ const error = document.createElement('div');
435
+ error.className = 'no-renderer-error';
436
+ error.innerText = errorMessage;
437
+
438
+ const cellText = document.createElement('div');
439
+ cellText.innerText = info.text();
440
+
441
+ errorContainer.appendChild(error);
442
+ errorContainer.appendChild(cellText);
443
+
444
+ element.innerText = '';
445
+ element.appendChild(errorContainer);
446
+ }
447
+ }();
448
+
449
+ const kernelPreloads = new class {
450
+ private readonly preloads = new Map<string /* uri */, Promise<unknown>>();
451
+
452
+ /**
453
+ * Returns a promise that resolves when the given preload is activated.
454
+ */
455
+ public waitFor(uri: string): Promise<unknown> {
456
+ return this.preloads.get(uri) || Promise.resolve(new Error(`Preload not ready: ${uri}`));
457
+ }
458
+
459
+ /**
460
+ * Loads a preload.
461
+ * @param uri URI to load from
462
+ * @param originalUri URI to show in an error message if the preload is invalid.
463
+ */
464
+ public load(uri: string): Promise<unknown> {
465
+ const promise = Promise.all([
466
+ runKernelPreload(uri),
467
+ this.waitForAllCurrent(),
468
+ ]);
469
+
470
+ this.preloads.set(uri, promise);
471
+ return promise;
472
+ }
473
+
474
+ /**
475
+ * Returns a promise that waits for all currently-registered preloads to
476
+ * activate before resolving.
477
+ */
478
+ public waitForAllCurrent(): Promise<unknown[]> {
479
+ return Promise.all([...this.preloads.values()].map(p => p.catch(err => err)));
480
+ }
481
+ };
482
+
483
+ await Promise.all(ctx.staticPreloadsData.map(preload => kernelPreloads.load(preload)));
484
+
485
+ function clearOutput(output: Output): void {
486
+ output.clear();
487
+ output.container.remove();
488
+ }
489
+
490
+ function outputsChanged(changedEvent: webviewCommunication.OutputChangedMessage): void {
491
+ for (const output of outputs.splice(changedEvent.deleteStart ?? 0, changedEvent.deleteCount ?? 0)) {
492
+ clearOutput(output);
493
+ }
494
+
495
+ for (const outputData of changedEvent.newOutputs ?? []) {
496
+ const apiItems: rendererApi.OutputItem[] = outputData.items.map((item, index) => ({
497
+ id: `${outputData.id}-${index}`,
498
+ mime: item.mime,
499
+ metadata: outputData.metadata,
500
+ data(): Uint8Array {
501
+ return item.data;
502
+ },
503
+ text(): string {
504
+ return new TextDecoder().decode(this.data());
505
+ },
506
+ json(): unknown {
507
+ return JSON.parse(this.text());
508
+ },
509
+ blob(): Blob {
510
+ return new Blob([this.data()], { type: this.mime });
511
+ },
512
+
513
+ }));
514
+
515
+ const output = new Output(outputData, apiItems);
516
+ outputs.push(output);
517
+
518
+ renderers.render(output, undefined, undefined, new AbortController().signal);
519
+ }
520
+ }
521
+
522
+ function shouldHandleScroll(event: WheelEvent): boolean {
523
+ for (let node = event.target as Node | null; node; node = node.parentNode) {
524
+ if (!(node instanceof Element)) {
525
+ return false;
526
+ }
527
+
528
+ // scroll up
529
+ if (event.deltaY < 0 && node.scrollTop > 0) {
530
+ // there is still some content to scroll
531
+ return true;
532
+ }
533
+
534
+ // scroll down
535
+ if (event.deltaY > 0 && node.scrollTop + node.clientHeight < node.scrollHeight) {
536
+ // per https://developer.mozilla.org/en-US/docs/Web/API/Element/scrollHeight
537
+ // scrollTop is not rounded but scrollHeight and clientHeight are
538
+ // so we need to check if the difference is less than some threshold
539
+ if (node.scrollHeight - node.scrollTop - node.clientHeight < 2) {
540
+ continue;
541
+ }
542
+
543
+ // if the node is not scrollable, we can continue. We don't check the computed style always as it's expensive
544
+ if (window.getComputedStyle(node).overflowY === 'hidden' || window.getComputedStyle(node).overflowY === 'visible') {
545
+ continue;
546
+ }
547
+
548
+ return true;
549
+ }
550
+ }
551
+
552
+ return false;
553
+ }
554
+
555
+ const handleWheel = (event: WheelEvent & { wheelDeltaX?: number; wheelDeltaY?: number; wheelDelta?: number }) => {
556
+ if (event.defaultPrevented || shouldHandleScroll(event)) {
557
+ return;
558
+ }
559
+ theia.postMessage({
560
+ type: 'did-scroll-wheel',
561
+ deltaY: event.deltaY,
562
+ deltaX: event.deltaX,
563
+ });
564
+ };
565
+
566
+ window.addEventListener('message', async rawEvent => {
567
+ const event = rawEvent as ({ data: webviewCommunication.ToWebviewMessage });
568
+ switch (event.data.type) {
569
+ case 'updateRenderers':
570
+ renderers.updateRendererData(event.data.rendererData);
571
+ break;
572
+ case 'outputChanged':
573
+ outputsChanged(event.data);
574
+ break;
575
+ case 'customRendererMessage':
576
+ renderers.getRenderer(event.data.rendererId)?.receiveMessage(event.data.message);
577
+ break;
578
+ case 'changePreferredMimetype':
579
+ const mimeType = event.data.mimeType;
580
+ outputs.forEach(output => {
581
+ output.element.innerHTML = '';
582
+ renderers.render(output, mimeType, undefined, new AbortController().signal);
583
+ });
584
+ break;
585
+ case 'customKernelMessage':
586
+ onDidReceiveKernelMessage.fire(event.data.message);
587
+ break;
588
+ case 'preload': {
589
+ const resources = event.data.resources;
590
+ for (const uri of resources) {
591
+ kernelPreloads.load(uri);
592
+ }
593
+ break;
594
+ }
595
+ case 'notebookStyles': {
596
+ const documentStyle = window.document.documentElement.style;
597
+
598
+ for (let i = documentStyle.length - 1; i >= 0; i--) {
599
+ const property = documentStyle[i];
600
+
601
+ // Don't remove properties that the webview might have added separately
602
+ if (property && property.startsWith('--notebook-')) {
603
+ documentStyle.removeProperty(property);
604
+ }
605
+ }
606
+
607
+ // Re-add new properties
608
+ for (const [name, value] of Object.entries(event.data.styles)) {
609
+ documentStyle.setProperty(`--${name}`, value);
610
+ }
611
+ break;
612
+ }
613
+ }
614
+ });
615
+ window.addEventListener('wheel', handleWheel);
616
+
617
+ (document.head as HTMLHeadElement & { originalAppendChild: typeof document.head.appendChild }).originalAppendChild = document.head.appendChild;
618
+ (document.head as HTMLHeadElement & { originalAppendChild: typeof document.head.appendChild }).appendChild = function appendChild<T extends Node>(node: T): T {
619
+ if (node instanceof HTMLScriptElement && node.src.includes('webviewuuid')) {
620
+ node.src = node.src.replace('webviewuuid', location.hostname.split('.')[0]);
621
+ }
622
+ return this.originalAppendChild(node);
623
+ };
624
+
625
+ const focusChange = (event: FocusEvent, focus: boolean) => {
626
+ if (event.target instanceof HTMLInputElement) {
627
+ theia.postMessage({ type: 'inputFocusChanged', focused: focus } as webviewCommunication.InputFocusChange);
628
+ }
629
+ };
630
+
631
+ window.addEventListener('focusin', (event: FocusEvent) => focusChange(event, true));
632
+
633
+ window.addEventListener('focusout', (event: FocusEvent) => focusChange(event, false));
634
+
635
+ theia.postMessage(<webviewCommunication.WebviewInitialized>{ type: 'initialized' });
636
+ }