@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.
- package/README.md +54 -54
- package/lib/common/plugin-api-rpc.d.ts +1 -4
- package/lib/common/plugin-api-rpc.d.ts.map +1 -1
- package/lib/common/plugin-api-rpc.js.map +1 -1
- package/lib/hosted/browser/hosted-plugin.js +9 -9
- package/lib/main/browser/editors-and-documents-main.d.ts.map +1 -1
- package/lib/main/browser/editors-and-documents-main.js +14 -2
- package/lib/main/browser/editors-and-documents-main.js.map +1 -1
- package/lib/main/browser/notebooks/notebook-documents-and-editors-main.d.ts.map +1 -1
- package/lib/main/browser/notebooks/notebook-documents-and-editors-main.js +2 -0
- package/lib/main/browser/notebooks/notebook-documents-and-editors-main.js.map +1 -1
- package/lib/main/browser/notebooks/renderers/cell-output-webview.js +86 -86
- package/lib/main/browser/plugin-icon-theme-service.js +20 -20
- package/lib/main/browser/plugin-shared-style.js +14 -14
- package/lib/main/browser/tabs/tabs-main.d.ts +1 -1
- package/lib/main/browser/tabs/tabs-main.d.ts.map +1 -1
- package/lib/main/browser/tabs/tabs-main.js +1 -1
- package/lib/main/browser/tabs/tabs-main.js.map +1 -1
- package/lib/main/browser/text-editor-main.d.ts +6 -3
- package/lib/main/browser/text-editor-main.d.ts.map +1 -1
- package/lib/main/browser/text-editor-main.js +39 -5
- package/lib/main/browser/text-editor-main.js.map +1 -1
- package/lib/main/browser/view/plugin-view-registry.js +3 -3
- package/lib/main/browser/webview/webview-frontend-security-warnings.js +2 -2
- package/lib/main/browser/webview/webview-secondary-window-support.js +10 -10
- package/lib/main/browser/workspace-main.d.ts +0 -2
- package/lib/main/browser/workspace-main.d.ts.map +1 -1
- package/lib/main/node/plugin-service.d.ts +1 -1
- package/lib/main/node/webview-backend-security-warnings.js +6 -6
- package/lib/plugin/languages.d.ts +0 -1
- package/lib/plugin/languages.d.ts.map +1 -1
- package/lib/plugin/notebook/notebook-kernels.d.ts +0 -2
- package/lib/plugin/notebook/notebook-kernels.d.ts.map +1 -1
- package/lib/plugin/notebook/notebooks.d.ts +1 -0
- package/lib/plugin/notebook/notebooks.d.ts.map +1 -1
- package/lib/plugin/notebook/notebooks.js +22 -2
- package/lib/plugin/notebook/notebooks.js.map +1 -1
- package/lib/plugin/scm.d.ts +0 -1
- package/lib/plugin/scm.d.ts.map +1 -1
- package/lib/plugin/terminal-ext.d.ts +0 -1
- package/lib/plugin/terminal-ext.d.ts.map +1 -1
- package/lib/plugin/text-editor.d.ts +1 -1
- package/lib/plugin/text-editor.d.ts.map +1 -1
- package/lib/plugin/text-editor.js.map +1 -1
- package/lib/plugin/type-converters.d.ts +0 -1
- package/lib/plugin/type-converters.d.ts.map +1 -1
- package/lib/plugin/types-impl.d.ts +2 -3
- package/lib/plugin/types-impl.d.ts.map +1 -1
- package/lib/plugin/workspace.d.ts +0 -4
- package/lib/plugin/workspace.d.ts.map +1 -1
- package/package.json +28 -28
- package/src/common/arrays.ts +70 -70
- package/src/common/assert.ts +23 -23
- package/src/common/cache.ts +51 -51
- package/src/common/character-classifier.ts +73 -73
- package/src/common/collections.ts +54 -54
- package/src/common/commands.ts +19 -19
- package/src/common/connection.ts +137 -137
- package/src/common/disposable-util.ts +39 -39
- package/src/common/editor-options.ts +74 -74
- package/src/common/env.ts +19 -19
- package/src/common/errors.ts +63 -63
- package/src/common/id-generator.ts +26 -26
- package/src/common/index.ts +24 -24
- package/src/common/language-pack-service.ts +34 -34
- package/src/common/link-computer.ts +354 -354
- package/src/common/object-identifier.ts +33 -33
- package/src/common/objects.ts +50 -50
- package/src/common/paths-util.ts +158 -158
- package/src/common/plugin-api-rpc-model.ts +907 -907
- package/src/common/plugin-api-rpc.ts +2753 -2752
- package/src/common/plugin-ext-api-contribution.ts +115 -115
- package/src/common/plugin-identifiers.ts +84 -84
- package/src/common/plugin-protocol.ts +1094 -1094
- package/src/common/reference-map.ts +38 -38
- package/src/common/rpc-protocol.ts +306 -306
- package/src/common/semantic-tokens-dto.ts +182 -182
- package/src/common/test-types.ts +154 -154
- package/src/common/types.ts +129 -129
- package/src/common/uint.ts +37 -37
- package/src/common/uri-components.ts +81 -81
- package/src/hosted/browser/hosted-plugin-watcher.ts +54 -54
- package/src/hosted/browser/hosted-plugin.ts +635 -635
- package/src/hosted/browser/plugin-worker.ts +52 -52
- package/src/hosted/browser/worker/debug-stub.ts +29 -29
- package/src/hosted/browser/worker/plugin-manifest-loader.ts +114 -114
- package/src/hosted/browser/worker/worker-env-ext.ts +40 -40
- package/src/hosted/browser/worker/worker-main.ts +212 -212
- package/src/hosted/browser/worker/worker-plugin-module.ts +80 -80
- package/src/hosted/common/hosted-plugin.ts +456 -456
- package/src/hosted/node/hosted-plugin-cli-contribution.ts +75 -75
- package/src/hosted/node/hosted-plugin-deployer-handler.ts +274 -274
- package/src/hosted/node/hosted-plugin-localization-service.ts +410 -410
- package/src/hosted/node/hosted-plugin-process.ts +248 -248
- package/src/hosted/node/hosted-plugin-protocol.ts +49 -49
- package/src/hosted/node/hosted-plugin.ts +116 -116
- package/src/hosted/node/metadata-scanner.ts +64 -64
- package/src/hosted/node/plugin-activation-events.ts +112 -112
- package/src/hosted/node/plugin-ext-hosted-backend-module.ts +94 -94
- package/src/hosted/node/plugin-host-module.ts +69 -69
- package/src/hosted/node/plugin-host-proxy.ts +82 -82
- package/src/hosted/node/plugin-host-rpc.ts +377 -377
- package/src/hosted/node/plugin-host.ts +110 -110
- package/src/hosted/node/plugin-language-pack-service.ts +43 -43
- package/src/hosted/node/plugin-manifest-loader.ts +32 -32
- package/src/hosted/node/plugin-reader.ts +136 -136
- package/src/hosted/node/plugin-service.ts +197 -197
- package/src/hosted/node/scanners/backend-init-theia.ts +71 -71
- package/src/hosted/node/scanners/file-plugin-uri-factory.ts +32 -32
- package/src/hosted/node/scanners/grammars-reader.ts +57 -57
- package/src/hosted/node/scanners/plugin-uri-factory.ts +33 -33
- package/src/hosted/node/scanners/scanner-theia.ts +963 -963
- package/src/hosted/node-electron/plugin-ext-hosted-electron-backend-module.ts +26 -26
- package/src/hosted/node-electron/scanner-theia-electron.ts +32 -32
- package/src/main/browser/authentication-main.ts +401 -401
- package/src/main/browser/clipboard-main.ts +38 -38
- package/src/main/browser/command-registry-main.ts +130 -130
- package/src/main/browser/commands.ts +104 -104
- package/src/main/browser/comments/comment-glyph-widget.ts +66 -66
- package/src/main/browser/comments/comment-thread-widget.tsx +696 -696
- package/src/main/browser/comments/comments-context-key-service.ts +68 -68
- package/src/main/browser/comments/comments-contribution.ts +268 -268
- package/src/main/browser/comments/comments-decorator.ts +110 -110
- package/src/main/browser/comments/comments-main.ts +482 -482
- package/src/main/browser/comments/comments-service.ts +205 -205
- package/src/main/browser/custom-editors/custom-editor-opener.tsx +205 -205
- package/src/main/browser/custom-editors/custom-editor-service.ts +108 -108
- package/src/main/browser/custom-editors/custom-editor-undo-redo-handler.ts +41 -41
- package/src/main/browser/custom-editors/custom-editor-widget-factory.ts +44 -44
- package/src/main/browser/custom-editors/custom-editor-widget.ts +127 -127
- package/src/main/browser/custom-editors/custom-editors-main.ts +526 -526
- package/src/main/browser/custom-editors/plugin-custom-editor-registry.ts +126 -126
- package/src/main/browser/data-transfer/data-transfer-type-converters.ts +68 -68
- package/src/main/browser/debug/debug-main.ts +397 -397
- package/src/main/browser/debug/plugin-debug-adapter-contribution.ts +48 -48
- package/src/main/browser/debug/plugin-debug-configuration-provider.ts +63 -63
- package/src/main/browser/debug/plugin-debug-service.ts +427 -427
- package/src/main/browser/debug/plugin-debug-session-contribution-registry.ts +76 -76
- package/src/main/browser/debug/plugin-debug-session-factory.ts +115 -115
- package/src/main/browser/decorations/decorations-main.ts +146 -146
- package/src/main/browser/dialogs/modal-notification.ts +112 -112
- package/src/main/browser/dialogs/style/modal-notification.css +123 -123
- package/src/main/browser/dialogs-main.ts +185 -185
- package/src/main/browser/documents-main.ts +275 -275
- package/src/main/browser/editors-and-documents-main.ts +448 -425
- package/src/main/browser/env-main.ts +60 -60
- package/src/main/browser/file-system-main-impl.ts +267 -267
- package/src/main/browser/hierarchy/hierarchy-types-converters.ts +189 -189
- package/src/main/browser/keybindings/keybindings-contribution-handler.ts +66 -66
- package/src/main/browser/label-service-main.ts +51 -51
- package/src/main/browser/languages-main.ts +1439 -1439
- package/src/main/browser/localization-main.ts +34 -34
- package/src/main/browser/main-context.ts +210 -210
- package/src/main/browser/main-file-system-event-service.ts +76 -76
- package/src/main/browser/menus/menus-contribution-handler.ts +172 -172
- package/src/main/browser/menus/plugin-menu-command-adapter.ts +358 -358
- package/src/main/browser/menus/vscode-theia-menu-mappings.ts +118 -118
- package/src/main/browser/message-registry-main.ts +43 -43
- package/src/main/browser/notebooks/notebook-documents-and-editors-main.ts +252 -249
- package/src/main/browser/notebooks/notebook-documents-main.ts +202 -202
- package/src/main/browser/notebooks/notebook-dto.ts +131 -131
- package/src/main/browser/notebooks/notebook-editors-main.ts +88 -88
- package/src/main/browser/notebooks/notebook-kernels-main.ts +339 -339
- package/src/main/browser/notebooks/notebook-renderers-main.ts +47 -47
- package/src/main/browser/notebooks/notebooks-main.ts +164 -164
- package/src/main/browser/notebooks/renderers/cell-output-webview.tsx +452 -452
- package/src/main/browser/notebooks/renderers/output-webview-internal.ts +636 -636
- package/src/main/browser/notebooks/renderers/webview-communication.ts +107 -107
- package/src/main/browser/notification-main.ts +26 -26
- package/src/main/browser/output-channel-registry-main.ts +53 -53
- package/src/main/browser/plugin-authentication-service.ts +71 -71
- package/src/main/browser/plugin-contribution-handler.ts +698 -698
- package/src/main/browser/plugin-ext-frontend-module.ts +291 -291
- package/src/main/browser/plugin-ext-widget.tsx +132 -132
- package/src/main/browser/plugin-frontend-contribution.ts +70 -70
- package/src/main/browser/plugin-frontend-view-contribution.ts +38 -38
- package/src/main/browser/plugin-icon-service.ts +92 -92
- package/src/main/browser/plugin-icon-theme-service.ts +625 -625
- package/src/main/browser/plugin-shared-style.ts +154 -154
- package/src/main/browser/plugin-storage.ts +55 -55
- package/src/main/browser/plugin-terminal-registry.ts +27 -27
- package/src/main/browser/preference-registry-main.ts +123 -123
- package/src/main/browser/quick-open-main.ts +367 -367
- package/src/main/browser/scm-main.ts +472 -472
- package/src/main/browser/secrets-main.ts +82 -82
- package/src/main/browser/selection-provider-command.ts +45 -45
- package/src/main/browser/status-bar-message-registry-main.ts +90 -90
- package/src/main/browser/style/comments.css +345 -345
- package/src/main/browser/style/index.css +84 -84
- package/src/main/browser/style/plugin-sidebar.css +73 -73
- package/src/main/browser/style/tree.css +54 -54
- package/src/main/browser/style/webview.css +55 -55
- package/src/main/browser/tabs/tabs-main.ts +388 -384
- package/src/main/browser/tasks-main.ts +268 -268
- package/src/main/browser/terminal-main.ts +370 -370
- package/src/main/browser/test-main.ts +632 -632
- package/src/main/browser/text-editor-main.ts +519 -478
- package/src/main/browser/text-editor-model-service.ts +111 -111
- package/src/main/browser/text-editors-main.ts +234 -234
- package/src/main/browser/theme-icon-override.ts +246 -246
- package/src/main/browser/theming-main.ts +42 -42
- package/src/main/browser/timeline-main.ts +80 -80
- package/src/main/browser/uri-main.ts +72 -72
- package/src/main/browser/view/dnd-file-content-store.ts +42 -42
- package/src/main/browser/view/plugin-tree-view-node-label-provider.ts +81 -81
- package/src/main/browser/view/plugin-view-registry.ts +967 -967
- package/src/main/browser/view/plugin-view-widget.ts +221 -221
- package/src/main/browser/view/tree-view-decorator-service.ts +51 -51
- package/src/main/browser/view/tree-view-widget.tsx +931 -931
- package/src/main/browser/view/tree-views-main.ts +205 -205
- package/src/main/browser/view/view-context-key-service.ts +64 -64
- package/src/main/browser/webview/pre/fake.html +14 -14
- package/src/main/browser/webview/pre/host.js +130 -130
- package/src/main/browser/webview/pre/index.html +17 -17
- package/src/main/browser/webview/pre/main.js +682 -682
- package/src/main/browser/webview/pre/service-worker.js +296 -296
- package/src/main/browser/webview/webview-context-keys.ts +62 -62
- package/src/main/browser/webview/webview-environment.ts +87 -87
- package/src/main/browser/webview/webview-frontend-security-warnings.ts +59 -59
- package/src/main/browser/webview/webview-preferences.ts +72 -72
- package/src/main/browser/webview/webview-resource-cache.ts +88 -88
- package/src/main/browser/webview/webview-secondary-window-support.ts +47 -47
- package/src/main/browser/webview/webview-theme-data-provider.ts +124 -124
- package/src/main/browser/webview/webview.ts +718 -718
- package/src/main/browser/webview-views/webview-views-main.ts +154 -154
- package/src/main/browser/webview-views/webview-views.ts +43 -43
- package/src/main/browser/webviews-main.ts +287 -287
- package/src/main/browser/window-activity-tracker.ts +96 -96
- package/src/main/browser/window-state-main.ts +85 -85
- package/src/main/browser/workspace-main.ts +424 -424
- package/src/main/common/basic-message-registry-main.ts +53 -53
- package/src/main/common/basic-notification-main.ts +86 -86
- package/src/main/common/env-main.ts +44 -44
- package/src/main/common/plugin-paths-protocol.ts +26 -26
- package/src/main/common/plugin-theia-environment.ts +36 -36
- package/src/main/common/webview-protocol.ts +28 -28
- package/src/main/electron-browser/plugin-ext-frontend-electron-module.ts +25 -25
- package/src/main/electron-browser/webview/electron-webview-widget-factory.ts +59 -59
- package/src/main/node/errors.spec.ts +37 -37
- package/src/main/node/handlers/plugin-theia-directory-handler.ts +137 -137
- package/src/main/node/handlers/plugin-theia-file-handler.ts +66 -66
- package/src/main/node/paths/const.ts +21 -21
- package/src/main/node/paths/plugin-paths-service.ts +163 -163
- package/src/main/node/plugin-cli-contribution.ts +85 -85
- package/src/main/node/plugin-deployer-contribution.ts +35 -35
- package/src/main/node/plugin-deployer-directory-handler-context-impl.ts +45 -45
- package/src/main/node/plugin-deployer-entry-impl.ts +132 -132
- package/src/main/node/plugin-deployer-file-handler-context-impl.ts +33 -33
- package/src/main/node/plugin-deployer-impl.ts +375 -375
- package/src/main/node/plugin-deployer-proxy-entry-impl.ts +96 -96
- package/src/main/node/plugin-deployer-resolver-context-impl.ts +55 -55
- package/src/main/node/plugin-ext-backend-module.ts +106 -106
- package/src/main/node/plugin-github-resolver.ts +139 -139
- package/src/main/node/plugin-http-resolver.ts +92 -92
- package/src/main/node/plugin-localization-server.ts +42 -42
- package/src/main/node/plugin-mgmt-cli-contribution.ts +64 -64
- package/src/main/node/plugin-remote-cli-contribution.ts +36 -36
- package/src/main/node/plugin-remote-copy-contribution.ts +36 -36
- package/src/main/node/plugin-server-handler.ts +69 -69
- package/src/main/node/plugin-service.ts +97 -97
- package/src/main/node/plugin-theia-deployer-participant.ts +32 -32
- package/src/main/node/plugin-uninstallation-manager.ts +74 -74
- package/src/main/node/plugins-key-value-storage.spec.ts +110 -110
- package/src/main/node/plugins-key-value-storage.ts +161 -161
- package/src/main/node/resolvers/local-directory-plugin-deployer-resolver.ts +37 -37
- package/src/main/node/resolvers/local-plugin-deployer-resolver.ts +56 -56
- package/src/main/node/temp-dir-util.ts +36 -36
- package/src/main/node/webview-backend-security-warnings.ts +45 -45
- package/src/main/style/status-bar.css +35 -35
- package/src/plugin/authentication-ext.ts +140 -140
- package/src/plugin/clipboard-ext.ts +43 -43
- package/src/plugin/command-registry.ts +219 -219
- package/src/plugin/comments.ts +549 -549
- package/src/plugin/custom-editors.ts +334 -334
- package/src/plugin/debug/debug-ext.ts +549 -549
- package/src/plugin/debug/plugin-debug-adapter-creator.ts +50 -50
- package/src/plugin/debug/plugin-debug-adapter-session.ts +106 -106
- package/src/plugin/debug/plugin-debug-adapter-tracker.ts +85 -85
- package/src/plugin/decorations.ts +140 -140
- package/src/plugin/dialogs.ts +96 -96
- package/src/plugin/document-data.ts +366 -366
- package/src/plugin/documents.ts +283 -283
- package/src/plugin/editors-and-documents.ts +176 -176
- package/src/plugin/env.ts +134 -134
- package/src/plugin/file-system-event-service-ext-impl.ts +256 -256
- package/src/plugin/file-system-ext-impl.ts +415 -415
- package/src/plugin/known-commands.spec.ts +50 -50
- package/src/plugin/known-commands.ts +429 -429
- package/src/plugin/label-service.ts +36 -36
- package/src/plugin/languages/call-hierarchy.ts +124 -124
- package/src/plugin/languages/code-action.ts +162 -162
- package/src/plugin/languages/color.ts +75 -75
- package/src/plugin/languages/completion.ts +183 -183
- package/src/plugin/languages/declaration.ts +72 -72
- package/src/plugin/languages/definition.ts +73 -73
- package/src/plugin/languages/diagnostics.ts +325 -325
- package/src/plugin/languages/document-drop-edit.ts +44 -44
- package/src/plugin/languages/document-formatting.ts +47 -47
- package/src/plugin/languages/document-highlight.ts +61 -61
- package/src/plugin/languages/evaluatable-expression.ts +47 -47
- package/src/plugin/languages/folding.ts +46 -46
- package/src/plugin/languages/hover.ts +58 -58
- package/src/plugin/languages/implementation.ts +73 -73
- package/src/plugin/languages/inlay-hints.ts +149 -149
- package/src/plugin/languages/inline-completion.ts +126 -126
- package/src/plugin/languages/inline-values.ts +50 -50
- package/src/plugin/languages/lens.ts +102 -102
- package/src/plugin/languages/link-provider.ts +81 -81
- package/src/plugin/languages/linked-editing-range.ts +48 -48
- package/src/plugin/languages/on-type-formatting.ts +50 -50
- package/src/plugin/languages/outline.ts +126 -126
- package/src/plugin/languages/range-formatting.ts +48 -48
- package/src/plugin/languages/reference.ts +58 -58
- package/src/plugin/languages/rename.ts +130 -130
- package/src/plugin/languages/selection-range.ts +80 -80
- package/src/plugin/languages/semantic-highlighting.ts +211 -211
- package/src/plugin/languages/signature.ts +82 -82
- package/src/plugin/languages/type-definition.ts +73 -73
- package/src/plugin/languages/type-hierarchy.ts +117 -117
- package/src/plugin/languages/util.ts +26 -26
- package/src/plugin/languages/workspace-symbol.ts +66 -66
- package/src/plugin/languages-utils.ts +68 -68
- package/src/plugin/languages.ts +1022 -1022
- package/src/plugin/localization-ext.ts +89 -89
- package/src/plugin/markdown-string.ts +115 -115
- package/src/plugin/message-registry.ts +70 -70
- package/src/plugin/node/debug/debug.spec.ts +98 -98
- package/src/plugin/node/debug/plugin-node-debug-adapter-creator.ts +167 -167
- package/src/plugin/node/env-node-ext.ts +64 -64
- package/src/plugin/node/plugin-container-module.ts +165 -165
- package/src/plugin/notebook/notebook-document.ts +446 -446
- package/src/plugin/notebook/notebook-documents.ts +58 -58
- package/src/plugin/notebook/notebook-editor.ts +116 -116
- package/src/plugin/notebook/notebook-editors.ts +71 -71
- package/src/plugin/notebook/notebook-kernels.ts +631 -631
- package/src/plugin/notebook/notebook-renderers.ts +71 -71
- package/src/plugin/notebook/notebooks.ts +470 -449
- package/src/plugin/notification.ts +80 -80
- package/src/plugin/output-channel/log-output-channel.ts +108 -108
- package/src/plugin/output-channel/output-channel-item.ts +73 -73
- package/src/plugin/output-channel-registry.ts +52 -52
- package/src/plugin/path.spec.ts +40 -40
- package/src/plugin/path.ts +68 -68
- package/src/plugin/plugin-context.ts +1606 -1606
- package/src/plugin/plugin-icon-path.ts +53 -53
- package/src/plugin/plugin-manager.ts +508 -508
- package/src/plugin/plugin-storage.ts +138 -138
- package/src/plugin/preference-registry.spec.ts +288 -288
- package/src/plugin/preference-registry.ts +335 -335
- package/src/plugin/prefix-sum-computer.ts +218 -218
- package/src/plugin/quick-open.ts +735 -735
- package/src/plugin/scm.ts +919 -919
- package/src/plugin/secrets-ext.ts +104 -104
- package/src/plugin/status-bar/status-bar-item.ts +193 -193
- package/src/plugin/status-bar-message-registry.ts +103 -103
- package/src/plugin/tabs.ts +431 -431
- package/src/plugin/tasks/task-provider.ts +57 -57
- package/src/plugin/tasks/tasks.ts +252 -252
- package/src/plugin/telemetry-ext.ts +298 -298
- package/src/plugin/terminal-ext.ts +569 -569
- package/src/plugin/test-item.ts +174 -174
- package/src/plugin/tests.ts +545 -545
- package/src/plugin/text-editor.ts +581 -581
- package/src/plugin/text-editors.ts +157 -157
- package/src/plugin/theming.ts +73 -73
- package/src/plugin/timeline.ts +186 -186
- package/src/plugin/tree/tree-views.ts +682 -682
- package/src/plugin/type-converters.spec.ts +476 -476
- package/src/plugin/type-converters.ts +1768 -1768
- package/src/plugin/types-impl.spec.ts +85 -85
- package/src/plugin/types-impl.ts +4011 -4011
- package/src/plugin/uri-ext.ts +60 -60
- package/src/plugin/webview-views.ts +228 -228
- package/src/plugin/webviews.ts +468 -468
- package/src/plugin/window-state.ts +75 -75
- package/src/plugin/word-helper.ts +162 -162
- package/src/plugin/workspace.ts +505 -505
- package/src/plugin-ext-backend-electron-module.ts +24 -24
- package/src/plugin-ext-backend-module.ts +24 -24
- package/src/plugin-ext-frontend-electron-module.ts +19 -19
- 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
|
+
}
|