@theia/plugin-ext 1.34.3 → 1.34.4

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 (839) hide show
  1. package/LICENSE +641 -641
  2. package/README.md +54 -54
  3. package/lib/common/arrays.d.ts +19 -19
  4. package/lib/common/arrays.js +46 -46
  5. package/lib/common/assert.d.ts +1 -1
  6. package/lib/common/assert.js +25 -25
  7. package/lib/common/cache.d.ts +11 -11
  8. package/lib/common/cache.js +47 -47
  9. package/lib/common/character-classifier.d.ts +18 -18
  10. package/lib/common/character-classifier.js +60 -60
  11. package/lib/common/collections.d.ts +4 -4
  12. package/lib/common/collections.js +39 -39
  13. package/lib/common/connection.d.ts +54 -54
  14. package/lib/common/connection.js +107 -107
  15. package/lib/common/disposable-util.d.ts +6 -6
  16. package/lib/common/disposable-util.js +37 -37
  17. package/lib/common/editor-options.d.ts +30 -30
  18. package/lib/common/editor-options.js +72 -72
  19. package/lib/common/env.d.ts +3 -3
  20. package/lib/common/env.js +17 -17
  21. package/lib/common/errors.d.ts +3 -3
  22. package/lib/common/errors.js +42 -42
  23. package/lib/common/id-generator.d.ts +6 -6
  24. package/lib/common/id-generator.js +28 -28
  25. package/lib/common/index.d.ts +3 -3
  26. package/lib/common/index.js +33 -33
  27. package/lib/common/link-computer.d.ts +41 -41
  28. package/lib/common/link-computer.js +275 -275
  29. package/lib/common/object-identifier.d.ts +8 -8
  30. package/lib/common/object-identifier.js +32 -32
  31. package/lib/common/objects.d.ts +1 -1
  32. package/lib/common/objects.js +46 -46
  33. package/lib/common/paths-util.d.ts +3 -3
  34. package/lib/common/paths-util.js +144 -144
  35. package/lib/common/plugin-api-rpc-model.d.ts +728 -728
  36. package/lib/common/plugin-api-rpc-model.js +173 -173
  37. package/lib/common/plugin-api-rpc.d.ts +1710 -1710
  38. package/lib/common/plugin-api-rpc.js +279 -279
  39. package/lib/common/plugin-ext-api-contribution.d.ts +58 -58
  40. package/lib/common/plugin-ext-api-contribution.js +5 -5
  41. package/lib/common/plugin-identifiers.d.ts +40 -40
  42. package/lib/common/plugin-identifiers.js +80 -80
  43. package/lib/common/plugin-protocol.d.ts +840 -840
  44. package/lib/common/plugin-protocol.js +67 -67
  45. package/lib/common/proxy-handler.d.ts +65 -65
  46. package/lib/common/proxy-handler.js +97 -97
  47. package/lib/common/reference-map.d.ts +7 -7
  48. package/lib/common/reference-map.js +39 -39
  49. package/lib/common/rpc-protocol.d.ts +65 -65
  50. package/lib/common/rpc-protocol.js +229 -229
  51. package/lib/common/semantic-tokens-dto.d.ts +18 -18
  52. package/lib/common/semantic-tokens-dto.js +162 -162
  53. package/lib/common/types.d.ts +37 -37
  54. package/lib/common/types.js +121 -121
  55. package/lib/common/uint.d.ts +7 -7
  56. package/lib/common/uint.js +33 -33
  57. package/lib/common/uri-components.d.ts +39 -39
  58. package/lib/common/uri-components.js +66 -66
  59. package/lib/hosted/browser/hosted-plugin-watcher.d.ts +15 -15
  60. package/lib/hosted/browser/hosted-plugin-watcher.js +59 -59
  61. package/lib/hosted/browser/hosted-plugin.d.ts +145 -145
  62. package/lib/hosted/browser/hosted-plugin.js +787 -787
  63. package/lib/hosted/browser/plugin-worker.d.ts +6 -6
  64. package/lib/hosted/browser/plugin-worker.js +57 -57
  65. package/lib/hosted/browser/worker/debug-stub.d.ts +3 -3
  66. package/lib/hosted/browser/worker/debug-stub.js +29 -29
  67. package/lib/hosted/browser/worker/plugin-manifest-loader.d.ts +2 -2
  68. package/lib/hosted/browser/worker/plugin-manifest-loader.js +107 -107
  69. package/lib/hosted/browser/worker/worker-env-ext.d.ts +14 -14
  70. package/lib/hosted/browser/worker/worker-env-ext.js +38 -38
  71. package/lib/hosted/browser/worker/worker-main.d.ts +1 -1
  72. package/lib/hosted/browser/worker/worker-main.js +192 -192
  73. package/lib/hosted/node/hosted-plugin-cli-contribution.d.ts +16 -16
  74. package/lib/hosted/node/hosted-plugin-cli-contribution.js +76 -76
  75. package/lib/hosted/node/hosted-plugin-deployer-handler.d.ts +42 -42
  76. package/lib/hosted/node/hosted-plugin-deployer-handler.js +264 -264
  77. package/lib/hosted/node/hosted-plugin-localization-service.d.ts +34 -34
  78. package/lib/hosted/node/hosted-plugin-localization-service.js +239 -239
  79. package/lib/hosted/node/hosted-plugin-process.d.ts +47 -47
  80. package/lib/hosted/node/hosted-plugin-process.js +224 -224
  81. package/lib/hosted/node/hosted-plugin-protocol.d.ts +21 -21
  82. package/lib/hosted/node/hosted-plugin-protocol.js +36 -36
  83. package/lib/hosted/node/hosted-plugin.d.ts +36 -36
  84. package/lib/hosted/node/hosted-plugin.js +118 -118
  85. package/lib/hosted/node/metadata-scanner.d.ts +17 -17
  86. package/lib/hosted/node/metadata-scanner.js +82 -82
  87. package/lib/hosted/node/plugin-ext-hosted-backend-module.d.ts +3 -3
  88. package/lib/hosted/node/plugin-ext-hosted-backend-module.js +73 -73
  89. package/lib/hosted/node/plugin-host-proxy.d.ts +17 -17
  90. package/lib/hosted/node/plugin-host-proxy.js +69 -69
  91. package/lib/hosted/node/plugin-host-rpc.d.ts +21 -21
  92. package/lib/hosted/node/plugin-host-rpc.js +216 -216
  93. package/lib/hosted/node/plugin-host.d.ts +1 -1
  94. package/lib/hosted/node/plugin-host.js +101 -101
  95. package/lib/hosted/node/plugin-manifest-loader.d.ts +1 -1
  96. package/lib/hosted/node/plugin-manifest-loader.js +34 -34
  97. package/lib/hosted/node/plugin-reader.d.ts +25 -25
  98. package/lib/hosted/node/plugin-reader.js +141 -141
  99. package/lib/hosted/node/plugin-service.d.ts +39 -39
  100. package/lib/hosted/node/plugin-service.js +193 -193
  101. package/lib/hosted/node/scanners/backend-init-theia.d.ts +2 -2
  102. package/lib/hosted/node/scanners/backend-init-theia.js +60 -60
  103. package/lib/hosted/node/scanners/file-plugin-uri-factory.d.ts +10 -10
  104. package/lib/hosted/node/scanners/file-plugin-uri-factory.js +40 -40
  105. package/lib/hosted/node/scanners/grammars-reader.d.ts +5 -5
  106. package/lib/hosted/node/scanners/grammars-reader.js +63 -63
  107. package/lib/hosted/node/scanners/plugin-uri-factory.d.ts +16 -16
  108. package/lib/hosted/node/scanners/plugin-uri-factory.js +19 -19
  109. package/lib/hosted/node/scanners/scanner-theia.d.ts +56 -56
  110. package/lib/hosted/node/scanners/scanner-theia.js +842 -842
  111. package/lib/hosted/node-electron/plugin-ext-hosted-electron-backend-module.d.ts +2 -2
  112. package/lib/hosted/node-electron/plugin-ext-hosted-electron-backend-module.js +26 -26
  113. package/lib/hosted/node-electron/scanner-theia-electron.d.ts +5 -5
  114. package/lib/hosted/node-electron/scanner-theia-electron.js +40 -40
  115. package/lib/main/browser/authentication-main.d.ts +51 -51
  116. package/lib/main/browser/authentication-main.js +299 -299
  117. package/lib/main/browser/clipboard-main.d.ts +9 -9
  118. package/lib/main/browser/clipboard-main.js +32 -32
  119. package/lib/main/browser/command-registry-main.d.ts +23 -23
  120. package/lib/main/browser/command-registry-main.js +97 -97
  121. package/lib/main/browser/commands.d.ts +12 -12
  122. package/lib/main/browser/commands.js +102 -102
  123. package/lib/main/browser/comments/comment-glyph-widget.d.ts +12 -12
  124. package/lib/main/browser/comments/comment-glyph-widget.js +42 -42
  125. package/lib/main/browser/comments/comment-thread-widget.d.ts +153 -153
  126. package/lib/main/browser/comments/comment-thread-widget.js +466 -466
  127. package/lib/main/browser/comments/comments-context-key-service.d.ts +17 -17
  128. package/lib/main/browser/comments/comments-context-key-service.js +80 -80
  129. package/lib/main/browser/comments/comments-contribution.d.ts +31 -31
  130. package/lib/main/browser/comments/comments-contribution.js +264 -264
  131. package/lib/main/browser/comments/comments-decorator.d.ts +15 -15
  132. package/lib/main/browser/comments/comments-decorator.js +107 -107
  133. package/lib/main/browser/comments/comments-main.d.ts +106 -106
  134. package/lib/main/browser/comments/comments-main.js +341 -341
  135. package/lib/main/browser/comments/comments-service.d.ts +75 -75
  136. package/lib/main/browser/comments/comments-service.js +120 -120
  137. package/lib/main/browser/custom-editors/custom-editor-contribution.d.ts +6 -6
  138. package/lib/main/browser/custom-editors/custom-editor-contribution.js +50 -50
  139. package/lib/main/browser/custom-editors/custom-editor-opener.d.ts +21 -21
  140. package/lib/main/browser/custom-editors/custom-editor-opener.js +111 -111
  141. package/lib/main/browser/custom-editors/custom-editor-service.d.ts +16 -16
  142. package/lib/main/browser/custom-editors/custom-editor-service.js +102 -102
  143. package/lib/main/browser/custom-editors/custom-editor-widget-factory.d.ts +9 -9
  144. package/lib/main/browser/custom-editors/custom-editor-widget-factory.js +39 -39
  145. package/lib/main/browser/custom-editors/custom-editor-widget.d.ts +36 -36
  146. package/lib/main/browser/custom-editors/custom-editor-widget.js +115 -115
  147. package/lib/main/browser/custom-editors/custom-editors-main.d.ts +120 -120
  148. package/lib/main/browser/custom-editors/custom-editors-main.js +447 -447
  149. package/lib/main/browser/custom-editors/plugin-custom-editor-registry.d.ts +23 -23
  150. package/lib/main/browser/custom-editors/plugin-custom-editor-registry.js +142 -142
  151. package/lib/main/browser/custom-editors/undo-redo-service.d.ts +23 -23
  152. package/lib/main/browser/custom-editors/undo-redo-service.js +110 -110
  153. package/lib/main/browser/debug/debug-main.d.ts +48 -48
  154. package/lib/main/browser/debug/debug-main.js +295 -295
  155. package/lib/main/browser/debug/plugin-debug-adapter-contribution.d.ts +18 -18
  156. package/lib/main/browser/debug/plugin-debug-adapter-contribution.js +42 -42
  157. package/lib/main/browser/debug/plugin-debug-configuration-provider.d.ts +12 -12
  158. package/lib/main/browser/debug/plugin-debug-configuration-provider.js +38 -38
  159. package/lib/main/browser/debug/plugin-debug-service.d.ts +52 -52
  160. package/lib/main/browser/debug/plugin-debug-service.js +283 -283
  161. package/lib/main/browser/debug/plugin-debug-session-contribution-registry.d.ts +30 -30
  162. package/lib/main/browser/debug/plugin-debug-session-contribution-registry.js +75 -75
  163. package/lib/main/browser/debug/plugin-debug-session-factory.d.ts +55 -55
  164. package/lib/main/browser/debug/plugin-debug-session-factory.js +70 -70
  165. package/lib/main/browser/decorations/decorations-main.d.ts +15 -15
  166. package/lib/main/browser/decorations/decorations-main.js +119 -119
  167. package/lib/main/browser/dialogs/modal-notification.d.ts +18 -18
  168. package/lib/main/browser/dialogs/modal-notification.js +107 -107
  169. package/lib/main/browser/dialogs-main.d.ts +16 -16
  170. package/lib/main/browser/dialogs-main.js +162 -162
  171. package/lib/main/browser/documents-main.d.ts +50 -50
  172. package/lib/main/browser/documents-main.js +249 -249
  173. package/lib/main/browser/editors-and-documents-main.d.ts +32 -32
  174. package/lib/main/browser/editors-and-documents-main.js +301 -301
  175. package/lib/main/browser/env-main.d.ts +15 -15
  176. package/lib/main/browser/env-main.js +82 -82
  177. package/lib/main/browser/file-system-main-impl.d.ts +27 -27
  178. package/lib/main/browser/file-system-main-impl.js +199 -199
  179. package/lib/main/browser/hierarchy/hierarchy-types-converters.d.ts +24 -24
  180. package/lib/main/browser/hierarchy/hierarchy-types-converters.js +174 -174
  181. package/lib/main/browser/keybindings/keybindings-contribution-handler.d.ts +9 -9
  182. package/lib/main/browser/keybindings/keybindings-contribution-handler.js +77 -77
  183. package/lib/main/browser/label-service-main.d.ts +10 -10
  184. package/lib/main/browser/label-service-main.js +46 -46
  185. package/lib/main/browser/languages-main.d.ts +136 -136
  186. package/lib/main/browser/languages-main.js +1116 -1116
  187. package/lib/main/browser/main-context.d.ts +3 -3
  188. package/lib/main/browser/main-context.js +137 -137
  189. package/lib/main/browser/main-file-system-event-service.d.ts +7 -7
  190. package/lib/main/browser/main-file-system-event-service.js +65 -65
  191. package/lib/main/browser/menus/menus-contribution-handler.d.ts +29 -29
  192. package/lib/main/browser/menus/menus-contribution-handler.js +194 -194
  193. package/lib/main/browser/menus/plugin-menu-command-adapter.d.ts +43 -43
  194. package/lib/main/browser/menus/plugin-menu-command-adapter.js +279 -279
  195. package/lib/main/browser/menus/vscode-theia-menu-mappings.d.ts +17 -17
  196. package/lib/main/browser/menus/vscode-theia-menu-mappings.js +93 -93
  197. package/lib/main/browser/message-registry-main.d.ts +8 -8
  198. package/lib/main/browser/message-registry-main.js +52 -52
  199. package/lib/main/browser/notification-main.d.ts +18 -18
  200. package/lib/main/browser/notification-main.js +75 -75
  201. package/lib/main/browser/output-channel-registry-main.d.ts +10 -10
  202. package/lib/main/browser/output-channel-registry-main.js +60 -60
  203. package/lib/main/browser/plugin-authentication-service.d.ts +13 -13
  204. package/lib/main/browser/plugin-authentication-service.js +80 -80
  205. package/lib/main/browser/plugin-contribution-handler.d.ts +66 -66
  206. package/lib/main/browser/plugin-contribution-handler.js +580 -580
  207. package/lib/main/browser/plugin-ext-frontend-module.d.ts +7 -7
  208. package/lib/main/browser/plugin-ext-frontend-module.js +216 -216
  209. package/lib/main/browser/plugin-ext-widget.d.ts +28 -28
  210. package/lib/main/browser/plugin-ext-widget.js +129 -129
  211. package/lib/main/browser/plugin-frontend-contribution.d.ts +6 -6
  212. package/lib/main/browser/plugin-frontend-contribution.js +45 -45
  213. package/lib/main/browser/plugin-frontend-view-contribution.d.ts +6 -6
  214. package/lib/main/browser/plugin-frontend-view-contribution.js +50 -50
  215. package/lib/main/browser/plugin-icon-theme-service.d.ts +135 -135
  216. package/lib/main/browser/plugin-icon-theme-service.js +519 -519
  217. package/lib/main/browser/plugin-shared-style.d.ts +36 -36
  218. package/lib/main/browser/plugin-shared-style.js +126 -126
  219. package/lib/main/browser/plugin-storage.d.ts +13 -13
  220. package/lib/main/browser/plugin-storage.js +46 -46
  221. package/lib/main/browser/plugin-terminal-registry.d.ts +4 -4
  222. package/lib/main/browser/plugin-terminal-registry.js +34 -34
  223. package/lib/main/browser/preference-registry-main.d.ts +19 -19
  224. package/lib/main/browser/preference-registry-main.js +104 -104
  225. package/lib/main/browser/quick-open-main.d.ts +31 -31
  226. package/lib/main/browser/quick-open-main.js +274 -274
  227. package/lib/main/browser/scm-main.d.ts +100 -100
  228. package/lib/main/browser/scm-main.js +330 -330
  229. package/lib/main/browser/secrets-main.d.ts +12 -12
  230. package/lib/main/browser/secrets-main.js +67 -67
  231. package/lib/main/browser/selection-provider-command.d.ts +12 -12
  232. package/lib/main/browser/selection-provider-command.js +57 -57
  233. package/lib/main/browser/status-bar-message-registry-main.d.ts +16 -16
  234. package/lib/main/browser/status-bar-message-registry-main.js +55 -55
  235. package/lib/main/browser/tabs/tabs-main.d.ts +40 -40
  236. package/lib/main/browser/tabs/tabs-main.js +282 -282
  237. package/lib/main/browser/tasks-main.d.ts +33 -33
  238. package/lib/main/browser/tasks-main.js +205 -205
  239. package/lib/main/browser/terminal-main.d.ts +49 -49
  240. package/lib/main/browser/terminal-main.js +268 -268
  241. package/lib/main/browser/text-editor-main.d.ts +47 -47
  242. package/lib/main/browser/text-editor-main.js +374 -374
  243. package/lib/main/browser/text-editor-model-service.d.ts +28 -28
  244. package/lib/main/browser/text-editor-model-service.js +108 -108
  245. package/lib/main/browser/text-editors-main.d.ts +38 -38
  246. package/lib/main/browser/text-editors-main.js +158 -158
  247. package/lib/main/browser/theme-icon-override.d.ts +1 -1
  248. package/lib/main/browser/theme-icon-override.js +247 -247
  249. package/lib/main/browser/theming-main.d.ts +9 -9
  250. package/lib/main/browser/theming-main.js +35 -35
  251. package/lib/main/browser/timeline-main.d.ts +13 -13
  252. package/lib/main/browser/timeline-main.js +46 -46
  253. package/lib/main/browser/view/dnd-file-content-store.d.ts +7 -7
  254. package/lib/main/browser/view/dnd-file-content-store.js +51 -51
  255. package/lib/main/browser/view/plugin-tree-view-node-label-provider.d.ts +11 -11
  256. package/lib/main/browser/view/plugin-tree-view-node-label-provider.js +90 -90
  257. package/lib/main/browser/view/plugin-view-registry.d.ts +106 -106
  258. package/lib/main/browser/view/plugin-view-registry.js +836 -836
  259. package/lib/main/browser/view/plugin-view-widget.d.ts +50 -50
  260. package/lib/main/browser/view/plugin-view-widget.js +166 -166
  261. package/lib/main/browser/view/tree-view-decorator-service.d.ts +30 -30
  262. package/lib/main/browser/view/tree-view-decorator-service.js +68 -68
  263. package/lib/main/browser/view/tree-view-widget.d.ts +160 -160
  264. package/lib/main/browser/view/tree-view-widget.js +761 -761
  265. package/lib/main/browser/view/tree-views-main.d.ts +31 -31
  266. package/lib/main/browser/view/tree-views-main.js +163 -163
  267. package/lib/main/browser/view/view-context-key-service.d.ts +30 -30
  268. package/lib/main/browser/view/view-context-key-service.js +84 -84
  269. package/lib/main/browser/view-column-service.d.ts +23 -23
  270. package/lib/main/browser/view-column-service.js +129 -129
  271. package/lib/main/browser/webview/webview-environment.d.ts +15 -15
  272. package/lib/main/browser/webview/webview-environment.js +93 -93
  273. package/lib/main/browser/webview/webview-frontend-security-warnings.d.ts +11 -11
  274. package/lib/main/browser/webview/webview-frontend-security-warnings.js +73 -73
  275. package/lib/main/browser/webview/webview-preferences.d.ts +12 -12
  276. package/lib/main/browser/webview/webview-preferences.js +57 -57
  277. package/lib/main/browser/webview/webview-resource-cache.d.ts +17 -17
  278. package/lib/main/browser/webview/webview-resource-cache.js +90 -90
  279. package/lib/main/browser/webview/webview-theme-data-provider.d.ts +30 -30
  280. package/lib/main/browser/webview/webview-theme-data-provider.js +132 -132
  281. package/lib/main/browser/webview/webview-widget-factory.d.ts +8 -8
  282. package/lib/main/browser/webview/webview-widget-factory.js +38 -38
  283. package/lib/main/browser/webview/webview.d.ts +130 -130
  284. package/lib/main/browser/webview/webview.js +549 -549
  285. package/lib/main/browser/webview-views/webview-views-main.d.ts +30 -30
  286. package/lib/main/browser/webview-views/webview-views-main.js +126 -126
  287. package/lib/main/browser/webview-views/webview-views.d.ts +14 -14
  288. package/lib/main/browser/webview-views/webview-views.js +22 -22
  289. package/lib/main/browser/webviews-main.d.ts +39 -39
  290. package/lib/main/browser/webviews-main.js +231 -231
  291. package/lib/main/browser/window-state-main.d.ts +16 -16
  292. package/lib/main/browser/window-state-main.js +61 -61
  293. package/lib/main/browser/workspace-main.d.ts +69 -69
  294. package/lib/main/browser/workspace-main.js +316 -316
  295. package/lib/main/common/plugin-paths-protocol.d.ts +8 -8
  296. package/lib/main/common/plugin-paths-protocol.js +21 -21
  297. package/lib/main/common/plugin-theia-environment.d.ts +7 -7
  298. package/lib/main/common/plugin-theia-environment.js +47 -47
  299. package/lib/main/common/webview-protocol.d.ts +12 -12
  300. package/lib/main/common/webview-protocol.js +31 -31
  301. package/lib/main/electron-browser/plugin-ext-frontend-electron-module.d.ts +3 -3
  302. package/lib/main/electron-browser/plugin-ext-frontend-electron-module.js +25 -25
  303. package/lib/main/electron-browser/webview/electron-webview-widget-factory.d.ts +22 -22
  304. package/lib/main/electron-browser/webview/electron-webview-widget-factory.js +64 -64
  305. package/lib/main/node/handlers/plugin-theia-directory-handler.d.ts +10 -10
  306. package/lib/main/node/handlers/plugin-theia-directory-handler.js +113 -113
  307. package/lib/main/node/handlers/plugin-theia-file-handler.d.ts +9 -9
  308. package/lib/main/node/handlers/plugin-theia-file-handler.js +66 -66
  309. package/lib/main/node/paths/const.d.ts +5 -5
  310. package/lib/main/node/paths/const.js +24 -24
  311. package/lib/main/node/paths/plugin-paths-service.d.ts +23 -23
  312. package/lib/main/node/paths/plugin-paths-service.js +169 -169
  313. package/lib/main/node/plugin-cli-contribution.d.ts +21 -21
  314. package/lib/main/node/plugin-cli-contribution.js +84 -84
  315. package/lib/main/node/plugin-deployer-contribution.d.ts +8 -8
  316. package/lib/main/node/plugin-deployer-contribution.js +47 -47
  317. package/lib/main/node/plugin-deployer-directory-handler-context-impl.d.ts +7 -7
  318. package/lib/main/node/plugin-deployer-directory-handler-context-impl.js +44 -44
  319. package/lib/main/node/plugin-deployer-entry-impl.d.ts +34 -34
  320. package/lib/main/node/plugin-deployer-entry-impl.js +109 -109
  321. package/lib/main/node/plugin-deployer-file-handler-context-impl.d.ts +7 -7
  322. package/lib/main/node/plugin-deployer-file-handler-context-impl.js +31 -31
  323. package/lib/main/node/plugin-deployer-impl.d.ts +61 -61
  324. package/lib/main/node/plugin-deployer-impl.js +341 -341
  325. package/lib/main/node/plugin-deployer-proxy-entry-impl.d.ts +29 -29
  326. package/lib/main/node/plugin-deployer-proxy-entry-impl.js +98 -98
  327. package/lib/main/node/plugin-deployer-resolver-context-impl.d.ts +15 -15
  328. package/lib/main/node/plugin-deployer-resolver-context-impl.js +42 -42
  329. package/lib/main/node/plugin-ext-backend-module.d.ts +2 -2
  330. package/lib/main/node/plugin-ext-backend-module.js +70 -70
  331. package/lib/main/node/plugin-github-resolver.d.ts +21 -21
  332. package/lib/main/node/plugin-github-resolver.js +142 -142
  333. package/lib/main/node/plugin-http-resolver.d.ts +18 -18
  334. package/lib/main/node/plugin-http-resolver.js +91 -91
  335. package/lib/main/node/plugin-localization-backend-contribution.d.ts +9 -9
  336. package/lib/main/node/plugin-localization-backend-contribution.js +58 -58
  337. package/lib/main/node/plugin-server-handler.d.ts +16 -16
  338. package/lib/main/node/plugin-server-handler.js +74 -74
  339. package/lib/main/node/plugin-service.d.ts +19 -19
  340. package/lib/main/node/plugin-service.js +91 -91
  341. package/lib/main/node/plugin-theia-deployer-participant.d.ts +6 -6
  342. package/lib/main/node/plugin-theia-deployer-participant.js +43 -43
  343. package/lib/main/node/plugin-uninstallation-manager.d.ts +14 -14
  344. package/lib/main/node/plugin-uninstallation-manager.js +84 -84
  345. package/lib/main/node/plugins-key-value-storage.d.ts +15 -15
  346. package/lib/main/node/plugins-key-value-storage.js +128 -128
  347. package/lib/main/node/resolvers/local-directory-plugin-deployer-resolver.d.ts +7 -7
  348. package/lib/main/node/resolvers/local-directory-plugin-deployer-resolver.js +43 -43
  349. package/lib/main/node/resolvers/local-plugin-deployer-resolver.d.ts +8 -8
  350. package/lib/main/node/resolvers/local-plugin-deployer-resolver.js +59 -59
  351. package/lib/main/node/temp-dir-util.d.ts +1 -1
  352. package/lib/main/node/temp-dir-util.js +30 -30
  353. package/lib/main/node/webview-backend-security-warnings.d.ts +5 -5
  354. package/lib/main/node/webview-backend-security-warnings.js +51 -51
  355. package/lib/plugin/authentication-ext.d.ts +34 -34
  356. package/lib/plugin/authentication-ext.js +94 -94
  357. package/lib/plugin/clipboard-ext.d.ts +9 -9
  358. package/lib/plugin/clipboard-ext.js +31 -31
  359. package/lib/plugin/command-registry.d.ts +43 -43
  360. package/lib/plugin/command-registry.js +176 -176
  361. package/lib/plugin/comments.d.ts +89 -89
  362. package/lib/plugin/comments.js +368 -368
  363. package/lib/plugin/custom-editors.d.ts +47 -47
  364. package/lib/plugin/custom-editors.js +255 -255
  365. package/lib/plugin/debug/debug-ext.d.ts +86 -86
  366. package/lib/plugin/debug/debug-ext.js +391 -391
  367. package/lib/plugin/debug/plugin-debug-adapter-creator.d.ts +10 -10
  368. package/lib/plugin/debug/plugin-debug-adapter-creator.js +41 -41
  369. package/lib/plugin/debug/plugin-debug-adapter-session.d.ts +26 -26
  370. package/lib/plugin/debug/plugin-debug-adapter-session.js +96 -96
  371. package/lib/plugin/debug/plugin-debug-adapter-tracker.d.ts +12 -12
  372. package/lib/plugin/debug/plugin-debug-adapter-tracker.js +77 -77
  373. package/lib/plugin/decorations.d.ts +14 -14
  374. package/lib/plugin/decorations.js +112 -112
  375. package/lib/plugin/dialogs.d.ts +10 -10
  376. package/lib/plugin/dialogs.js +91 -91
  377. package/lib/plugin/document-data.d.ts +38 -38
  378. package/lib/plugin/document-data.js +309 -309
  379. package/lib/plugin/documents.d.ts +56 -56
  380. package/lib/plugin/documents.js +253 -253
  381. package/lib/plugin/editors-and-documents.d.ts +26 -26
  382. package/lib/plugin/editors-and-documents.js +137 -137
  383. package/lib/plugin/env.d.ts +42 -42
  384. package/lib/plugin/env.js +101 -101
  385. package/lib/plugin/file-system-event-service-ext-impl.d.ts +40 -40
  386. package/lib/plugin/file-system-event-service-ext-impl.js +203 -203
  387. package/lib/plugin/file-system-ext-impl.d.ts +50 -50
  388. package/lib/plugin/file-system-ext-impl.js +354 -354
  389. package/lib/plugin/known-commands.d.ts +5 -5
  390. package/lib/plugin/known-commands.js +386 -386
  391. package/lib/plugin/known-commands.spec.d.ts +1 -1
  392. package/lib/plugin/known-commands.spec.js +42 -42
  393. package/lib/plugin/label-service.d.ts +11 -11
  394. package/lib/plugin/label-service.js +35 -35
  395. package/lib/plugin/languages/call-hierarchy.d.ts +20 -20
  396. package/lib/plugin/languages/call-hierarchy.js +101 -101
  397. package/lib/plugin/languages/code-action.d.ts +24 -24
  398. package/lib/plugin/languages/code-action.js +137 -137
  399. package/lib/plugin/languages/color.d.ts +12 -12
  400. package/lib/plugin/languages/color.js +58 -58
  401. package/lib/plugin/languages/completion.d.ts +20 -20
  402. package/lib/plugin/languages/completion.js +161 -161
  403. package/lib/plugin/languages/declaration.d.ts +11 -11
  404. package/lib/plugin/languages/declaration.js +58 -58
  405. package/lib/plugin/languages/definition.d.ts +11 -11
  406. package/lib/plugin/languages/definition.js +58 -58
  407. package/lib/plugin/languages/diagnostics.d.ts +49 -49
  408. package/lib/plugin/languages/diagnostics.js +281 -281
  409. package/lib/plugin/languages/document-formatting.d.ts +10 -10
  410. package/lib/plugin/languages/document-formatting.js +40 -40
  411. package/lib/plugin/languages/document-highlight.d.ts +12 -12
  412. package/lib/plugin/languages/document-highlight.js +50 -50
  413. package/lib/plugin/languages/evaluatable-expression.d.ts +11 -11
  414. package/lib/plugin/languages/evaluatable-expression.js +40 -40
  415. package/lib/plugin/languages/folding.d.ts +10 -10
  416. package/lib/plugin/languages/folding.js +39 -39
  417. package/lib/plugin/languages/hover.d.ts +11 -11
  418. package/lib/plugin/languages/hover.js +48 -48
  419. package/lib/plugin/languages/implementation.d.ts +11 -11
  420. package/lib/plugin/languages/implementation.js +58 -58
  421. package/lib/plugin/languages/inlay-hints.d.ts +19 -19
  422. package/lib/plugin/languages/inlay-hints.js +127 -127
  423. package/lib/plugin/languages/inline-completion.d.ts +20 -20
  424. package/lib/plugin/languages/inline-completion.js +93 -93
  425. package/lib/plugin/languages/inline-values.d.ts +10 -10
  426. package/lib/plugin/languages/inline-values.js +44 -44
  427. package/lib/plugin/languages/lens.d.ts +19 -19
  428. package/lib/plugin/languages/lens.js +89 -89
  429. package/lib/plugin/languages/link-provider.d.ts +14 -14
  430. package/lib/plugin/languages/link-provider.js +71 -71
  431. package/lib/plugin/languages/linked-editing-range.d.ts +11 -11
  432. package/lib/plugin/languages/linked-editing-range.js +40 -40
  433. package/lib/plugin/languages/on-type-formatting.d.ts +11 -11
  434. package/lib/plugin/languages/on-type-formatting.js +41 -41
  435. package/lib/plugin/languages/outline.d.ts +20 -20
  436. package/lib/plugin/languages/outline.js +115 -115
  437. package/lib/plugin/languages/range-formatting.d.ts +10 -10
  438. package/lib/plugin/languages/range-formatting.js +41 -41
  439. package/lib/plugin/languages/reference.d.ts +11 -11
  440. package/lib/plugin/languages/reference.js +47 -47
  441. package/lib/plugin/languages/rename.d.ts +14 -14
  442. package/lib/plugin/languages/rename.js +114 -114
  443. package/lib/plugin/languages/selection-range.d.ts +11 -11
  444. package/lib/plugin/languages/selection-range.js +65 -65
  445. package/lib/plugin/languages/semantic-highlighting.d.ts +28 -28
  446. package/lib/plugin/languages/semantic-highlighting.js +175 -175
  447. package/lib/plugin/languages/signature.d.ts +15 -15
  448. package/lib/plugin/languages/signature.js +71 -71
  449. package/lib/plugin/languages/type-definition.d.ts +11 -11
  450. package/lib/plugin/languages/type-definition.js +58 -58
  451. package/lib/plugin/languages/type-hierarchy.d.ts +18 -18
  452. package/lib/plugin/languages/type-hierarchy.js +95 -95
  453. package/lib/plugin/languages/util.d.ts +4 -4
  454. package/lib/plugin/languages/util.js +27 -27
  455. package/lib/plugin/languages/workspace-symbol.d.ts +8 -8
  456. package/lib/plugin/languages/workspace-symbol.js +61 -61
  457. package/lib/plugin/languages-utils.d.ts +5 -5
  458. package/lib/plugin/languages-utils.js +52 -52
  459. package/lib/plugin/languages.d.ts +118 -118
  460. package/lib/plugin/languages.js +679 -679
  461. package/lib/plugin/markdown-string.d.ts +24 -24
  462. package/lib/plugin/markdown-string.js +124 -124
  463. package/lib/plugin/message-registry.d.ts +8 -8
  464. package/lib/plugin/message-registry.js +60 -60
  465. package/lib/plugin/node/debug/debug.spec.d.ts +1 -1
  466. package/lib/plugin/node/debug/debug.spec.js +67 -67
  467. package/lib/plugin/node/debug/plugin-node-debug-adapter-creator.d.ts +17 -17
  468. package/lib/plugin/node/debug/plugin-node-debug-adapter-creator.js +154 -154
  469. package/lib/plugin/node/env-node-ext.d.ts +21 -21
  470. package/lib/plugin/node/env-node-ext.js +63 -63
  471. package/lib/plugin/notification.d.ts +17 -17
  472. package/lib/plugin/notification.js +67 -67
  473. package/lib/plugin/output-channel/output-channel-item.d.ts +17 -17
  474. package/lib/plugin/output-channel/output-channel-item.js +51 -51
  475. package/lib/plugin/output-channel-registry.d.ts +8 -8
  476. package/lib/plugin/output-channel-registry.js +35 -35
  477. package/lib/plugin/path.d.ts +2 -2
  478. package/lib/plugin/path.js +59 -59
  479. package/lib/plugin/path.spec.d.ts +1 -1
  480. package/lib/plugin/path.spec.js +34 -34
  481. package/lib/plugin/plugin-context.d.ts +56 -56
  482. package/lib/plugin/plugin-context.js +1072 -1072
  483. package/lib/plugin/plugin-icon-path.d.ts +11 -11
  484. package/lib/plugin/plugin-icon-path.js +49 -49
  485. package/lib/plugin/plugin-manager.d.ts +80 -80
  486. package/lib/plugin/plugin-manager.js +366 -366
  487. package/lib/plugin/plugin-storage.d.ts +36 -36
  488. package/lib/plugin/plugin-storage.js +99 -99
  489. package/lib/plugin/preference-registry.d.ts +36 -36
  490. package/lib/plugin/preference-registry.js +295 -295
  491. package/lib/plugin/preference-registry.spec.d.ts +1 -1
  492. package/lib/plugin/preference-registry.spec.js +251 -251
  493. package/lib/plugin/prefix-sum-computer.d.ts +30 -30
  494. package/lib/plugin/prefix-sum-computer.js +172 -172
  495. package/lib/plugin/quick-open.d.ts +202 -202
  496. package/lib/plugin/quick-open.js +637 -637
  497. package/lib/plugin/scm.d.ts +53 -53
  498. package/lib/plugin/scm.js +713 -713
  499. package/lib/plugin/secrets-ext.d.ts +30 -30
  500. package/lib/plugin/secrets-ext.js +68 -68
  501. package/lib/plugin/status-bar/status-bar-item.d.ts +44 -44
  502. package/lib/plugin/status-bar/status-bar-item.js +122 -122
  503. package/lib/plugin/status-bar-message-registry.d.ts +20 -20
  504. package/lib/plugin/status-bar-message-registry.js +84 -84
  505. package/lib/plugin/stubs/tests-api.d.ts +22 -22
  506. package/lib/plugin/stubs/tests-api.js +66 -66
  507. package/lib/plugin/tabs.d.ts +22 -22
  508. package/lib/plugin/tabs.js +358 -358
  509. package/lib/plugin/tasks/task-provider.d.ts +8 -8
  510. package/lib/plugin/tasks/task-provider.js +56 -56
  511. package/lib/plugin/tasks/tasks.d.ts +45 -45
  512. package/lib/plugin/tasks/tasks.js +210 -210
  513. package/lib/plugin/terminal-ext.d.ts +101 -101
  514. package/lib/plugin/terminal-ext.js +422 -422
  515. package/lib/plugin/text-editor.d.ts +100 -100
  516. package/lib/plugin/text-editor.js +409 -409
  517. package/lib/plugin/text-editors.d.ts +37 -37
  518. package/lib/plugin/text-editors.js +126 -126
  519. package/lib/plugin/theming.d.ts +15 -15
  520. package/lib/plugin/theming.js +61 -61
  521. package/lib/plugin/timeline.d.ts +20 -20
  522. package/lib/plugin/timeline.js +152 -152
  523. package/lib/plugin/tree/tree-views.d.ts +93 -93
  524. package/lib/plugin/tree/tree-views.js +523 -523
  525. package/lib/plugin/type-converters.d.ts +131 -131
  526. package/lib/plugin/type-converters.js +1292 -1292
  527. package/lib/plugin/type-converters.spec.d.ts +1 -1
  528. package/lib/plugin/type-converters.spec.js +391 -391
  529. package/lib/plugin/types-impl.d.ts +1464 -1464
  530. package/lib/plugin/types-impl.js +2956 -2956
  531. package/lib/plugin/types-impl.spec.d.ts +1 -1
  532. package/lib/plugin/types-impl.spec.js +78 -78
  533. package/lib/plugin/webview-views.d.ts +52 -52
  534. package/lib/plugin/webview-views.js +144 -144
  535. package/lib/plugin/webviews.d.ts +95 -95
  536. package/lib/plugin/webviews.js +340 -340
  537. package/lib/plugin/window-state.d.ts +16 -16
  538. package/lib/plugin/window-state.js +55 -55
  539. package/lib/plugin/word-helper.d.ts +21 -21
  540. package/lib/plugin/word-helper.js +125 -125
  541. package/lib/plugin/workspace.d.ts +53 -53
  542. package/lib/plugin/workspace.js +371 -371
  543. package/lib/plugin-ext-backend-electron-module.d.ts +3 -3
  544. package/lib/plugin-ext-backend-electron-module.js +24 -24
  545. package/lib/plugin-ext-backend-module.d.ts +3 -3
  546. package/lib/plugin-ext-backend-module.js +24 -24
  547. package/lib/plugin-ext-frontend-electron-module.d.ts +2 -2
  548. package/lib/plugin-ext-frontend-electron-module.js +19 -19
  549. package/lib/plugin-ext-frontend-module.d.ts +2 -2
  550. package/lib/plugin-ext-frontend-module.js +19 -19
  551. package/package.json +27 -27
  552. package/src/common/arrays.ts +54 -54
  553. package/src/common/assert.ts +23 -23
  554. package/src/common/cache.ts +51 -51
  555. package/src/common/character-classifier.ts +73 -73
  556. package/src/common/collections.ts +37 -37
  557. package/src/common/connection.ts +137 -137
  558. package/src/common/disposable-util.ts +39 -39
  559. package/src/common/editor-options.ts +74 -74
  560. package/src/common/env.ts +19 -19
  561. package/src/common/errors.ts +37 -37
  562. package/src/common/id-generator.ts +26 -26
  563. package/src/common/index.ts +24 -24
  564. package/src/common/link-computer.ts +354 -354
  565. package/src/common/object-identifier.ts +33 -33
  566. package/src/common/objects.ts +50 -50
  567. package/src/common/paths-util.ts +158 -158
  568. package/src/common/plugin-api-rpc-model.ts +864 -864
  569. package/src/common/plugin-api-rpc.ts +2202 -2202
  570. package/src/common/plugin-ext-api-contribution.ts +82 -82
  571. package/src/common/plugin-identifiers.ts +84 -84
  572. package/src/common/plugin-protocol.ts +987 -987
  573. package/src/common/proxy-handler.ts +126 -126
  574. package/src/common/reference-map.ts +38 -38
  575. package/src/common/rpc-protocol.ts +272 -272
  576. package/src/common/semantic-tokens-dto.ts +182 -182
  577. package/src/common/types.ts +129 -129
  578. package/src/common/uint.ts +37 -37
  579. package/src/common/uri-components.ts +85 -85
  580. package/src/hosted/browser/hosted-plugin-watcher.ts +54 -54
  581. package/src/hosted/browser/hosted-plugin.ts +830 -830
  582. package/src/hosted/browser/plugin-worker.ts +52 -52
  583. package/src/hosted/browser/worker/debug-stub.ts +28 -28
  584. package/src/hosted/browser/worker/plugin-manifest-loader.ts +114 -114
  585. package/src/hosted/browser/worker/worker-env-ext.ts +41 -41
  586. package/src/hosted/browser/worker/worker-main.ts +221 -221
  587. package/src/hosted/node/hosted-plugin-cli-contribution.ts +75 -75
  588. package/src/hosted/node/hosted-plugin-deployer-handler.ts +261 -261
  589. package/src/hosted/node/hosted-plugin-localization-service.ts +254 -254
  590. package/src/hosted/node/hosted-plugin-process.ts +248 -248
  591. package/src/hosted/node/hosted-plugin-protocol.ts +49 -49
  592. package/src/hosted/node/hosted-plugin.ts +116 -116
  593. package/src/hosted/node/metadata-scanner.ts +64 -64
  594. package/src/hosted/node/plugin-ext-hosted-backend-module.ts +80 -80
  595. package/src/hosted/node/plugin-host-proxy.ts +80 -80
  596. package/src/hosted/node/plugin-host-rpc.ts +245 -245
  597. package/src/hosted/node/plugin-host.ts +108 -108
  598. package/src/hosted/node/plugin-manifest-loader.ts +31 -31
  599. package/src/hosted/node/plugin-reader.ts +131 -131
  600. package/src/hosted/node/plugin-service.ts +175 -175
  601. package/src/hosted/node/scanners/backend-init-theia.ts +71 -71
  602. package/src/hosted/node/scanners/file-plugin-uri-factory.ts +32 -32
  603. package/src/hosted/node/scanners/grammars-reader.ts +56 -56
  604. package/src/hosted/node/scanners/plugin-uri-factory.ts +33 -33
  605. package/src/hosted/node/scanners/scanner-theia.ts +938 -938
  606. package/src/hosted/node-electron/plugin-ext-hosted-electron-backend-module.ts +26 -26
  607. package/src/hosted/node-electron/scanner-theia-electron.ts +32 -32
  608. package/src/main/browser/authentication-main.ts +369 -369
  609. package/src/main/browser/clipboard-main.ts +38 -38
  610. package/src/main/browser/command-registry-main.ts +110 -110
  611. package/src/main/browser/commands.ts +104 -104
  612. package/src/main/browser/comments/comment-glyph-widget.ts +66 -66
  613. package/src/main/browser/comments/comment-thread-widget.tsx +691 -691
  614. package/src/main/browser/comments/comments-context-key-service.ts +68 -68
  615. package/src/main/browser/comments/comments-contribution.ts +264 -264
  616. package/src/main/browser/comments/comments-decorator.ts +110 -110
  617. package/src/main/browser/comments/comments-main.ts +465 -465
  618. package/src/main/browser/comments/comments-service.ts +205 -205
  619. package/src/main/browser/custom-editors/custom-editor-contribution.ts +38 -38
  620. package/src/main/browser/custom-editors/custom-editor-opener.tsx +105 -105
  621. package/src/main/browser/custom-editors/custom-editor-service.ts +108 -108
  622. package/src/main/browser/custom-editors/custom-editor-widget-factory.ts +44 -44
  623. package/src/main/browser/custom-editors/custom-editor-widget.ts +127 -127
  624. package/src/main/browser/custom-editors/custom-editors-main.ts +606 -606
  625. package/src/main/browser/custom-editors/plugin-custom-editor-registry.ts +142 -142
  626. package/src/main/browser/custom-editors/undo-redo-service.ts +120 -120
  627. package/src/main/browser/debug/debug-main.ts +373 -373
  628. package/src/main/browser/debug/plugin-debug-adapter-contribution.ts +48 -48
  629. package/src/main/browser/debug/plugin-debug-configuration-provider.ts +63 -63
  630. package/src/main/browser/debug/plugin-debug-service.ts +338 -338
  631. package/src/main/browser/debug/plugin-debug-session-contribution-registry.ts +76 -76
  632. package/src/main/browser/debug/plugin-debug-session-factory.ts +105 -105
  633. package/src/main/browser/decorations/decorations-main.ts +146 -146
  634. package/src/main/browser/dialogs/modal-notification.ts +110 -110
  635. package/src/main/browser/dialogs/style/modal-notification.css +123 -123
  636. package/src/main/browser/dialogs-main.ts +185 -185
  637. package/src/main/browser/documents-main.ts +289 -289
  638. package/src/main/browser/editors-and-documents-main.ts +394 -394
  639. package/src/main/browser/env-main.ts +87 -87
  640. package/src/main/browser/file-system-main-impl.ts +263 -263
  641. package/src/main/browser/hierarchy/hierarchy-types-converters.ts +189 -189
  642. package/src/main/browser/keybindings/keybindings-contribution-handler.ts +66 -66
  643. package/src/main/browser/label-service-main.ts +51 -51
  644. package/src/main/browser/languages-main.ts +1387 -1387
  645. package/src/main/browser/main-context.ts +187 -187
  646. package/src/main/browser/main-file-system-event-service.ts +76 -76
  647. package/src/main/browser/menus/menus-contribution-handler.ts +162 -162
  648. package/src/main/browser/menus/plugin-menu-command-adapter.ts +264 -264
  649. package/src/main/browser/menus/vscode-theia-menu-mappings.ts +91 -91
  650. package/src/main/browser/message-registry-main.ts +56 -56
  651. package/src/main/browser/notification-main.ts +86 -86
  652. package/src/main/browser/output-channel-registry-main.ts +53 -53
  653. package/src/main/browser/plugin-authentication-service.ts +71 -71
  654. package/src/main/browser/plugin-contribution-handler.ts +609 -609
  655. package/src/main/browser/plugin-ext-frontend-module.ts +249 -249
  656. package/src/main/browser/plugin-ext-widget.tsx +132 -132
  657. package/src/main/browser/plugin-frontend-contribution.ts +35 -35
  658. package/src/main/browser/plugin-frontend-view-contribution.ts +38 -38
  659. package/src/main/browser/plugin-icon-theme-service.ts +585 -585
  660. package/src/main/browser/plugin-shared-style.ts +133 -133
  661. package/src/main/browser/plugin-storage.ts +55 -55
  662. package/src/main/browser/plugin-terminal-registry.ts +27 -27
  663. package/src/main/browser/preference-registry-main.ts +123 -123
  664. package/src/main/browser/quick-open-main.ts +324 -324
  665. package/src/main/browser/scm-main.ts +453 -453
  666. package/src/main/browser/secrets-main.ts +82 -82
  667. package/src/main/browser/selection-provider-command.ts +46 -46
  668. package/src/main/browser/status-bar-message-registry-main.ts +90 -90
  669. package/src/main/browser/style/comments.css +345 -345
  670. package/src/main/browser/style/index.css +85 -85
  671. package/src/main/browser/style/plugin-sidebar.css +73 -73
  672. package/src/main/browser/style/test.svg +13 -13
  673. package/src/main/browser/style/tree.css +52 -52
  674. package/src/main/browser/style/webview.css +53 -53
  675. package/src/main/browser/tabs/tabs-main.ts +323 -323
  676. package/src/main/browser/tasks-main.ts +268 -268
  677. package/src/main/browser/terminal-main.ts +301 -301
  678. package/src/main/browser/text-editor-main.ts +463 -463
  679. package/src/main/browser/text-editor-model-service.ts +102 -102
  680. package/src/main/browser/text-editors-main.ts +206 -206
  681. package/src/main/browser/theme-icon-override.ts +252 -252
  682. package/src/main/browser/theming-main.ts +42 -42
  683. package/src/main/browser/timeline-main.ts +80 -80
  684. package/src/main/browser/view/dnd-file-content-store.ts +42 -42
  685. package/src/main/browser/view/plugin-tree-view-node-label-provider.ts +81 -81
  686. package/src/main/browser/view/plugin-view-registry.ts +885 -885
  687. package/src/main/browser/view/plugin-view-widget.ts +173 -173
  688. package/src/main/browser/view/tree-view-decorator-service.ts +51 -51
  689. package/src/main/browser/view/tree-view-widget.tsx +859 -859
  690. package/src/main/browser/view/tree-views-main.ts +191 -191
  691. package/src/main/browser/view/view-context-key-service.ts +77 -77
  692. package/src/main/browser/view-column-service.ts +125 -125
  693. package/src/main/browser/webview/pre/fake.html +14 -14
  694. package/src/main/browser/webview/pre/host.js +130 -130
  695. package/src/main/browser/webview/pre/index.html +17 -17
  696. package/src/main/browser/webview/pre/main.js +632 -632
  697. package/src/main/browser/webview/pre/service-worker.js +295 -295
  698. package/src/main/browser/webview/webview-environment.ts +83 -83
  699. package/src/main/browser/webview/webview-frontend-security-warnings.ts +59 -59
  700. package/src/main/browser/webview/webview-preferences.ts +72 -72
  701. package/src/main/browser/webview/webview-resource-cache.ts +88 -88
  702. package/src/main/browser/webview/webview-theme-data-provider.ts +124 -124
  703. package/src/main/browser/webview/webview-widget-factory.ts +43 -43
  704. package/src/main/browser/webview/webview.ts +629 -629
  705. package/src/main/browser/webview-views/webview-views-main.ts +142 -142
  706. package/src/main/browser/webview-views/webview-views.ts +38 -38
  707. package/src/main/browser/webviews-main.ts +269 -269
  708. package/src/main/browser/window-state-main.ts +76 -76
  709. package/src/main/browser/workspace-main.ts +383 -383
  710. package/src/main/common/plugin-paths-protocol.ts +26 -26
  711. package/src/main/common/plugin-theia-environment.ts +36 -36
  712. package/src/main/common/webview-protocol.ts +28 -28
  713. package/src/main/electron-browser/plugin-ext-frontend-electron-module.ts +25 -25
  714. package/src/main/electron-browser/webview/electron-webview-widget-factory.ts +70 -70
  715. package/src/main/node/handlers/plugin-theia-directory-handler.ts +105 -105
  716. package/src/main/node/handlers/plugin-theia-file-handler.ts +54 -54
  717. package/src/main/node/paths/const.ts +21 -21
  718. package/src/main/node/paths/plugin-paths-service.ts +170 -170
  719. package/src/main/node/plugin-cli-contribution.ts +85 -85
  720. package/src/main/node/plugin-deployer-contribution.ts +34 -34
  721. package/src/main/node/plugin-deployer-directory-handler-context-impl.ts +45 -45
  722. package/src/main/node/plugin-deployer-entry-impl.ts +130 -130
  723. package/src/main/node/plugin-deployer-file-handler-context-impl.ts +33 -33
  724. package/src/main/node/plugin-deployer-impl.ts +367 -367
  725. package/src/main/node/plugin-deployer-proxy-entry-impl.ts +96 -96
  726. package/src/main/node/plugin-deployer-resolver-context-impl.ts +55 -55
  727. package/src/main/node/plugin-ext-backend-module.ts +93 -93
  728. package/src/main/node/plugin-github-resolver.ts +148 -148
  729. package/src/main/node/plugin-http-resolver.ts +91 -91
  730. package/src/main/node/plugin-localization-backend-contribution.ts +42 -42
  731. package/src/main/node/plugin-server-handler.ts +69 -69
  732. package/src/main/node/plugin-service.ts +82 -82
  733. package/src/main/node/plugin-theia-deployer-participant.ts +32 -32
  734. package/src/main/node/plugin-uninstallation-manager.ts +74 -74
  735. package/src/main/node/plugins-key-value-storage.ts +117 -117
  736. package/src/main/node/resolvers/local-directory-plugin-deployer-resolver.ts +37 -37
  737. package/src/main/node/resolvers/local-plugin-deployer-resolver.ts +56 -56
  738. package/src/main/node/temp-dir-util.ts +27 -27
  739. package/src/main/node/webview-backend-security-warnings.ts +45 -45
  740. package/src/main/style/status-bar.css +35 -35
  741. package/src/plugin/authentication-ext.ts +125 -125
  742. package/src/plugin/clipboard-ext.ts +37 -37
  743. package/src/plugin/command-registry.ts +218 -218
  744. package/src/plugin/comments.ts +518 -518
  745. package/src/plugin/custom-editors.ts +336 -336
  746. package/src/plugin/debug/debug-ext.ts +487 -487
  747. package/src/plugin/debug/plugin-debug-adapter-creator.ts +50 -50
  748. package/src/plugin/debug/plugin-debug-adapter-session.ts +106 -106
  749. package/src/plugin/debug/plugin-debug-adapter-tracker.ts +85 -85
  750. package/src/plugin/decorations.ts +140 -140
  751. package/src/plugin/dialogs.ts +96 -96
  752. package/src/plugin/document-data.ts +366 -366
  753. package/src/plugin/documents.ts +283 -283
  754. package/src/plugin/editors-and-documents.ts +170 -170
  755. package/src/plugin/env.ts +134 -134
  756. package/src/plugin/file-system-event-service-ext-impl.ts +256 -256
  757. package/src/plugin/file-system-ext-impl.ts +412 -412
  758. package/src/plugin/known-commands.spec.ts +50 -50
  759. package/src/plugin/known-commands.ts +412 -412
  760. package/src/plugin/label-service.ts +36 -36
  761. package/src/plugin/languages/call-hierarchy.ts +124 -124
  762. package/src/plugin/languages/code-action.ts +162 -162
  763. package/src/plugin/languages/color.ts +75 -75
  764. package/src/plugin/languages/completion.ts +179 -179
  765. package/src/plugin/languages/declaration.ts +72 -72
  766. package/src/plugin/languages/definition.ts +73 -73
  767. package/src/plugin/languages/diagnostics.ts +325 -325
  768. package/src/plugin/languages/document-formatting.ts +47 -47
  769. package/src/plugin/languages/document-highlight.ts +61 -61
  770. package/src/plugin/languages/evaluatable-expression.ts +47 -47
  771. package/src/plugin/languages/folding.ts +46 -46
  772. package/src/plugin/languages/hover.ts +58 -58
  773. package/src/plugin/languages/implementation.ts +73 -73
  774. package/src/plugin/languages/inlay-hints.ts +149 -149
  775. package/src/plugin/languages/inline-completion.ts +126 -126
  776. package/src/plugin/languages/inline-values.ts +50 -50
  777. package/src/plugin/languages/lens.ts +102 -102
  778. package/src/plugin/languages/link-provider.ts +79 -79
  779. package/src/plugin/languages/linked-editing-range.ts +48 -48
  780. package/src/plugin/languages/on-type-formatting.ts +50 -50
  781. package/src/plugin/languages/outline.ts +126 -126
  782. package/src/plugin/languages/range-formatting.ts +48 -48
  783. package/src/plugin/languages/reference.ts +58 -58
  784. package/src/plugin/languages/rename.ts +130 -130
  785. package/src/plugin/languages/selection-range.ts +80 -80
  786. package/src/plugin/languages/semantic-highlighting.ts +211 -211
  787. package/src/plugin/languages/signature.ts +82 -82
  788. package/src/plugin/languages/type-definition.ts +73 -73
  789. package/src/plugin/languages/type-hierarchy.ts +117 -117
  790. package/src/plugin/languages/util.ts +26 -26
  791. package/src/plugin/languages/workspace-symbol.ts +66 -66
  792. package/src/plugin/languages-utils.ts +56 -56
  793. package/src/plugin/languages.ts +969 -969
  794. package/src/plugin/markdown-string.ts +115 -115
  795. package/src/plugin/message-registry.ts +65 -65
  796. package/src/plugin/node/debug/debug.spec.ts +94 -94
  797. package/src/plugin/node/debug/plugin-node-debug-adapter-creator.ts +167 -167
  798. package/src/plugin/node/env-node-ext.ts +69 -69
  799. package/src/plugin/notification.ts +80 -80
  800. package/src/plugin/output-channel/output-channel-item.ts +73 -73
  801. package/src/plugin/output-channel-registry.ts +39 -39
  802. package/src/plugin/path.spec.ts +40 -40
  803. package/src/plugin/path.ts +68 -68
  804. package/src/plugin/plugin-context.ts +1387 -1387
  805. package/src/plugin/plugin-icon-path.ts +50 -50
  806. package/src/plugin/plugin-manager.ts +446 -446
  807. package/src/plugin/plugin-storage.ts +120 -120
  808. package/src/plugin/preference-registry.spec.ts +299 -299
  809. package/src/plugin/preference-registry.ts +337 -337
  810. package/src/plugin/prefix-sum-computer.ts +218 -218
  811. package/src/plugin/quick-open.ts +772 -772
  812. package/src/plugin/scm.ts +910 -910
  813. package/src/plugin/secrets-ext.ts +84 -84
  814. package/src/plugin/status-bar/status-bar-item.ts +193 -193
  815. package/src/plugin/status-bar-message-registry.ts +103 -103
  816. package/src/plugin/stubs/tests-api.ts +96 -96
  817. package/src/plugin/tabs.ts +426 -426
  818. package/src/plugin/tasks/task-provider.ts +60 -60
  819. package/src/plugin/tasks/tasks.ts +247 -247
  820. package/src/plugin/terminal-ext.ts +494 -494
  821. package/src/plugin/text-editor.ts +522 -522
  822. package/src/plugin/text-editors.ts +150 -150
  823. package/src/plugin/theming.ts +73 -73
  824. package/src/plugin/timeline.ts +186 -186
  825. package/src/plugin/tree/tree-views.ts +612 -612
  826. package/src/plugin/type-converters.spec.ts +476 -476
  827. package/src/plugin/type-converters.ts +1350 -1350
  828. package/src/plugin/types-impl.spec.ts +85 -85
  829. package/src/plugin/types-impl.ts +3407 -3407
  830. package/src/plugin/webview-views.ts +213 -213
  831. package/src/plugin/webviews.ts +433 -433
  832. package/src/plugin/window-state.ts +68 -68
  833. package/src/plugin/word-helper.ts +162 -162
  834. package/src/plugin/workspace.ts +448 -448
  835. package/src/plugin-ext-backend-electron-module.ts +24 -24
  836. package/src/plugin-ext-backend-module.ts +24 -24
  837. package/src/plugin-ext-frontend-electron-module.ts +19 -19
  838. package/src/plugin-ext-frontend-module.ts +19 -19
  839. package/src/typings/index.d.ts +25 -25
@@ -1,1711 +1,1711 @@
1
- import { ProxyIdentifier, RPCProtocol } from './rpc-protocol';
2
- import * as theia from '@theia/plugin';
3
- import { PluginLifecycle, PluginModel, PluginMetadata, PluginPackage, IconUrl, PluginJsonValidationContribution } from './plugin-protocol';
4
- import { QueryParameters } from './env';
5
- import { TextEditorCursorStyle } from './editor-options';
6
- import { ConfigurationTarget, TextEditorLineNumbersStyle, EndOfLine, OverviewRulerLane, FileOperationOptions, TextDocumentChangeReason, IndentAction } from '../plugin/types-impl';
7
- import { UriComponents } from './uri-components';
8
- import { SerializedDocumentFilter, CompletionContext, MarkdownString, Range, Completion, CompletionResultDto, MarkerData, SignatureHelp, Hover, EvaluatableExpression, InlineValue, InlineValueContext, DocumentHighlight, FormattingOptions, ChainedCacheId, Definition, DocumentLink, CodeLensSymbol, Command, TextEdit, DocumentSymbol, ReferenceContext, TextDocumentShowOptions, WorkspaceRootsChangeEvent, Location, Breakpoint, ColorPresentation, RenameLocation, SignatureHelpContext, CodeAction, CodeActionContext, FoldingContext, FoldingRange, SelectionRange, SearchInWorkspaceResult, CallHierarchyItem, CallHierarchyIncomingCall, CallHierarchyOutgoingCall, Comment, CommentOptions, CommentThreadCollapsibleState, CommentThread, CommentThreadChangedEvent, CodeActionProviderDocumentation, LinkedEditingRanges, ProvidedTerminalLink, InlayHint, CachedSession, CachedSessionItem, TypeHierarchyItem, InlineCompletion, InlineCompletions, InlineCompletionContext } from './plugin-api-rpc-model';
9
- import { ExtPluginApi } from './plugin-ext-api-contribution';
10
- import { KeysToAnyValues, KeysToKeysToAnyValue } from './types';
11
- import { AuthenticationProviderAuthenticationSessionsChangeEvent, CancellationToken, Progress, ProgressOptions } from '@theia/plugin';
12
- import { DebuggerDescription } from '@theia/debug/lib/common/debug-service';
13
- import { DebugProtocol } from '@vscode/debugprotocol';
14
- import { SymbolInformation } from '@theia/core/shared/vscode-languageserver-protocol';
15
- import { ArgumentProcessor } from '../plugin/command-registry';
16
- import * as files from '@theia/filesystem/lib/common/files';
17
- import { BinaryBuffer } from '@theia/core/lib/common/buffer';
18
- import { ResourceLabelFormatter } from '@theia/core/lib/common/label-protocol';
19
- import type { InternalTimelineOptions, Timeline, TimelineChangeEvent, TimelineProviderDescriptor } from '@theia/timeline/lib/common/timeline-model';
20
- import { SerializableEnvironmentVariableCollection } from '@theia/terminal/lib/common/base-terminal-protocol';
21
- import { ThemeType } from '@theia/core/lib/common/theme';
22
- import { Disposable } from '@theia/core/lib/common/disposable';
23
- import { PickOptions, QuickInputButtonHandle } from '@theia/core/lib/common';
24
- import { Severity } from '@theia/core/lib/common/severity';
25
- import { DebugConfiguration, DebugSessionOptions } from '@theia/debug/lib/common/debug-configuration';
26
- export interface PreferenceData {
27
- [scope: number]: any;
28
- }
29
- export interface Plugin {
30
- pluginPath: string | undefined;
31
- pluginFolder: string;
32
- pluginUri: string;
33
- model: PluginModel;
34
- rawModel: PluginPackage;
35
- lifecycle: PluginLifecycle;
36
- isUnderDevelopment: boolean;
37
- }
38
- export interface ConfigStorage {
39
- hostLogPath: string;
40
- hostStoragePath?: string;
41
- hostGlobalStoragePath: string;
42
- }
43
- export declare enum UIKind {
44
- /**
45
- * Extensions are accessed from a desktop application.
46
- */
47
- Desktop = 1,
48
- /**
49
- * Extensions are accessed from a web browser.
50
- */
51
- Web = 2
52
- }
53
- export interface EnvInit {
54
- queryParams: QueryParameters;
55
- language: string;
56
- shell: string;
57
- uiKind: UIKind;
58
- appName: string;
59
- appHost: string;
60
- }
61
- export interface PluginAPI {
62
- }
63
- export interface PluginManager {
64
- getAllPlugins(): Plugin[];
65
- getPluginById(pluginId: string): Plugin | undefined;
66
- getPluginExport(pluginId: string): PluginAPI | undefined;
67
- isRunning(pluginId: string): boolean;
68
- isActive(pluginId: string): boolean;
69
- activatePlugin(pluginId: string): PromiseLike<void>;
70
- onDidChange: theia.Event<void>;
71
- }
72
- export interface PluginAPIFactory {
73
- (plugin: Plugin): typeof theia;
74
- }
75
- export declare const emptyPlugin: Plugin;
76
- export interface PluginManagerInitializeParams {
77
- preferences: PreferenceData;
78
- globalState: KeysToKeysToAnyValue;
79
- workspaceState: KeysToKeysToAnyValue;
80
- env: EnvInit;
81
- extApi?: ExtPluginApi[];
82
- webview: WebviewInitData;
83
- jsonValidation: PluginJsonValidationContribution[];
84
- }
85
- export interface PluginManagerStartParams {
86
- plugins: PluginMetadata[];
87
- configStorage: ConfigStorage;
88
- activationEvents: string[];
89
- }
90
- export interface PluginManagerExt {
91
- /** initialize the manager, should be called only once */
92
- $init(params: PluginManagerInitializeParams): Promise<void>;
93
- /** load and activate plugins */
94
- $start(params: PluginManagerStartParams): Promise<void>;
95
- /** deactivate the plugin */
96
- $stop(pluginId: string): Promise<void>;
97
- /** deactivate all plugins */
98
- $stop(): Promise<void>;
99
- $updateStoragePath(path: string | undefined): Promise<void>;
100
- $activateByEvent(event: string): Promise<void>;
101
- $activatePlugin(id: string): Promise<void>;
102
- }
103
- export interface CommandRegistryMain {
104
- $registerCommand(command: theia.CommandDescription): void;
105
- $unregisterCommand(id: string): void;
106
- $registerHandler(id: string): void;
107
- $unregisterHandler(id: string): void;
108
- $executeCommand<T>(id: string, ...args: any[]): PromiseLike<T | undefined>;
109
- $getCommands(): PromiseLike<string[]>;
110
- $getKeyBinding(commandId: string): PromiseLike<theia.CommandKeyBinding[] | undefined>;
111
- }
112
- export interface CommandRegistryExt {
113
- $executeCommand<T>(id: string, ...ars: any[]): PromiseLike<T | undefined>;
114
- registerArgumentProcessor(processor: ArgumentProcessor): void;
115
- }
116
- export interface TerminalServiceExt {
117
- $startProfile(providerId: string, cancellationToken: theia.CancellationToken): Promise<string>;
118
- $terminalCreated(id: string, name: string): void;
119
- $terminalNameChanged(id: string, name: string): void;
120
- $terminalOpened(id: string, processId: number, terminalId: number, cols: number, rows: number): void;
121
- $terminalClosed(id: string, exitStatus: theia.TerminalExitStatus | undefined): void;
122
- $terminalOnInput(id: string, data: string): void;
123
- $terminalSizeChanged(id: string, cols: number, rows: number): void;
124
- $currentTerminalChanged(id: string | undefined): void;
125
- $terminalStateChanged(id: string): void;
126
- $initEnvironmentVariableCollections(collections: [string, SerializableEnvironmentVariableCollection][]): void;
127
- $provideTerminalLinks(line: string, terminalId: string, token: theia.CancellationToken): Promise<ProvidedTerminalLink[]>;
128
- $handleTerminalLink(link: ProvidedTerminalLink): Promise<void>;
129
- getEnvironmentVariableCollection(extensionIdentifier: string): theia.EnvironmentVariableCollection;
130
- }
131
- export interface OutputChannelRegistryExt {
132
- createOutputChannel(name: string, pluginInfo: PluginInfo): theia.OutputChannel;
133
- }
134
- export interface ConnectionMain {
135
- $createConnection(id: string): Promise<void>;
136
- $deleteConnection(id: string): Promise<void>;
137
- $sendMessage(id: string, message: string): void;
138
- }
139
- export interface ConnectionExt {
140
- $createConnection(id: string): Promise<void>;
141
- $deleteConnection(id: string): Promise<void>;
142
- $sendMessage(id: string, message: string): void;
143
- }
144
- export interface TerminalServiceMain {
145
- /**
146
- * Create new Terminal with Terminal options.
147
- * @param options - object with parameters to create new terminal.
148
- */
149
- $createTerminal(id: string, options: theia.TerminalOptions, parentId?: string, isPseudoTerminal?: boolean): Promise<string>;
150
- /**
151
- * Send text to the terminal by id.
152
- * @param id - terminal widget id.
153
- * @param text - text content.
154
- * @param addNewLine - in case true - add new line after the text, otherwise - don't apply new line.
155
- */
156
- $sendText(id: string, text: string, addNewLine?: boolean): void;
157
- /**
158
- * Write data to the terminal by id.
159
- * @param id - terminal widget id.
160
- * @param data - data.
161
- */
162
- $write(id: string, data: string): void;
163
- /**
164
- * Resize the terminal by id.
165
- * @param id - terminal widget id.
166
- * @param cols - columns.
167
- * @param rows - rows.
168
- */
169
- $resize(id: string, cols: number, rows: number): void;
170
- /**
171
- * Show terminal on the UI panel.
172
- * @param id - terminal widget id.
173
- * @param preserveFocus - set terminal focus in case true value, and don't set focus otherwise.
174
- */
175
- $show(id: string, preserveFocus?: boolean): void;
176
- /**
177
- * Hide UI panel where is located terminal widget.
178
- * @param id - terminal widget id.
179
- */
180
- $hide(id: string): void;
181
- /**
182
- * Destroy terminal.
183
- * @param id - terminal widget id.
184
- */
185
- $dispose(id: string): void;
186
- /**
187
- * Set the terminal widget name.
188
- * @param id terminal widget id.
189
- * @param name new terminal widget name.
190
- */
191
- $setName(id: string, name: string): void;
192
- /**
193
- * Send text to the terminal by id.
194
- * @param id - terminal id.
195
- * @param text - text content.
196
- * @param addNewLine - in case true - add new line after the text, otherwise - don't apply new line.
197
- */
198
- $sendTextByTerminalId(id: number, text: string, addNewLine?: boolean): void;
199
- /**
200
- * Write data to the terminal by id.
201
- * @param id - terminal id.
202
- * @param data - data.
203
- */
204
- $writeByTerminalId(id: number, data: string): void;
205
- /**
206
- * Resize the terminal by id.
207
- * @param id - terminal id.
208
- * @param cols - columns.
209
- * @param rows - rows.
210
- */
211
- $resizeByTerminalId(id: number, cols: number, rows: number): void;
212
- /**
213
- * Show terminal on the UI panel.
214
- * @param id - terminal id.
215
- * @param preserveFocus - set terminal focus in case true value, and don't set focus otherwise.
216
- */
217
- $showByTerminalId(id: number, preserveFocus?: boolean): void;
218
- /**
219
- * Hide UI panel where is located terminal widget.
220
- * @param id - terminal id.
221
- */
222
- $hideByTerminalId(id: number): void;
223
- /**
224
- * Destroy terminal.
225
- * @param id - terminal id.
226
- * @param waitOnExit - Whether to wait for a key press before closing the terminal.
227
- */
228
- $disposeByTerminalId(id: number, waitOnExit?: boolean | string): void;
229
- $setEnvironmentVariableCollection(extensionIdentifier: string, persistent: boolean, collection: SerializableEnvironmentVariableCollection | undefined): void;
230
- /**
231
- * Set the terminal widget name.
232
- * @param id terminal id.
233
- * @param name new terminal widget name.
234
- */
235
- $setNameByTerminalId(id: number, name: string): void;
236
- /**
237
- * Register a new terminal link provider.
238
- * @param providerId id of the terminal link provider to be registered.
239
- */
240
- $registerTerminalLinkProvider(providerId: string): Promise<void>;
241
- /**
242
- * Unregister the terminal link provider with the specified id.
243
- * @param providerId id of the terminal link provider to be unregistered.
244
- */
245
- $unregisterTerminalLinkProvider(providerId: string): Promise<void>;
246
- }
247
- export interface AutoFocus {
248
- autoFocusFirstEntry?: boolean;
249
- }
250
- export declare enum MainMessageType {
251
- Error = 0,
252
- Warning = 1,
253
- Info = 2
254
- }
255
- export interface MainMessageOptions {
256
- detail?: string;
257
- modal?: boolean;
258
- onCloseActionHandle?: number;
259
- }
260
- export interface MainMessageItem {
261
- title: string;
262
- isCloseAffordance?: boolean;
263
- handle?: number;
264
- }
265
- export interface MessageRegistryMain {
266
- $showMessage(type: MainMessageType, message: string, options: MainMessageOptions, actions: MainMessageItem[]): PromiseLike<number | undefined>;
267
- }
268
- export interface StatusBarMessageRegistryMain {
269
- $setMessage(id: string, name: string | undefined, text: string | undefined, priority: number, alignment: theia.StatusBarAlignment, color: string | undefined, backgroundColor: string | undefined, tooltip: string | theia.MarkdownString | undefined, command: string | undefined, accessibilityInformation: theia.AccessibilityInformation, args: any[] | undefined): PromiseLike<void>;
270
- $dispose(id: string): void;
271
- }
272
- export declare type Item = string | theia.QuickPickItem;
273
- export interface QuickOpenExt {
274
- $onItemSelected(handle: number): void;
275
- $validateInput(input: string): Promise<string | {
276
- content: string;
277
- severity: Severity;
278
- } | null | undefined> | undefined;
279
- $acceptOnDidAccept(sessionId: number): Promise<void>;
280
- $acceptDidChangeValue(sessionId: number, changedValue: string): Promise<void>;
281
- $acceptOnDidHide(sessionId: number): Promise<void>;
282
- $acceptOnDidTriggerButton(sessionId: number, btn: QuickInputButtonHandle): Promise<void>;
283
- $onDidTriggerItemButton(sessionId: number, itemHandle: number, buttonHandle: number): void;
284
- $onDidChangeActive(sessionId: number, handles: number[]): void;
285
- $onDidChangeSelection(sessionId: number, handles: number[]): void;
286
- showQuickPick(itemsOrItemsPromise: Array<theia.QuickPickItem> | Promise<Array<theia.QuickPickItem>>, options: theia.QuickPickOptions & {
287
- canPickMany: true;
288
- }, token?: theia.CancellationToken): Promise<Array<theia.QuickPickItem> | undefined>;
289
- showQuickPick(itemsOrItemsPromise: string[] | Promise<string[]>, options?: theia.QuickPickOptions, token?: theia.CancellationToken): Promise<string | undefined>;
290
- showQuickPick(itemsOrItemsPromise: Array<theia.QuickPickItem> | Promise<Array<theia.QuickPickItem>>, options?: theia.QuickPickOptions, token?: theia.CancellationToken): Promise<theia.QuickPickItem | undefined>;
291
- showQuickPick(itemsOrItemsPromise: Item[] | Promise<Item[]>, options?: theia.QuickPickOptions, token?: theia.CancellationToken): Promise<Item | Item[] | undefined>;
292
- showInput(options?: theia.InputBoxOptions, token?: theia.CancellationToken): PromiseLike<string | undefined>;
293
- createQuickPick<T extends theia.QuickPickItem>(plugin: Plugin): theia.QuickPick<T>;
294
- createInputBox(plugin: Plugin): theia.InputBox;
295
- }
296
- /**
297
- * Options to configure the behaviour of a file open dialog.
298
- */
299
- export interface OpenDialogOptionsMain {
300
- /**
301
- * Dialog title.
302
- * This parameter might be ignored, as not all operating systems display a title on open dialogs.
303
- */
304
- title?: string;
305
- /**
306
- * The resource the dialog shows when opened.
307
- */
308
- defaultUri?: string;
309
- /**
310
- * A human-readable string for the open button.
311
- */
312
- openLabel?: string;
313
- /**
314
- * Allow to select files, defaults to `true`.
315
- */
316
- canSelectFiles?: boolean;
317
- /**
318
- * Allow to select folders, defaults to `false`.
319
- */
320
- canSelectFolders?: boolean;
321
- /**
322
- * Allow to select many files or folders.
323
- */
324
- canSelectMany?: boolean;
325
- /**
326
- * A set of file filters that are used by the dialog. Each entry is a human readable label,
327
- * like "TypeScript", and an array of extensions, e.g.
328
- * ```ts
329
- * {
330
- * 'Images': ['png', 'jpg']
331
- * 'TypeScript': ['ts', 'tsx']
332
- * }
333
- * ```
334
- */
335
- filters?: {
336
- [name: string]: string[];
337
- };
338
- }
339
- /**
340
- * Options to configure the behaviour of a file save dialog.
341
- */
342
- export interface SaveDialogOptionsMain {
343
- /**
344
- * Dialog title.
345
- * This parameter might be ignored, as not all operating systems display a title on save dialogs.
346
- */
347
- title?: string;
348
- /**
349
- * The resource the dialog shows when opened.
350
- */
351
- defaultUri?: string;
352
- /**
353
- * A human-readable string for the save button.
354
- */
355
- saveLabel?: string;
356
- /**
357
- * A set of file filters that are used by the dialog. Each entry is a human readable label,
358
- * like "TypeScript", and an array of extensions, e.g.
359
- * ```ts
360
- * {
361
- * 'Images': ['png', 'jpg']
362
- * 'TypeScript': ['ts', 'tsx']
363
- * }
364
- * ```
365
- */
366
- filters?: {
367
- [name: string]: string[];
368
- };
369
- }
370
- /**
371
- * Options to configure the behaviour of a file upload dialog.
372
- */
373
- export interface UploadDialogOptionsMain {
374
- /**
375
- * The resource, where files should be uploaded.
376
- */
377
- defaultUri?: string;
378
- }
379
- export interface FileUploadResultMain {
380
- uploaded: string[];
381
- }
382
- /**
383
- * Options to configure the behaviour of the [workspace folder](#WorkspaceFolder) pick UI.
384
- */
385
- export interface WorkspaceFolderPickOptionsMain {
386
- /**
387
- * An optional string to show as place holder in the input box to guide the user what to pick on.
388
- */
389
- placeHolder?: string;
390
- /**
391
- * Set to `true` to keep the picker open when focus moves to another part of the editor or to another window.
392
- */
393
- ignoreFocusOut?: boolean;
394
- }
395
- export declare type TransferQuickPickItems = TransferQuickPickItemValue | TransferQuickPickSeparator;
396
- export interface TransferQuickPickItemValue extends theia.QuickPickItem {
397
- handle: number;
398
- type?: 'item';
399
- }
400
- export interface TransferQuickPickSeparator extends theia.QuickPickItem {
401
- handle: number;
402
- type: 'separator';
403
- }
404
- export interface TransferQuickInputButton extends theia.QuickInputButton {
405
- iconPath: theia.Uri | {
406
- light: theia.Uri;
407
- dark: theia.Uri;
408
- } | ThemeIcon;
409
- iconClass?: string;
410
- handle?: number;
411
- }
412
- export declare type TransferQuickInput = TransferQuickPick | TransferInputBox;
413
- export interface BaseTransferQuickInput {
414
- [key: string]: any;
415
- id: number;
416
- type?: 'quickPick' | 'inputBox';
417
- enabled?: boolean;
418
- busy?: boolean;
419
- visible?: boolean;
420
- }
421
- export interface TransferQuickPick extends BaseTransferQuickInput {
422
- type?: 'quickPick';
423
- value?: string;
424
- placeholder?: string;
425
- buttons?: TransferQuickInputButton[];
426
- items?: TransferQuickPickItems[];
427
- activeItems?: ReadonlyArray<theia.QuickPickItem>;
428
- selectedItems?: ReadonlyArray<theia.QuickPickItem>;
429
- canSelectMany?: boolean;
430
- ignoreFocusOut?: boolean;
431
- matchOnDescription?: boolean;
432
- matchOnDetail?: boolean;
433
- sortByLabel?: boolean;
434
- }
435
- export interface TransferInputBox extends BaseTransferQuickInput {
436
- type?: 'inputBox';
437
- value?: string;
438
- placeholder?: string;
439
- password?: boolean;
440
- buttons?: TransferQuickInputButton[];
441
- prompt?: string;
442
- validationMessage?: string;
443
- }
444
- export interface IInputBoxOptions {
445
- value?: string;
446
- valueSelection?: [number, number];
447
- prompt?: string;
448
- placeHolder?: string;
449
- password?: boolean;
450
- ignoreFocusOut?: boolean;
451
- }
452
- export interface QuickOpenMain {
453
- $show(instance: number, options: PickOptions<TransferQuickPickItemValue>, token: CancellationToken): Promise<number | number[] | undefined>;
454
- $setItems(instance: number, items: TransferQuickPickItems[]): Promise<any>;
455
- $setError(instance: number, error: Error): Promise<void>;
456
- $input(options: theia.InputBoxOptions, validateInput: boolean, token: CancellationToken): Promise<string | undefined>;
457
- $createOrUpdate<T extends theia.QuickPickItem>(params: TransferQuickInput): Promise<void>;
458
- $dispose(id: number): Promise<void>;
459
- $hide(): void;
460
- $showInputBox(options: TransferInputBox, validateInput: boolean): Promise<string | undefined>;
461
- }
462
- export interface WorkspaceMain {
463
- $pickWorkspaceFolder(options: WorkspaceFolderPickOptionsMain): Promise<theia.WorkspaceFolder | undefined>;
464
- $startFileSearch(includePattern: string, includeFolder: string | undefined, excludePatternOrDisregardExcludes: string | false, maxResults: number | undefined, token: theia.CancellationToken): PromiseLike<UriComponents[]>;
465
- $findTextInFiles(query: theia.TextSearchQuery, options: theia.FindTextInFilesOptions, searchRequestId: number, token?: theia.CancellationToken): Promise<theia.TextSearchComplete>;
466
- $registerTextDocumentContentProvider(scheme: string): Promise<void>;
467
- $unregisterTextDocumentContentProvider(scheme: string): void;
468
- $onTextDocumentContentChange(uri: string, content: string): void;
469
- $updateWorkspaceFolders(start: number, deleteCount?: number, ...rootsToAdd: string[]): Promise<void>;
470
- $getWorkspace(): Promise<files.FileStat | undefined>;
471
- $requestWorkspaceTrust(options?: theia.WorkspaceTrustRequestOptions): Promise<boolean | undefined>;
472
- }
473
- export interface WorkspaceExt {
474
- $onWorkspaceFoldersChanged(event: WorkspaceRootsChangeEvent): void;
475
- $onWorkspaceLocationChanged(event: files.FileStat | undefined): void;
476
- $provideTextDocumentContent(uri: string): Promise<string | undefined | null>;
477
- $onTextSearchResult(searchRequestId: number, done: boolean, result?: SearchInWorkspaceResult): void;
478
- $onWorkspaceTrustChanged(trust: boolean | undefined): void;
479
- }
480
- export interface TimelineExt {
481
- $getTimeline(source: string, uri: UriComponents, options: theia.TimelineOptions, internalOptions?: InternalTimelineOptions): Promise<Timeline | undefined>;
482
- }
483
- export interface TimelineMain {
484
- $registerTimelineProvider(provider: TimelineProviderDescriptor): Promise<void>;
485
- $fireTimelineChanged(e: TimelineChangeEvent): Promise<void>;
486
- $unregisterTimelineProvider(source: string): Promise<void>;
487
- }
488
- export interface ThemingExt {
489
- $onColorThemeChange(type: ThemeType): void;
490
- }
491
- export interface ThemingMain extends Disposable {
492
- }
493
- export interface DialogsMain {
494
- $showOpenDialog(options: OpenDialogOptionsMain): Promise<string[] | undefined>;
495
- $showSaveDialog(options: SaveDialogOptionsMain): Promise<string | undefined>;
496
- $showUploadDialog(options: UploadDialogOptionsMain): Promise<string[] | undefined>;
497
- }
498
- export interface RegisterTreeDataProviderOptions {
499
- canSelectMany?: boolean;
500
- dragMimeTypes?: string[];
501
- dropMimeTypes?: string[];
502
- }
503
- export interface TreeViewRevealOptions {
504
- select: boolean;
505
- focus: boolean;
506
- expand: boolean | number;
507
- }
508
- export interface TreeViewsMain {
509
- $registerTreeDataProvider(treeViewId: string, options?: RegisterTreeDataProviderOptions): void;
510
- $readDroppedFile(contentId: string): Promise<BinaryBuffer>;
511
- $unregisterTreeDataProvider(treeViewId: string): void;
512
- $refresh(treeViewId: string): Promise<void>;
513
- $reveal(treeViewId: string, elementParentChain: string[], options: TreeViewRevealOptions): Promise<any>;
514
- $setMessage(treeViewId: string, message: string): void;
515
- $setTitle(treeViewId: string, title: string): void;
516
- $setDescription(treeViewId: string, description: string): void;
517
- }
518
- export declare class DataTransferFileDTO {
519
- readonly name: string;
520
- readonly contentId: string;
521
- readonly uri?: UriComponents | undefined;
522
- constructor(name: string, contentId: string, uri?: UriComponents | undefined);
523
- static is(value: string | DataTransferFileDTO): value is DataTransferFileDTO;
524
- }
525
- export interface TreeViewsExt {
526
- $dragStarted(treeViewId: string, treeItemIds: string[], token: CancellationToken): Promise<UriComponents[] | undefined>;
527
- $drop(treeViewId: string, treeItemId: string | undefined, dataTransferItems: [string, string | DataTransferFileDTO][], token: CancellationToken): Promise<void>;
528
- $getChildren(treeViewId: string, treeItemId: string | undefined): Promise<TreeViewItem[] | undefined>;
529
- $hasResolveTreeItem(treeViewId: string): Promise<boolean>;
530
- $resolveTreeItem(treeViewId: string, treeItemId: string, token: CancellationToken): Promise<TreeViewItem | undefined>;
531
- $setExpanded(treeViewId: string, treeItemId: string, expanded: boolean): Promise<any>;
532
- $setSelection(treeViewId: string, treeItemIds: string[]): Promise<void>;
533
- $setVisible(treeViewId: string, visible: boolean): Promise<void>;
534
- }
535
- export interface TreeViewItem {
536
- id: string;
537
- label: string;
538
- /** Label highlights given as tuples of inclusive start index and exclusive end index. */
539
- highlights?: [number, number][];
540
- description?: string | boolean;
541
- icon?: string;
542
- iconUrl?: IconUrl;
543
- themeIcon?: ThemeIcon;
544
- resourceUri?: UriComponents;
545
- tooltip?: string | MarkdownString;
546
- collapsibleState?: TreeViewItemCollapsibleState;
547
- contextValue?: string;
548
- command?: Command;
549
- accessibilityInformation?: theia.AccessibilityInformation;
550
- }
551
- export interface TreeViewItemReference {
552
- viewId: string;
553
- itemId: string;
554
- }
555
- export declare namespace TreeViewItemReference {
556
- function is(arg: unknown): arg is TreeViewItemReference;
557
- }
558
- /**
559
- * Collapsible state of the tree item
560
- */
561
- export declare enum TreeViewItemCollapsibleState {
562
- /**
563
- * Determines an item can be neither collapsed nor expanded. Implies it has no children.
564
- */
565
- None = 0,
566
- /**
567
- * Determines an item is collapsed
568
- */
569
- Collapsed = 1,
570
- /**
571
- * Determines an item is expanded
572
- */
573
- Expanded = 2
574
- }
575
- export interface WindowMain {
576
- $openUri(uri: UriComponents): Promise<boolean>;
577
- $asExternalUri(uri: UriComponents): Promise<UriComponents>;
578
- }
579
- export interface WindowStateExt {
580
- $onWindowStateChanged(focus: boolean): void;
581
- }
582
- export interface NotificationExt {
583
- withProgress<R>(options: ProgressOptions, task: (progress: Progress<{
584
- message?: string;
585
- increment?: number;
586
- }>, token: CancellationToken) => PromiseLike<R>): PromiseLike<R>;
587
- $acceptProgressCanceled(progressId: string): void;
588
- }
589
- export interface ScmCommandArg {
590
- sourceControlHandle: number;
591
- resourceGroupHandle?: number;
592
- resourceStateHandle?: number;
593
- }
594
- export declare namespace ScmCommandArg {
595
- function is(arg: unknown): arg is ScmCommandArg;
596
- }
597
- export interface ScmExt {
598
- createSourceControl(plugin: Plugin, id: string, label: string, rootUri?: theia.Uri): theia.SourceControl;
599
- getLastInputBox(plugin: Plugin): theia.SourceControlInputBox | undefined;
600
- $onInputBoxValueChange(sourceControlHandle: number, message: string): Promise<void>;
601
- $executeResourceCommand(sourceControlHandle: number, groupHandle: number, resourceHandle: number): Promise<void>;
602
- $validateInput(sourceControlHandle: number, value: string, cursorPosition: number): Promise<[string, number] | undefined>;
603
- $setSelectedSourceControl(selectedSourceControlHandle: number | undefined): Promise<void>;
604
- $provideOriginalResource(sourceControlHandle: number, uri: string, token: theia.CancellationToken): Promise<UriComponents | undefined>;
605
- }
606
- export declare namespace TimelineCommandArg {
607
- function is(arg: unknown): arg is TimelineCommandArg;
608
- }
609
- export interface TimelineCommandArg {
610
- timelineHandle: string;
611
- source: string;
612
- uri: string;
613
- }
614
- export interface DecorationRequest {
615
- readonly id: number;
616
- readonly uri: UriComponents;
617
- }
618
- export declare type DecorationData = [boolean, string, string, ThemeColor];
619
- export interface DecorationReply {
620
- [id: number]: DecorationData;
621
- }
622
- export declare namespace CommentsCommandArg {
623
- function is(arg: unknown): arg is CommentsCommandArg;
624
- }
625
- export interface CommentsCommandArg {
626
- commentControlHandle: number;
627
- commentThreadHandle: number;
628
- text: string;
629
- }
630
- export declare namespace CommentsContextCommandArg {
631
- function is(arg: unknown): arg is CommentsContextCommandArg;
632
- }
633
- export interface CommentsContextCommandArg {
634
- commentControlHandle: number;
635
- commentThreadHandle: number;
636
- commentUniqueId: number;
637
- }
638
- export declare namespace CommentsEditCommandArg {
639
- function is(arg: unknown): arg is CommentsEditCommandArg;
640
- }
641
- export interface CommentsEditCommandArg {
642
- commentControlHandle: number;
643
- commentThreadHandle: number;
644
- commentUniqueId: number;
645
- text: string;
646
- }
647
- export interface DecorationsExt {
648
- registerFileDecorationProvider(provider: theia.FileDecorationProvider, pluginInfo: PluginInfo): theia.Disposable;
649
- $provideDecorations(handle: number, requests: DecorationRequest[], token: CancellationToken): Promise<DecorationReply>;
650
- }
651
- export interface DecorationsMain {
652
- $registerDecorationProvider(handle: number): Promise<void>;
653
- $unregisterDecorationProvider(handle: number): void;
654
- $onDidChange(handle: number, resources: UriComponents[] | null): void;
655
- }
656
- export interface ScmMain {
657
- $registerSourceControl(sourceControlHandle: number, id: string, label: string, rootUri?: UriComponents): Promise<void>;
658
- $updateSourceControl(sourceControlHandle: number, features: SourceControlProviderFeatures): Promise<void>;
659
- $unregisterSourceControl(sourceControlHandle: number): Promise<void>;
660
- $registerGroups(sourceControlHandle: number, groups: ScmRawResourceGroup[], splices: ScmRawResourceSplices[]): void;
661
- $updateGroup(sourceControlHandle: number, groupHandle: number, features: SourceControlGroupFeatures): void;
662
- $updateGroupLabel(sourceControlHandle: number, groupHandle: number, label: string): void;
663
- $unregisterGroup(sourceControlHandle: number, groupHandle: number): void;
664
- $spliceResourceStates(sourceControlHandle: number, splices: ScmRawResourceSplices[]): void;
665
- $setInputBoxValue(sourceControlHandle: number, value: string): void;
666
- $setInputBoxPlaceholder(sourceControlHandle: number, placeholder: string): void;
667
- $setInputBoxVisible(sourceControlHandle: number, visible: boolean): void;
668
- $setInputBoxEnabled(sourceControlHandle: number, enabled: boolean): void;
669
- }
670
- export interface SourceControlProviderFeatures {
671
- hasQuickDiffProvider?: boolean;
672
- count?: number;
673
- commitTemplate?: string;
674
- acceptInputCommand?: Command;
675
- statusBarCommands?: Command[];
676
- }
677
- export interface SourceControlGroupFeatures {
678
- hideWhenEmpty: boolean | undefined;
679
- }
680
- export interface ScmRawResource {
681
- handle: number;
682
- sourceUri: UriComponents;
683
- icons: UriComponents[];
684
- tooltip: string;
685
- strikeThrough: boolean;
686
- faded: boolean;
687
- contextValue: string;
688
- command: Command | undefined;
689
- }
690
- export interface ScmRawResourceGroup {
691
- handle: number;
692
- id: string;
693
- label: string;
694
- features: SourceControlGroupFeatures;
695
- }
696
- export interface ScmRawResourceSplice {
697
- start: number;
698
- deleteCount: number;
699
- rawResources: ScmRawResource[];
700
- }
701
- export interface ScmRawResourceSplices {
702
- handle: number;
703
- splices: ScmRawResourceSplice[];
704
- }
705
- export interface SourceControlResourceState {
706
- readonly handle: number;
707
- /**
708
- * The uri of the underlying resource inside the workspace.
709
- */
710
- readonly resourceUri: string;
711
- /**
712
- * The command which should be run when the resource
713
- * state is open in the Source Control viewlet.
714
- */
715
- readonly command?: Command;
716
- /**
717
- * The decorations for this source control
718
- * resource state.
719
- */
720
- readonly decorations?: SourceControlResourceDecorations;
721
- readonly letter?: string;
722
- readonly colorId?: string;
723
- }
724
- /**
725
- * The decorations for a [source control resource state](#SourceControlResourceState).
726
- * Can be independently specified for light and dark themes.
727
- */
728
- export interface SourceControlResourceDecorations {
729
- /**
730
- * Whether the source control resource state should be striked-through in the UI.
731
- */
732
- readonly strikeThrough?: boolean;
733
- /**
734
- * Whether the source control resource state should be faded in the UI.
735
- */
736
- readonly faded?: boolean;
737
- /**
738
- * The title for a specific source control resource state.
739
- */
740
- readonly tooltip?: string;
741
- /**
742
- * The icon path for a specific source control resource state.
743
- */
744
- readonly iconPath?: string;
745
- }
746
- export interface NotificationMain {
747
- $startProgress(options: NotificationMain.StartProgressOptions): Promise<string>;
748
- $stopProgress(id: string): void;
749
- $updateProgress(id: string, report: NotificationMain.ProgressReport): void;
750
- }
751
- export declare namespace NotificationMain {
752
- interface StartProgressOptions {
753
- title: string;
754
- location?: string;
755
- cancellable?: boolean;
756
- }
757
- interface ProgressReport {
758
- message?: string;
759
- increment?: number;
760
- total?: number;
761
- }
762
- }
763
- export declare enum EditorPosition {
764
- ONE = 0,
765
- TWO = 1,
766
- THREE = 2,
767
- FOUR = 3,
768
- FIVE = 4,
769
- SIX = 5,
770
- SEVEN = 6,
771
- EIGHT = 7,
772
- NINE = 8
773
- }
774
- export interface Position {
775
- readonly lineNumber: number;
776
- readonly column: number;
777
- }
778
- export interface Selection {
779
- /**
780
- * The line number on which the selection has started.
781
- */
782
- readonly selectionStartLineNumber: number;
783
- /**
784
- * The column on `selectionStartLineNumber` where the selection has started.
785
- */
786
- readonly selectionStartColumn: number;
787
- /**
788
- * The line number on which the selection has ended.
789
- */
790
- readonly positionLineNumber: number;
791
- /**
792
- * The column on `positionLineNumber` where the selection has ended.
793
- */
794
- readonly positionColumn: number;
795
- }
796
- export interface TextEditorConfiguration {
797
- tabSize: number;
798
- insertSpaces: boolean;
799
- cursorStyle: TextEditorCursorStyle;
800
- lineNumbers: TextEditorLineNumbersStyle;
801
- }
802
- export interface TextEditorConfigurationUpdate {
803
- tabSize?: number | 'auto';
804
- insertSpaces?: boolean | 'auto';
805
- cursorStyle?: TextEditorCursorStyle;
806
- lineNumbers?: TextEditorLineNumbersStyle;
807
- }
808
- export declare enum TextEditorRevealType {
809
- Default = 0,
810
- InCenter = 1,
811
- InCenterIfOutsideViewport = 2,
812
- AtTop = 3
813
- }
814
- export interface SelectionChangeEvent {
815
- selections: Selection[];
816
- source?: string;
817
- }
818
- export interface EditorChangedPropertiesData {
819
- options?: TextEditorConfiguration;
820
- selections?: SelectionChangeEvent;
821
- visibleRanges?: Range[];
822
- }
823
- export interface TextEditorPositionData {
824
- [id: string]: EditorPosition;
825
- }
826
- export interface TextEditorsExt {
827
- $acceptEditorPropertiesChanged(id: string, props: EditorChangedPropertiesData): void;
828
- $acceptEditorPositionData(data: TextEditorPositionData): void;
829
- }
830
- export interface SingleEditOperation {
831
- range?: Range;
832
- text?: string;
833
- forceMoveMarkers?: boolean;
834
- }
835
- export interface UndoStopOptions {
836
- undoStopBefore: boolean;
837
- undoStopAfter: boolean;
838
- }
839
- export interface ApplyEditsOptions extends UndoStopOptions {
840
- setEndOfLine: EndOfLine;
841
- }
842
- export interface ThemeColor {
843
- id: string;
844
- }
845
- export interface ThemeIcon {
846
- id: string;
847
- color?: ThemeColor;
848
- }
849
- /**
850
- * Describes the behavior of decorations when typing/editing near their edges.
851
- */
852
- export declare enum TrackedRangeStickiness {
853
- AlwaysGrowsWhenTypingAtEdges = 0,
854
- NeverGrowsWhenTypingAtEdges = 1,
855
- GrowsOnlyWhenTypingBefore = 2,
856
- GrowsOnlyWhenTypingAfter = 3
857
- }
858
- export interface ContentDecorationRenderOptions {
859
- contentText?: string;
860
- contentIconPath?: UriComponents;
861
- border?: string;
862
- borderColor?: string | ThemeColor;
863
- fontStyle?: string;
864
- fontWeight?: string;
865
- textDecoration?: string;
866
- color?: string | ThemeColor;
867
- backgroundColor?: string | ThemeColor;
868
- margin?: string;
869
- width?: string;
870
- height?: string;
871
- }
872
- export interface ThemeDecorationRenderOptions {
873
- backgroundColor?: string | ThemeColor;
874
- outline?: string;
875
- outlineColor?: string | ThemeColor;
876
- outlineStyle?: string;
877
- outlineWidth?: string;
878
- border?: string;
879
- borderColor?: string | ThemeColor;
880
- borderRadius?: string;
881
- borderSpacing?: string;
882
- borderStyle?: string;
883
- borderWidth?: string;
884
- fontStyle?: string;
885
- fontWeight?: string;
886
- textDecoration?: string;
887
- cursor?: string;
888
- color?: string | ThemeColor;
889
- opacity?: string;
890
- letterSpacing?: string;
891
- gutterIconPath?: UriComponents;
892
- gutterIconSize?: string;
893
- overviewRulerColor?: string | ThemeColor;
894
- before?: ContentDecorationRenderOptions;
895
- after?: ContentDecorationRenderOptions;
896
- }
897
- export interface DecorationRenderOptions extends ThemeDecorationRenderOptions {
898
- isWholeLine?: boolean;
899
- rangeBehavior?: TrackedRangeStickiness;
900
- overviewRulerLane?: OverviewRulerLane;
901
- light?: ThemeDecorationRenderOptions;
902
- dark?: ThemeDecorationRenderOptions;
903
- }
904
- export interface ThemeDecorationInstanceRenderOptions {
905
- before?: ContentDecorationRenderOptions;
906
- after?: ContentDecorationRenderOptions;
907
- }
908
- export interface DecorationInstanceRenderOptions extends ThemeDecorationInstanceRenderOptions {
909
- light?: ThemeDecorationInstanceRenderOptions;
910
- dark?: ThemeDecorationInstanceRenderOptions;
911
- }
912
- export interface DecorationOptions {
913
- range: Range;
914
- hoverMessage?: MarkdownString | MarkdownString[];
915
- renderOptions?: DecorationInstanceRenderOptions;
916
- }
917
- export interface TextEditorsMain {
918
- $tryShowTextDocument(uri: UriComponents, options?: TextDocumentShowOptions): Promise<void>;
919
- $registerTextEditorDecorationType(key: string, options: DecorationRenderOptions): void;
920
- $removeTextEditorDecorationType(key: string): void;
921
- $tryHideEditor(id: string): Promise<void>;
922
- $trySetOptions(id: string, options: TextEditorConfigurationUpdate): Promise<void>;
923
- $trySetDecorations(id: string, key: string, ranges: DecorationOptions[]): Promise<void>;
924
- $trySetDecorationsFast(id: string, key: string, ranges: number[]): Promise<void>;
925
- $tryRevealRange(id: string, range: Range, revealType: TextEditorRevealType): Promise<void>;
926
- $trySetSelections(id: string, selections: Selection[]): Promise<void>;
927
- $tryApplyEdits(id: string, modelVersionId: number, edits: SingleEditOperation[], opts: ApplyEditsOptions): Promise<boolean>;
928
- $tryApplyWorkspaceEdit(workspaceEditDto: WorkspaceEditDto): Promise<boolean>;
929
- $tryInsertSnippet(id: string, template: string, selections: Range[], opts: UndoStopOptions): Promise<boolean>;
930
- $saveAll(includeUntitled?: boolean): Promise<boolean>;
931
- }
932
- export interface ModelAddedData {
933
- uri: UriComponents;
934
- versionId: number;
935
- lines: string[];
936
- EOL: string;
937
- modeId: string;
938
- isDirty: boolean;
939
- }
940
- export interface TextEditorAddData {
941
- id: string;
942
- documentUri: UriComponents;
943
- options: TextEditorConfiguration;
944
- selections: Selection[];
945
- visibleRanges: Range[];
946
- editorPosition?: EditorPosition;
947
- }
948
- export interface EditorsAndDocumentsDelta {
949
- removedDocuments?: UriComponents[];
950
- addedDocuments?: ModelAddedData[];
951
- removedEditors?: string[];
952
- addedEditors?: TextEditorAddData[];
953
- /**
954
- * undefined means no changes
955
- * null means no active
956
- * string means id of active
957
- */
958
- newActiveEditor?: string | null;
959
- }
960
- export interface EditorsAndDocumentsExt {
961
- $acceptEditorsAndDocumentsDelta(delta: EditorsAndDocumentsDelta): void;
962
- }
963
- export interface ModelContentChange {
964
- readonly range: Range;
965
- readonly rangeOffset: number;
966
- readonly rangeLength: number;
967
- readonly text: string;
968
- }
969
- export interface ModelChangedEvent {
970
- readonly changes: ModelContentChange[];
971
- readonly eol: string;
972
- readonly versionId: number;
973
- readonly reason: TextDocumentChangeReason | undefined;
974
- }
975
- export interface DocumentsExt {
976
- $acceptModelModeChanged(startUrl: UriComponents, oldModeId: string, newModeId: string): void;
977
- $acceptModelSaved(strUrl: UriComponents): void;
978
- $acceptModelWillSave(strUrl: UriComponents, reason: theia.TextDocumentSaveReason, saveTimeout: number): Promise<SingleEditOperation[]>;
979
- $acceptDirtyStateChanged(strUrl: UriComponents, isDirty: boolean): void;
980
- $acceptModelChanged(strUrl: UriComponents, e: ModelChangedEvent, isDirty: boolean): void;
981
- }
982
- export interface DocumentsMain {
983
- $tryCreateDocument(options?: {
984
- language?: string;
985
- content?: string;
986
- }): Promise<UriComponents>;
987
- $tryShowDocument(uri: UriComponents, options?: TextDocumentShowOptions): Promise<void>;
988
- $tryOpenDocument(uri: UriComponents): Promise<boolean>;
989
- $trySaveDocument(uri: UriComponents): Promise<boolean>;
990
- $tryCloseDocument(uri: UriComponents): Promise<boolean>;
991
- }
992
- export interface EnvMain {
993
- $getEnvVariable(envVarName: string): Promise<string | undefined>;
994
- $getClientOperatingSystem(): Promise<theia.OperatingSystem>;
995
- }
996
- export interface PreferenceRegistryMain {
997
- $updateConfigurationOption(target: boolean | ConfigurationTarget | undefined, key: string, value: any, resource?: string, withLanguageOverride?: boolean): PromiseLike<void>;
998
- $removeConfigurationOption(target: boolean | ConfigurationTarget | undefined, key: string, resource?: string, withLanguageOverride?: boolean): PromiseLike<void>;
999
- }
1000
- export interface PreferenceChangeExt {
1001
- preferenceName: string;
1002
- newValue: any;
1003
- /**
1004
- * The URI the folder affected, or undefined if User scope.
1005
- */
1006
- scope?: string;
1007
- }
1008
- export interface TerminalOptionsExt {
1009
- attributes?: {
1010
- [key: string]: string;
1011
- };
1012
- }
1013
- export interface PreferenceRegistryExt {
1014
- $acceptConfigurationChanged(data: {
1015
- [key: string]: any;
1016
- }, eventData: PreferenceChangeExt[]): void;
1017
- }
1018
- export interface OutputChannelRegistryMain {
1019
- $append(channelName: string, value: string, pluginInfo: PluginInfo): PromiseLike<void>;
1020
- $clear(channelName: string): PromiseLike<void>;
1021
- $dispose(channelName: string): PromiseLike<void>;
1022
- $reveal(channelName: string, preserveFocus: boolean): PromiseLike<void>;
1023
- $close(channelName: string): PromiseLike<void>;
1024
- }
1025
- export declare type CharacterPair = [string, string];
1026
- export interface CommentRule {
1027
- lineComment?: string;
1028
- blockComment?: CharacterPair;
1029
- }
1030
- export interface SerializedRegExp {
1031
- pattern: string;
1032
- flags?: string;
1033
- }
1034
- export interface SerializedIndentationRule {
1035
- decreaseIndentPattern?: SerializedRegExp;
1036
- increaseIndentPattern?: SerializedRegExp;
1037
- indentNextLinePattern?: SerializedRegExp;
1038
- unIndentedLinePattern?: SerializedRegExp;
1039
- }
1040
- export interface SerializedOnEnterRule {
1041
- beforeText: SerializedRegExp;
1042
- afterText?: SerializedRegExp;
1043
- previousLineText?: SerializedRegExp;
1044
- action: SerializedEnterAction;
1045
- }
1046
- export interface SerializedEnterAction {
1047
- indentAction: IndentAction;
1048
- outdentCurrentLine?: boolean;
1049
- appendText?: string;
1050
- removeText?: number;
1051
- }
1052
- export interface SerializedLanguageConfiguration {
1053
- comments?: CommentRule;
1054
- brackets?: CharacterPair[];
1055
- wordPattern?: SerializedRegExp;
1056
- indentationRules?: SerializedIndentationRule;
1057
- onEnterRules?: SerializedOnEnterRule[];
1058
- }
1059
- export interface CodeActionDto {
1060
- title: string;
1061
- edit?: WorkspaceEditDto;
1062
- diagnostics?: MarkerData[];
1063
- command?: Command;
1064
- kind?: string;
1065
- isPreferred?: boolean;
1066
- disabled?: string;
1067
- }
1068
- export interface WorkspaceEditMetadataDto {
1069
- needsConfirmation: boolean;
1070
- label: string;
1071
- description?: string;
1072
- iconPath?: {
1073
- id: string;
1074
- } | {
1075
- light: UriComponents;
1076
- dark: UriComponents;
1077
- } | ThemeIcon;
1078
- }
1079
- export interface WorkspaceFileEditDto {
1080
- oldResource?: UriComponents;
1081
- newResource?: UriComponents;
1082
- options?: FileOperationOptions;
1083
- metadata?: WorkspaceEditMetadataDto;
1084
- }
1085
- export interface WorkspaceTextEditDto {
1086
- resource: UriComponents;
1087
- modelVersionId?: number;
1088
- textEdit: TextEdit & {
1089
- insertAsSnippet?: boolean;
1090
- };
1091
- metadata?: WorkspaceEditMetadataDto;
1092
- }
1093
- export declare namespace WorkspaceTextEditDto {
1094
- function is(arg: WorkspaceTextEditDto | WorkspaceFileEditDto): arg is WorkspaceTextEditDto;
1095
- }
1096
- export interface WorkspaceEditDto {
1097
- edits: Array<WorkspaceTextEditDto | WorkspaceFileEditDto>;
1098
- }
1099
- export interface CommandProperties {
1100
- command: string;
1101
- args?: string[];
1102
- options?: {
1103
- cwd?: string;
1104
- [key: string]: any;
1105
- };
1106
- }
1107
- export declare type TaskGroupKind = 'build' | 'test' | 'rebuild' | 'clean';
1108
- export interface TaskDto {
1109
- type: string;
1110
- taskType?: 'shell' | 'process' | 'customExecution';
1111
- executionId?: string;
1112
- label: string;
1113
- source?: string;
1114
- scope: string | number;
1115
- problemMatcher?: any;
1116
- group?: {
1117
- kind: TaskGroupKind;
1118
- isDefault: boolean;
1119
- };
1120
- detail?: string;
1121
- presentation?: TaskPresentationOptionsDTO;
1122
- runOptions?: RunOptionsDTO;
1123
- [key: string]: any;
1124
- }
1125
- export interface RunOptionsDTO {
1126
- reevaluateOnRerun?: boolean;
1127
- }
1128
- export interface TaskPresentationOptionsDTO {
1129
- reveal?: number;
1130
- focus?: boolean;
1131
- echo?: boolean;
1132
- panel?: number;
1133
- showReuseMessage?: boolean;
1134
- clear?: boolean;
1135
- }
1136
- export interface TaskExecutionDto {
1137
- id: number;
1138
- task: TaskDto;
1139
- }
1140
- export interface ProcessTaskDto extends TaskDto, CommandProperties {
1141
- windows?: CommandProperties;
1142
- }
1143
- export interface PluginInfo {
1144
- id: string;
1145
- name: string;
1146
- displayName?: string;
1147
- }
1148
- export interface LanguageStatus {
1149
- readonly id: string;
1150
- readonly name: string;
1151
- readonly selector: SerializedDocumentFilter[];
1152
- readonly severity: Severity;
1153
- readonly label: string;
1154
- readonly detail: string;
1155
- readonly busy: boolean;
1156
- readonly source: string;
1157
- readonly command: Command | undefined;
1158
- readonly accessibilityInfo: theia.AccessibilityInformation | undefined;
1159
- }
1160
- export interface LanguagesExt {
1161
- $provideCompletionItems(handle: number, resource: UriComponents, position: Position, context: CompletionContext, token: CancellationToken): Promise<CompletionResultDto | undefined>;
1162
- $resolveCompletionItem(handle: number, chainedId: ChainedCacheId, token: CancellationToken): Promise<Completion | undefined>;
1163
- $releaseCompletionItems(handle: number, id: number): void;
1164
- $provideImplementation(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1165
- $provideTypeDefinition(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1166
- $provideDefinition(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1167
- $provideDeclaration(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1168
- $provideReferences(handle: number, resource: UriComponents, position: Position, context: ReferenceContext, token: CancellationToken): Promise<Location[] | undefined>;
1169
- $provideSignatureHelp(handle: number, resource: UriComponents, position: Position, context: SignatureHelpContext, token: CancellationToken): Promise<SignatureHelp | undefined>;
1170
- $releaseSignatureHelp(handle: number, id: number): void;
1171
- $provideHover(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Hover | undefined>;
1172
- $provideEvaluatableExpression(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<EvaluatableExpression | undefined>;
1173
- $provideInlineValues(handle: number, resource: UriComponents, range: Range, context: InlineValueContext, token: CancellationToken): Promise<InlineValue[] | undefined>;
1174
- $provideDocumentHighlights(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<DocumentHighlight[] | undefined>;
1175
- $provideDocumentFormattingEdits(handle: number, resource: UriComponents, options: FormattingOptions, token: CancellationToken): Promise<TextEdit[] | undefined>;
1176
- $provideDocumentRangeFormattingEdits(handle: number, resource: UriComponents, range: Range, options: FormattingOptions, token: CancellationToken): Promise<TextEdit[] | undefined>;
1177
- $provideOnTypeFormattingEdits(handle: number, resource: UriComponents, position: Position, ch: string, options: FormattingOptions, token: CancellationToken): Promise<TextEdit[] | undefined>;
1178
- $provideDocumentLinks(handle: number, resource: UriComponents, token: CancellationToken): Promise<DocumentLink[] | undefined>;
1179
- $resolveDocumentLink(handle: number, link: DocumentLink, token: CancellationToken): Promise<DocumentLink | undefined>;
1180
- $releaseDocumentLinks(handle: number, ids: number[]): void;
1181
- $provideCodeLenses(handle: number, resource: UriComponents, token: CancellationToken): Promise<CodeLensSymbol[] | undefined>;
1182
- $resolveCodeLens(handle: number, resource: UriComponents, symbol: CodeLensSymbol, token: CancellationToken): Promise<CodeLensSymbol | undefined>;
1183
- $releaseCodeLenses(handle: number, ids: number[]): void;
1184
- $provideCodeActions(handle: number, resource: UriComponents, rangeOrSelection: Range | Selection, context: CodeActionContext, token: CancellationToken): Promise<CodeAction[] | undefined>;
1185
- $releaseCodeActions(handle: number, cacheIds: number[]): void;
1186
- $resolveCodeAction(handle: number, cacheId: number, token: CancellationToken): Promise<WorkspaceEditDto | undefined>;
1187
- $provideDocumentSymbols(handle: number, resource: UriComponents, token: CancellationToken): Promise<DocumentSymbol[] | undefined>;
1188
- $provideWorkspaceSymbols(handle: number, query: string, token: CancellationToken): PromiseLike<SymbolInformation[]>;
1189
- $resolveWorkspaceSymbol(handle: number, symbol: SymbolInformation, token: CancellationToken): PromiseLike<SymbolInformation | undefined>;
1190
- $provideFoldingRange(handle: number, resource: UriComponents, context: FoldingContext, token: CancellationToken): PromiseLike<FoldingRange[] | undefined>;
1191
- $provideSelectionRanges(handle: number, resource: UriComponents, positions: Position[], token: CancellationToken): PromiseLike<SelectionRange[][]>;
1192
- $provideDocumentColors(handle: number, resource: UriComponents, token: CancellationToken): PromiseLike<RawColorInfo[]>;
1193
- $provideColorPresentations(handle: number, resource: UriComponents, colorInfo: RawColorInfo, token: CancellationToken): PromiseLike<ColorPresentation[]>;
1194
- $provideInlayHints(handle: number, resource: UriComponents, range: Range, token: CancellationToken): Promise<InlayHintsDto | undefined>;
1195
- $resolveInlayHint(handle: number, id: ChainedCacheId, token: CancellationToken): Promise<InlayHintDto | undefined>;
1196
- $releaseInlayHints(handle: number, id: number): void;
1197
- $provideRenameEdits(handle: number, resource: UriComponents, position: Position, newName: string, token: CancellationToken): PromiseLike<WorkspaceEditDto | undefined>;
1198
- $resolveRenameLocation(handle: number, resource: UriComponents, position: Position, token: CancellationToken): PromiseLike<RenameLocation | undefined>;
1199
- $provideDocumentSemanticTokens(handle: number, resource: UriComponents, previousResultId: number, token: CancellationToken): Promise<BinaryBuffer | null>;
1200
- $releaseDocumentSemanticTokens(handle: number, semanticColoringResultId: number): void;
1201
- $provideDocumentRangeSemanticTokens(handle: number, resource: UriComponents, range: Range, token: CancellationToken): Promise<BinaryBuffer | null>;
1202
- $provideRootDefinition(handle: number, resource: UriComponents, location: Position, token: CancellationToken): Promise<CallHierarchyItem[] | undefined>;
1203
- $provideCallers(handle: number, definition: CallHierarchyItem, token: CancellationToken): Promise<CallHierarchyIncomingCall[] | undefined>;
1204
- $provideCallees(handle: number, definition: CallHierarchyItem, token: CancellationToken): Promise<CallHierarchyOutgoingCall[] | undefined>;
1205
- $provideLinkedEditingRanges(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<LinkedEditingRanges | undefined>;
1206
- $releaseCallHierarchy(handle: number, session?: string): Promise<boolean>;
1207
- $prepareTypeHierarchy(handle: number, resource: UriComponents, location: Position, token: theia.CancellationToken): Promise<TypeHierarchyItem[] | undefined>;
1208
- $provideSuperTypes(handle: number, sessionId: string, itemId: string, token: theia.CancellationToken): Promise<TypeHierarchyItem[] | undefined>;
1209
- $provideSubTypes(handle: number, sessionId: string, itemId: string, token: theia.CancellationToken): Promise<TypeHierarchyItem[] | undefined>;
1210
- $releaseTypeHierarchy(handle: number, session?: string): Promise<boolean>;
1211
- $provideInlineCompletions(handle: number, resource: UriComponents, position: Position, context: InlineCompletionContext, token: CancellationToken): Promise<IdentifiableInlineCompletions | undefined>;
1212
- $freeInlineCompletionsList(handle: number, pid: number): void;
1213
- }
1214
- export declare const LanguagesMainFactory: unique symbol;
1215
- export interface LanguagesMainFactory {
1216
- (proxy: RPCProtocol): LanguagesMain;
1217
- }
1218
- export declare const OutputChannelRegistryFactory: unique symbol;
1219
- export interface OutputChannelRegistryFactory {
1220
- (): OutputChannelRegistryMain;
1221
- }
1222
- export interface LanguagesMain {
1223
- $getLanguages(): Promise<string[]>;
1224
- $changeLanguage(resource: UriComponents, languageId: string): Promise<void>;
1225
- $setLanguageConfiguration(handle: number, languageId: string, configuration: SerializedLanguageConfiguration): void;
1226
- $unregister(handle: number): void;
1227
- $registerCompletionSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], triggerCharacters: string[], supportsResolveDetails: boolean): void;
1228
- $registerImplementationProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1229
- $registerTypeDefinitionProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1230
- $registerDefinitionProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1231
- $registerDeclarationProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1232
- $registerReferenceProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1233
- $registerSignatureHelpProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], metadata: theia.SignatureHelpProviderMetadata): void;
1234
- $registerHoverProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1235
- $registerEvaluatableExpressionProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1236
- $registerInlineValuesProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1237
- $emitInlineValuesEvent(eventHandle: number, event?: any): void;
1238
- $registerDocumentHighlightProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1239
- $registerQuickFixProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], codeActionKinds?: string[], documentation?: CodeActionProviderDocumentation): void;
1240
- $clearDiagnostics(id: string): void;
1241
- $changeDiagnostics(id: string, delta: [string, MarkerData[]][]): void;
1242
- $registerDocumentFormattingSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1243
- $registerRangeFormattingSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1244
- $registerOnTypeFormattingProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], autoFormatTriggerCharacters: string[]): void;
1245
- $registerDocumentLinkProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1246
- $registerCodeLensSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], eventHandle?: number): void;
1247
- $emitCodeLensEvent(eventHandle: number, event?: any): void;
1248
- $registerOutlineSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], displayName?: string): void;
1249
- $registerWorkspaceSymbolProvider(handle: number, pluginInfo: PluginInfo): void;
1250
- $registerFoldingRangeProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], eventHandle?: number): void;
1251
- $emitFoldingRangeEvent(handle: number, event?: any): void;
1252
- $registerSelectionRangeProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1253
- $registerDocumentColorProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1254
- $registerInlayHintsProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], displayName?: string, eventHandle?: number): void;
1255
- $emitInlayHintsEvent(eventHandle: number, event?: any): void;
1256
- $registerRenameProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], supportsResolveInitialValues: boolean): void;
1257
- $registerDocumentSemanticTokensProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], legend: theia.SemanticTokensLegend, eventHandle: number | undefined): void;
1258
- $emitDocumentSemanticTokensEvent(eventHandle: number): void;
1259
- $registerDocumentRangeSemanticTokensProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], legend: theia.SemanticTokensLegend): void;
1260
- $registerCallHierarchyProvider(handle: number, selector: SerializedDocumentFilter[]): void;
1261
- $registerLinkedEditingRangeProvider(handle: number, selector: SerializedDocumentFilter[]): void;
1262
- $registerTypeHierarchyProvider(handle: number, selector: SerializedDocumentFilter[]): void;
1263
- $setLanguageStatus(handle: number, status: LanguageStatus): void;
1264
- $removeLanguageStatus(handle: number): void;
1265
- $registerInlineCompletionsSupport(handle: number, selector: SerializedDocumentFilter[]): void;
1266
- }
1267
- export interface WebviewInitData {
1268
- webviewResourceRoot: string;
1269
- webviewCspSource: string;
1270
- }
1271
- export interface WebviewPanelViewState {
1272
- readonly active: boolean;
1273
- readonly visible: boolean;
1274
- readonly position: number;
1275
- }
1276
- export interface WebviewsExt {
1277
- $onMessage(handle: string, message: any): void;
1278
- $onDidChangeWebviewPanelViewState(handle: string, newState: WebviewPanelViewState): void;
1279
- $onDidDisposeWebviewPanel(handle: string): PromiseLike<void>;
1280
- $deserializeWebviewPanel(newWebviewHandle: string, viewType: string, title: string, state: any, viewState: WebviewPanelViewState, options: theia.WebviewOptions & theia.WebviewPanelOptions): PromiseLike<void>;
1281
- }
1282
- export interface WebviewsMain {
1283
- $createWebviewPanel(handle: string, viewType: string, title: string, showOptions: theia.WebviewPanelShowOptions, options: theia.WebviewPanelOptions & theia.WebviewOptions): void;
1284
- $disposeWebview(handle: string): void;
1285
- $reveal(handle: string, showOptions: theia.WebviewPanelShowOptions): void;
1286
- $setTitle(handle: string, value: string): void;
1287
- $setIconPath(handle: string, value: IconUrl | undefined): void;
1288
- $setHtml(handle: string, value: string): void;
1289
- $setOptions(handle: string, options: theia.WebviewOptions): void;
1290
- $postMessage(handle: string, value: any): Thenable<boolean>;
1291
- $registerSerializer(viewType: string): void;
1292
- $unregisterSerializer(viewType: string): void;
1293
- }
1294
- export interface WebviewViewsExt {
1295
- $resolveWebviewView(handle: string, viewType: string, title: string | undefined, state: any, cancellation: CancellationToken): Promise<void>;
1296
- $onDidChangeWebviewViewVisibility(handle: string, visible: boolean): void;
1297
- $disposeWebviewView(handle: string): void;
1298
- }
1299
- export interface WebviewViewsMain extends Disposable {
1300
- $registerWebviewViewProvider(viewType: string, options: {
1301
- retainContextWhenHidden?: boolean;
1302
- serializeBuffersForPostMessage: boolean;
1303
- }): void;
1304
- $unregisterWebviewViewProvider(viewType: string): void;
1305
- $setWebviewViewTitle(handle: string, value: string | undefined): void;
1306
- $setWebviewViewDescription(handle: string, value: string | undefined): void;
1307
- $show(handle: string, preserveFocus: boolean): void;
1308
- }
1309
- export interface CustomEditorsExt {
1310
- $resolveWebviewEditor<T>(resource: UriComponents, newWebviewHandle: string, viewType: string, title: string, widgetOpenerOptions: T | undefined, options: theia.WebviewPanelOptions, cancellation: CancellationToken): Promise<void>;
1311
- $createCustomDocument(resource: UriComponents, viewType: string, openContext: theia.CustomDocumentOpenContext, cancellation: CancellationToken): Promise<{
1312
- editable: boolean;
1313
- }>;
1314
- $disposeCustomDocument(resource: UriComponents, viewType: string): Promise<void>;
1315
- $undo(resource: UriComponents, viewType: string, editId: number, isDirty: boolean): Promise<void>;
1316
- $redo(resource: UriComponents, viewType: string, editId: number, isDirty: boolean): Promise<void>;
1317
- $revert(resource: UriComponents, viewType: string, cancellation: CancellationToken): Promise<void>;
1318
- $disposeEdits(resourceComponents: UriComponents, viewType: string, editIds: number[]): void;
1319
- $onSave(resource: UriComponents, viewType: string, cancellation: CancellationToken): Promise<void>;
1320
- $onSaveAs(resource: UriComponents, viewType: string, targetResource: UriComponents, cancellation: CancellationToken): Promise<void>;
1321
- $onMoveCustomEditor(handle: string, newResource: UriComponents, viewType: string): Promise<void>;
1322
- }
1323
- export interface CustomTextEditorCapabilities {
1324
- readonly supportsMove?: boolean;
1325
- }
1326
- export interface CustomEditorsMain {
1327
- $registerTextEditorProvider(viewType: string, options: theia.WebviewPanelOptions, capabilities: CustomTextEditorCapabilities): void;
1328
- $registerCustomEditorProvider(viewType: string, options: theia.WebviewPanelOptions, supportsMultipleEditorsPerDocument: boolean): void;
1329
- $unregisterEditorProvider(viewType: string): void;
1330
- $createCustomEditorPanel<T>(handle: string, title: string, widgetOpenerOptions: T | undefined, options: theia.WebviewPanelOptions & theia.WebviewOptions): Promise<void>;
1331
- $onDidEdit(resource: UriComponents, viewType: string, editId: number, label: string | undefined): void;
1332
- $onContentChange(resource: UriComponents, viewType: string): void;
1333
- }
1334
- export interface StorageMain {
1335
- $set(key: string, value: KeysToAnyValues, isGlobal: boolean): Promise<boolean>;
1336
- $get(key: string, isGlobal: boolean): Promise<KeysToAnyValues>;
1337
- $getAll(isGlobal: boolean): Promise<KeysToKeysToAnyValue>;
1338
- }
1339
- export interface StorageExt {
1340
- $updatePluginsWorkspaceData(data: KeysToKeysToAnyValue): void;
1341
- }
1342
- /**
1343
- * A DebugConfigurationProviderTriggerKind specifies when the `provideDebugConfigurations` method of a `DebugConfigurationProvider` should be called.
1344
- * Currently there are two situations:
1345
- * (1) providing debug configurations to populate a newly created `launch.json`
1346
- * (2) providing dynamically generated configurations when the user asks for them through the UI (e.g. via the "Select and Start Debugging" command).
1347
- * A trigger kind is used when registering a `DebugConfigurationProvider` with {@link debug.registerDebugConfigurationProvider}.
1348
- */
1349
- export declare enum DebugConfigurationProviderTriggerKind {
1350
- /**
1351
- * `DebugConfigurationProvider.provideDebugConfigurations` is called to provide the initial debug
1352
- * configurations for a newly created launch.json.
1353
- */
1354
- Initial = 1,
1355
- /**
1356
- * `DebugConfigurationProvider.provideDebugConfigurations` is called to provide dynamically generated debug configurations when the user asks for them through the UI
1357
- * (e.g. via the "Select and Start Debugging" command).
1358
- */
1359
- Dynamic = 2
1360
- }
1361
- export interface DebugConfigurationProvider {
1362
- readonly handle: number;
1363
- readonly type: string;
1364
- readonly triggerKind: DebugConfigurationProviderTriggerKind;
1365
- provideDebugConfigurations?(folder: string | undefined): Promise<theia.DebugConfiguration[]>;
1366
- resolveDebugConfiguration?(folder: string | undefined, debugConfiguration: theia.DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1367
- resolveDebugConfigurationWithSubstitutedVariables?(folder: string | undefined, debugConfiguration: theia.DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1368
- }
1369
- export interface DebugConfigurationProviderDescriptor {
1370
- readonly handle: number;
1371
- readonly type: string;
1372
- readonly trigger: DebugConfigurationProviderTriggerKind;
1373
- readonly provideDebugConfiguration: boolean;
1374
- readonly resolveDebugConfigurations: boolean;
1375
- readonly resolveDebugConfigurationWithSubstitutedVariables: boolean;
1376
- }
1377
- export interface DebugExt {
1378
- $onSessionCustomEvent(sessionId: string, event: string, body?: any): void;
1379
- $breakpointsDidChange(added: Breakpoint[], removed: string[], changed: Breakpoint[]): void;
1380
- $sessionDidCreate(sessionId: string): void;
1381
- $sessionDidStart(sessionId: string): void;
1382
- $sessionDidDestroy(sessionId: string): void;
1383
- $sessionDidChange(sessionId: string | undefined): void;
1384
- $provideDebugConfigurationsByHandle(handle: number, workspaceFolder: string | undefined): Promise<theia.DebugConfiguration[]>;
1385
- $resolveDebugConfigurationByHandle(handle: number, workspaceFolder: string | undefined, debugConfiguration: theia.DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1386
- $resolveDebugConfigurationWithSubstitutedVariablesByHandle(handle: number, workspaceFolder: string | undefined, debugConfiguration: DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1387
- $createDebugSession(debugConfiguration: DebugConfiguration, workspaceFolder: string | undefined): Promise<string>;
1388
- $terminateDebugSession(sessionId: string): Promise<void>;
1389
- $getTerminalCreationOptions(debugType: string): Promise<TerminalOptionsExt | undefined>;
1390
- }
1391
- export interface DebugMain {
1392
- $appendToDebugConsole(value: string): Promise<void>;
1393
- $appendLineToDebugConsole(value: string): Promise<void>;
1394
- $registerDebuggerContribution(description: DebuggerDescription): Promise<void>;
1395
- $unregisterDebuggerConfiguration(debugType: string): Promise<void>;
1396
- $registerDebugConfigurationProvider(description: DebugConfigurationProviderDescriptor): void;
1397
- $unregisterDebugConfigurationProvider(handle: number): Promise<void>;
1398
- $addBreakpoints(breakpoints: Breakpoint[]): Promise<void>;
1399
- $removeBreakpoints(breakpoints: string[]): Promise<void>;
1400
- $startDebugging(folder: theia.WorkspaceFolder | undefined, nameOrConfiguration: string | theia.DebugConfiguration, options: DebugSessionOptions): Promise<boolean>;
1401
- $stopDebugging(sessionId?: string): Promise<void>;
1402
- $customRequest(sessionId: string, command: string, args?: any): Promise<DebugProtocol.Response>;
1403
- $getDebugProtocolBreakpoint(sessionId: string, breakpointId: string): Promise<theia.DebugProtocolBreakpoint | undefined>;
1404
- }
1405
- export interface FileSystemExt {
1406
- $acceptProviderInfos(scheme: string, capabilities?: files.FileSystemProviderCapabilities): void;
1407
- $stat(handle: number, resource: UriComponents): Promise<files.Stat>;
1408
- $readdir(handle: number, resource: UriComponents): Promise<[string, files.FileType][]>;
1409
- $readFile(handle: number, resource: UriComponents): Promise<BinaryBuffer>;
1410
- $writeFile(handle: number, resource: UriComponents, content: BinaryBuffer, opts: files.FileWriteOptions): Promise<void>;
1411
- $rename(handle: number, resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1412
- $copy(handle: number, resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1413
- $mkdir(handle: number, resource: UriComponents): Promise<void>;
1414
- $delete(handle: number, resource: UriComponents, opts: files.FileDeleteOptions): Promise<void>;
1415
- $watch(handle: number, session: number, resource: UriComponents, opts: files.WatchOptions): void;
1416
- $unwatch(handle: number, session: number): void;
1417
- $open(handle: number, resource: UriComponents, opts: files.FileOpenOptions): Promise<number>;
1418
- $close(handle: number, fd: number): Promise<void>;
1419
- $read(handle: number, fd: number, pos: number, length: number): Promise<BinaryBuffer>;
1420
- $write(handle: number, fd: number, pos: number, data: BinaryBuffer): Promise<number>;
1421
- }
1422
- export interface IFileChangeDto {
1423
- resource: UriComponents;
1424
- type: files.FileChangeType;
1425
- }
1426
- export interface FileSystemMain {
1427
- $registerFileSystemProvider(handle: number, scheme: string, capabilities: files.FileSystemProviderCapabilities): void;
1428
- $unregisterProvider(handle: number): void;
1429
- $onFileSystemChange(handle: number, resource: IFileChangeDto[]): void;
1430
- $stat(uri: UriComponents): Promise<files.Stat>;
1431
- $readdir(resource: UriComponents): Promise<[string, files.FileType][]>;
1432
- $readFile(resource: UriComponents): Promise<BinaryBuffer>;
1433
- $writeFile(resource: UriComponents, content: BinaryBuffer): Promise<void>;
1434
- $rename(resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1435
- $copy(resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1436
- $mkdir(resource: UriComponents): Promise<void>;
1437
- $delete(resource: UriComponents, opts: files.FileDeleteOptions): Promise<void>;
1438
- }
1439
- export interface FileSystemEvents {
1440
- created: UriComponents[];
1441
- changed: UriComponents[];
1442
- deleted: UriComponents[];
1443
- }
1444
- export interface ExtHostFileSystemEventServiceShape {
1445
- $onFileEvent(events: FileSystemEvents): void;
1446
- $onWillRunFileOperation(operation: files.FileOperation, target: UriComponents, source: UriComponents | undefined, timeout: number, token: CancellationToken): Promise<any>;
1447
- $onDidRunFileOperation(operation: files.FileOperation, target: UriComponents, source: UriComponents | undefined): void;
1448
- }
1449
- export interface ClipboardMain {
1450
- $readText(): Promise<string>;
1451
- $writeText(value: string): Promise<void>;
1452
- }
1453
- export interface CommentsExt {
1454
- $createCommentThreadTemplate(commentControllerHandle: number, uriComponents: UriComponents, range: Range): void;
1455
- $updateCommentThreadTemplate(commentControllerHandle: number, threadHandle: number, range: Range): Promise<void>;
1456
- $deleteCommentThread(commentControllerHandle: number, commentThreadHandle: number): Promise<void>;
1457
- $provideCommentingRanges(commentControllerHandle: number, uriComponents: UriComponents, token: CancellationToken): Promise<Range[] | undefined>;
1458
- }
1459
- export interface CommentProviderFeatures {
1460
- options?: CommentOptions;
1461
- }
1462
- export declare type CommentThreadChanges = Partial<{
1463
- range: Range;
1464
- label: string;
1465
- contextValue: string;
1466
- comments: Comment[];
1467
- collapseState: CommentThreadCollapsibleState;
1468
- canReply: boolean;
1469
- }>;
1470
- export interface CommentsMain {
1471
- $registerCommentController(handle: number, id: string, label: string): void;
1472
- $unregisterCommentController(handle: number): void;
1473
- $updateCommentControllerFeatures(handle: number, features: CommentProviderFeatures): void;
1474
- $createCommentThread(handle: number, commentThreadHandle: number, threadId: string, resource: UriComponents, range: Range, extensionId: string): CommentThread | undefined;
1475
- $updateCommentThread(handle: number, commentThreadHandle: number, threadId: string, resource: UriComponents, changes: CommentThreadChanges): void;
1476
- $deleteCommentThread(handle: number, commentThreadHandle: number): void;
1477
- $onDidCommentThreadsChange(handle: number, event: CommentThreadChangedEvent): void;
1478
- }
1479
- export declare const enum TabInputKind {
1480
- UnknownInput = 0,
1481
- TextInput = 1,
1482
- TextDiffInput = 2,
1483
- TextMergeInput = 3,
1484
- NotebookInput = 4,
1485
- NotebookDiffInput = 5,
1486
- CustomEditorInput = 6,
1487
- WebviewEditorInput = 7,
1488
- TerminalEditorInput = 8,
1489
- InteractiveEditorInput = 9
1490
- }
1491
- export interface UnknownInputDto {
1492
- kind: TabInputKind.UnknownInput;
1493
- }
1494
- export interface TextInputDto {
1495
- kind: TabInputKind.TextInput;
1496
- uri: UriComponents;
1497
- }
1498
- export interface TextDiffInputDto {
1499
- kind: TabInputKind.TextDiffInput;
1500
- original: UriComponents;
1501
- modified: UriComponents;
1502
- }
1503
- export interface TextMergeInputDto {
1504
- kind: TabInputKind.TextMergeInput;
1505
- base: UriComponents;
1506
- input1: UriComponents;
1507
- input2: UriComponents;
1508
- result: UriComponents;
1509
- }
1510
- export interface NotebookInputDto {
1511
- kind: TabInputKind.NotebookInput;
1512
- notebookType: string;
1513
- uri: UriComponents;
1514
- }
1515
- export interface NotebookDiffInputDto {
1516
- kind: TabInputKind.NotebookDiffInput;
1517
- notebookType: string;
1518
- original: UriComponents;
1519
- modified: UriComponents;
1520
- }
1521
- export interface CustomInputDto {
1522
- kind: TabInputKind.CustomEditorInput;
1523
- viewType: string;
1524
- uri: UriComponents;
1525
- }
1526
- export interface WebviewInputDto {
1527
- kind: TabInputKind.WebviewEditorInput;
1528
- viewType: string;
1529
- }
1530
- export interface InteractiveEditorInputDto {
1531
- kind: TabInputKind.InteractiveEditorInput;
1532
- uri: UriComponents;
1533
- inputBoxUri: UriComponents;
1534
- }
1535
- export interface TabInputDto {
1536
- kind: TabInputKind.TerminalEditorInput;
1537
- }
1538
- export declare type EditorGroupColumn = number;
1539
- export declare type AnyInputDto = UnknownInputDto | TextInputDto | TextDiffInputDto | TextMergeInputDto | NotebookInputDto | NotebookDiffInputDto | CustomInputDto | WebviewInputDto | InteractiveEditorInputDto | TabInputDto;
1540
- export interface TabGroupDto {
1541
- isActive: boolean;
1542
- viewColumn: EditorGroupColumn;
1543
- tabs: TabDto[];
1544
- groupId: number;
1545
- }
1546
- export declare const enum TabModelOperationKind {
1547
- TAB_OPEN = 0,
1548
- TAB_CLOSE = 1,
1549
- TAB_UPDATE = 2,
1550
- TAB_MOVE = 3
1551
- }
1552
- export interface TabOperation {
1553
- readonly kind: TabModelOperationKind.TAB_OPEN | TabModelOperationKind.TAB_CLOSE | TabModelOperationKind.TAB_UPDATE | TabModelOperationKind.TAB_MOVE;
1554
- readonly index: number;
1555
- readonly tabDto: TabDto;
1556
- readonly groupId: number;
1557
- readonly oldIndex?: number;
1558
- }
1559
- export interface TabDto {
1560
- id: string;
1561
- label: string;
1562
- input: AnyInputDto;
1563
- editorId?: string;
1564
- isActive: boolean;
1565
- isPinned: boolean;
1566
- isPreview: boolean;
1567
- isDirty: boolean;
1568
- }
1569
- export interface TabsExt {
1570
- $acceptEditorTabModel(tabGroups: TabGroupDto[]): void;
1571
- $acceptTabGroupUpdate(groupDto: TabGroupDto): void;
1572
- $acceptTabOperation(operation: TabOperation): void;
1573
- }
1574
- export interface TabsMain {
1575
- $moveTab(tabId: string, index: number, viewColumn: EditorGroupColumn, preserveFocus?: boolean): void;
1576
- $closeTab(tabIds: string[], preserveFocus?: boolean): Promise<boolean>;
1577
- $closeGroup(groupIds: number[], preserveFocus?: boolean): Promise<boolean>;
1578
- }
1579
- export declare const PLUGIN_RPC_CONTEXT: {
1580
- AUTHENTICATION_MAIN: ProxyIdentifier<AuthenticationMain>;
1581
- COMMAND_REGISTRY_MAIN: ProxyIdentifier<CommandRegistryMain>;
1582
- QUICK_OPEN_MAIN: ProxyIdentifier<QuickOpenMain>;
1583
- DIALOGS_MAIN: ProxyIdentifier<DialogsMain>;
1584
- WORKSPACE_MAIN: ProxyIdentifier<WorkspaceMain>;
1585
- MESSAGE_REGISTRY_MAIN: ProxyIdentifier<MessageRegistryMain>;
1586
- TEXT_EDITORS_MAIN: ProxyIdentifier<TextEditorsMain>;
1587
- DOCUMENTS_MAIN: ProxyIdentifier<DocumentsMain>;
1588
- STATUS_BAR_MESSAGE_REGISTRY_MAIN: ProxyIdentifier<StatusBarMessageRegistryMain>;
1589
- ENV_MAIN: ProxyIdentifier<EnvMain>;
1590
- NOTIFICATION_MAIN: ProxyIdentifier<NotificationMain>;
1591
- TERMINAL_MAIN: ProxyIdentifier<TerminalServiceMain>;
1592
- TREE_VIEWS_MAIN: ProxyIdentifier<TreeViewsMain>;
1593
- PREFERENCE_REGISTRY_MAIN: ProxyIdentifier<PreferenceRegistryMain>;
1594
- OUTPUT_CHANNEL_REGISTRY_MAIN: ProxyIdentifier<OutputChannelRegistryMain>;
1595
- LANGUAGES_MAIN: ProxyIdentifier<LanguagesMain>;
1596
- CONNECTION_MAIN: ProxyIdentifier<ConnectionMain>;
1597
- WEBVIEWS_MAIN: ProxyIdentifier<WebviewsMain>;
1598
- CUSTOM_EDITORS_MAIN: ProxyIdentifier<CustomEditorsMain>;
1599
- WEBVIEW_VIEWS_MAIN: ProxyIdentifier<WebviewViewsMain>;
1600
- STORAGE_MAIN: ProxyIdentifier<StorageMain>;
1601
- TASKS_MAIN: ProxyIdentifier<TasksMain>;
1602
- DEBUG_MAIN: ProxyIdentifier<DebugMain>;
1603
- FILE_SYSTEM_MAIN: ProxyIdentifier<FileSystemMain>;
1604
- SCM_MAIN: ProxyIdentifier<ScmMain>;
1605
- SECRETS_MAIN: ProxyIdentifier<SecretsMain>;
1606
- DECORATIONS_MAIN: ProxyIdentifier<DecorationsMain>;
1607
- WINDOW_MAIN: ProxyIdentifier<WindowMain>;
1608
- CLIPBOARD_MAIN: ProxyIdentifier<ClipboardMain>;
1609
- LABEL_SERVICE_MAIN: ProxyIdentifier<LabelServiceMain>;
1610
- TIMELINE_MAIN: ProxyIdentifier<TimelineMain>;
1611
- THEMING_MAIN: ProxyIdentifier<ThemingMain>;
1612
- COMMENTS_MAIN: ProxyIdentifier<CommentsMain>;
1613
- TABS_MAIN: ProxyIdentifier<TabsMain>;
1614
- };
1615
- export declare const MAIN_RPC_CONTEXT: {
1616
- AUTHENTICATION_EXT: ProxyIdentifier<AuthenticationExt>;
1617
- HOSTED_PLUGIN_MANAGER_EXT: ProxyIdentifier<PluginManagerExt>;
1618
- COMMAND_REGISTRY_EXT: ProxyIdentifier<CommandRegistryExt>;
1619
- QUICK_OPEN_EXT: ProxyIdentifier<QuickOpenExt>;
1620
- WINDOW_STATE_EXT: ProxyIdentifier<WindowStateExt>;
1621
- NOTIFICATION_EXT: ProxyIdentifier<NotificationExt>;
1622
- WORKSPACE_EXT: ProxyIdentifier<WorkspaceExt>;
1623
- TEXT_EDITORS_EXT: ProxyIdentifier<TextEditorsExt>;
1624
- EDITORS_AND_DOCUMENTS_EXT: ProxyIdentifier<EditorsAndDocumentsExt>;
1625
- DOCUMENTS_EXT: ProxyIdentifier<DocumentsExt>;
1626
- TERMINAL_EXT: ProxyIdentifier<TerminalServiceExt>;
1627
- OUTPUT_CHANNEL_REGISTRY_EXT: ProxyIdentifier<OutputChannelRegistryExt>;
1628
- TREE_VIEWS_EXT: ProxyIdentifier<TreeViewsExt>;
1629
- PREFERENCE_REGISTRY_EXT: ProxyIdentifier<PreferenceRegistryExt>;
1630
- LANGUAGES_EXT: ProxyIdentifier<LanguagesExt>;
1631
- CONNECTION_EXT: ProxyIdentifier<ConnectionExt>;
1632
- WEBVIEWS_EXT: ProxyIdentifier<WebviewsExt>;
1633
- CUSTOM_EDITORS_EXT: ProxyIdentifier<CustomEditorsExt>;
1634
- WEBVIEW_VIEWS_EXT: ProxyIdentifier<WebviewViewsExt>;
1635
- STORAGE_EXT: ProxyIdentifier<StorageExt>;
1636
- TASKS_EXT: ProxyIdentifier<TasksExt>;
1637
- DEBUG_EXT: ProxyIdentifier<DebugExt>;
1638
- FILE_SYSTEM_EXT: ProxyIdentifier<FileSystemExt>;
1639
- ExtHostFileSystemEventService: ProxyIdentifier<ExtHostFileSystemEventServiceShape>;
1640
- SCM_EXT: ProxyIdentifier<ScmExt>;
1641
- SECRETS_EXT: ProxyIdentifier<SecretsExt>;
1642
- DECORATIONS_EXT: ProxyIdentifier<DecorationsExt>;
1643
- LABEL_SERVICE_EXT: ProxyIdentifier<LabelServiceExt>;
1644
- TIMELINE_EXT: ProxyIdentifier<TimelineExt>;
1645
- THEMING_EXT: ProxyIdentifier<ThemingExt>;
1646
- COMMENTS_EXT: ProxyIdentifier<CommentsExt>;
1647
- TABS_EXT: ProxyIdentifier<TabsExt>;
1648
- };
1649
- export interface TasksExt {
1650
- $initLoadedTasks(executions: TaskExecutionDto[]): Promise<void>;
1651
- $provideTasks(handle: number): Promise<TaskDto[] | undefined>;
1652
- $resolveTask(handle: number, task: TaskDto, token?: CancellationToken): Promise<TaskDto | undefined>;
1653
- $onDidStartTask(execution: TaskExecutionDto, terminalId: number): void;
1654
- $onDidEndTask(id: number): void;
1655
- $onDidStartTaskProcess(processId: number | undefined, execution: TaskExecutionDto): void;
1656
- $onDidEndTaskProcess(exitCode: number | undefined, taskId: number): void;
1657
- }
1658
- export interface TasksMain {
1659
- $registerTaskProvider(handle: number, type: string): void;
1660
- $fetchTasks(taskVersion: string | undefined, taskType: string | undefined): Promise<TaskDto[]>;
1661
- $executeTask(taskDto: TaskDto): Promise<TaskExecutionDto | undefined>;
1662
- $taskExecutions(): Promise<TaskExecutionDto[]>;
1663
- $unregister(handle: number): void;
1664
- $terminateTask(id: number): void;
1665
- $customExecutionComplete(id: number, exitCode: number | undefined): void;
1666
- }
1667
- export interface AuthenticationExt {
1668
- $getSessions(id: string, scopes?: string[]): Promise<ReadonlyArray<theia.AuthenticationSession>>;
1669
- $createSession(id: string, scopes: string[]): Promise<theia.AuthenticationSession>;
1670
- $removeSession(id: string, sessionId: string): Promise<void>;
1671
- $onDidChangeAuthenticationSessions(provider: theia.AuthenticationProviderInformation): Promise<void>;
1672
- }
1673
- export interface AuthenticationMain {
1674
- $registerAuthenticationProvider(id: string, label: string, supportsMultipleAccounts: boolean): void;
1675
- $unregisterAuthenticationProvider(id: string): void;
1676
- $onDidChangeSessions(providerId: string, event: AuthenticationProviderAuthenticationSessionsChangeEvent): void;
1677
- $getSession(providerId: string, scopes: readonly string[], extensionId: string, extensionName: string, options: theia.AuthenticationGetSessionOptions): Promise<theia.AuthenticationSession | undefined>;
1678
- }
1679
- export interface RawColorInfo {
1680
- color: [number, number, number, number];
1681
- range: Range;
1682
- }
1683
- export interface LabelServiceExt {
1684
- $registerResourceLabelFormatter(formatter: ResourceLabelFormatter): theia.Disposable;
1685
- }
1686
- export interface LabelServiceMain {
1687
- $registerResourceLabelFormatter(handle: number, formatter: ResourceLabelFormatter): void;
1688
- $unregisterResourceLabelFormatter(handle: number): void;
1689
- }
1690
- export interface SecretsExt {
1691
- $onDidChangePassword(e: {
1692
- extensionId: string;
1693
- key: string;
1694
- }): Promise<void>;
1695
- }
1696
- export interface SecretsMain {
1697
- $getPassword(extensionId: string, key: string): Promise<string | undefined>;
1698
- $setPassword(extensionId: string, key: string, value: string): Promise<void>;
1699
- $deletePassword(extensionId: string, key: string): Promise<void>;
1700
- }
1701
- export declare type InlayHintDto = CachedSessionItem<InlayHint>;
1702
- export declare type InlayHintsDto = CachedSession<{
1703
- hints: InlayHint[];
1704
- }>;
1705
- export interface IdentifiableInlineCompletions extends InlineCompletions<IdentifiableInlineCompletion> {
1706
- pid: number;
1707
- }
1708
- export interface IdentifiableInlineCompletion extends InlineCompletion {
1709
- idx: number;
1710
- }
1
+ import { ProxyIdentifier, RPCProtocol } from './rpc-protocol';
2
+ import * as theia from '@theia/plugin';
3
+ import { PluginLifecycle, PluginModel, PluginMetadata, PluginPackage, IconUrl, PluginJsonValidationContribution } from './plugin-protocol';
4
+ import { QueryParameters } from './env';
5
+ import { TextEditorCursorStyle } from './editor-options';
6
+ import { ConfigurationTarget, TextEditorLineNumbersStyle, EndOfLine, OverviewRulerLane, FileOperationOptions, TextDocumentChangeReason, IndentAction } from '../plugin/types-impl';
7
+ import { UriComponents } from './uri-components';
8
+ import { SerializedDocumentFilter, CompletionContext, MarkdownString, Range, Completion, CompletionResultDto, MarkerData, SignatureHelp, Hover, EvaluatableExpression, InlineValue, InlineValueContext, DocumentHighlight, FormattingOptions, ChainedCacheId, Definition, DocumentLink, CodeLensSymbol, Command, TextEdit, DocumentSymbol, ReferenceContext, TextDocumentShowOptions, WorkspaceRootsChangeEvent, Location, Breakpoint, ColorPresentation, RenameLocation, SignatureHelpContext, CodeAction, CodeActionContext, FoldingContext, FoldingRange, SelectionRange, SearchInWorkspaceResult, CallHierarchyItem, CallHierarchyIncomingCall, CallHierarchyOutgoingCall, Comment, CommentOptions, CommentThreadCollapsibleState, CommentThread, CommentThreadChangedEvent, CodeActionProviderDocumentation, LinkedEditingRanges, ProvidedTerminalLink, InlayHint, CachedSession, CachedSessionItem, TypeHierarchyItem, InlineCompletion, InlineCompletions, InlineCompletionContext } from './plugin-api-rpc-model';
9
+ import { ExtPluginApi } from './plugin-ext-api-contribution';
10
+ import { KeysToAnyValues, KeysToKeysToAnyValue } from './types';
11
+ import { AuthenticationProviderAuthenticationSessionsChangeEvent, CancellationToken, Progress, ProgressOptions } from '@theia/plugin';
12
+ import { DebuggerDescription } from '@theia/debug/lib/common/debug-service';
13
+ import { DebugProtocol } from '@vscode/debugprotocol';
14
+ import { SymbolInformation } from '@theia/core/shared/vscode-languageserver-protocol';
15
+ import { ArgumentProcessor } from '../plugin/command-registry';
16
+ import * as files from '@theia/filesystem/lib/common/files';
17
+ import { BinaryBuffer } from '@theia/core/lib/common/buffer';
18
+ import { ResourceLabelFormatter } from '@theia/core/lib/common/label-protocol';
19
+ import type { InternalTimelineOptions, Timeline, TimelineChangeEvent, TimelineProviderDescriptor } from '@theia/timeline/lib/common/timeline-model';
20
+ import { SerializableEnvironmentVariableCollection } from '@theia/terminal/lib/common/base-terminal-protocol';
21
+ import { ThemeType } from '@theia/core/lib/common/theme';
22
+ import { Disposable } from '@theia/core/lib/common/disposable';
23
+ import { PickOptions, QuickInputButtonHandle } from '@theia/core/lib/common';
24
+ import { Severity } from '@theia/core/lib/common/severity';
25
+ import { DebugConfiguration, DebugSessionOptions } from '@theia/debug/lib/common/debug-configuration';
26
+ export interface PreferenceData {
27
+ [scope: number]: any;
28
+ }
29
+ export interface Plugin {
30
+ pluginPath: string | undefined;
31
+ pluginFolder: string;
32
+ pluginUri: string;
33
+ model: PluginModel;
34
+ rawModel: PluginPackage;
35
+ lifecycle: PluginLifecycle;
36
+ isUnderDevelopment: boolean;
37
+ }
38
+ export interface ConfigStorage {
39
+ hostLogPath: string;
40
+ hostStoragePath?: string;
41
+ hostGlobalStoragePath: string;
42
+ }
43
+ export declare enum UIKind {
44
+ /**
45
+ * Extensions are accessed from a desktop application.
46
+ */
47
+ Desktop = 1,
48
+ /**
49
+ * Extensions are accessed from a web browser.
50
+ */
51
+ Web = 2
52
+ }
53
+ export interface EnvInit {
54
+ queryParams: QueryParameters;
55
+ language: string;
56
+ shell: string;
57
+ uiKind: UIKind;
58
+ appName: string;
59
+ appHost: string;
60
+ }
61
+ export interface PluginAPI {
62
+ }
63
+ export interface PluginManager {
64
+ getAllPlugins(): Plugin[];
65
+ getPluginById(pluginId: string): Plugin | undefined;
66
+ getPluginExport(pluginId: string): PluginAPI | undefined;
67
+ isRunning(pluginId: string): boolean;
68
+ isActive(pluginId: string): boolean;
69
+ activatePlugin(pluginId: string): PromiseLike<void>;
70
+ onDidChange: theia.Event<void>;
71
+ }
72
+ export interface PluginAPIFactory {
73
+ (plugin: Plugin): typeof theia;
74
+ }
75
+ export declare const emptyPlugin: Plugin;
76
+ export interface PluginManagerInitializeParams {
77
+ preferences: PreferenceData;
78
+ globalState: KeysToKeysToAnyValue;
79
+ workspaceState: KeysToKeysToAnyValue;
80
+ env: EnvInit;
81
+ extApi?: ExtPluginApi[];
82
+ webview: WebviewInitData;
83
+ jsonValidation: PluginJsonValidationContribution[];
84
+ }
85
+ export interface PluginManagerStartParams {
86
+ plugins: PluginMetadata[];
87
+ configStorage: ConfigStorage;
88
+ activationEvents: string[];
89
+ }
90
+ export interface PluginManagerExt {
91
+ /** initialize the manager, should be called only once */
92
+ $init(params: PluginManagerInitializeParams): Promise<void>;
93
+ /** load and activate plugins */
94
+ $start(params: PluginManagerStartParams): Promise<void>;
95
+ /** deactivate the plugin */
96
+ $stop(pluginId: string): Promise<void>;
97
+ /** deactivate all plugins */
98
+ $stop(): Promise<void>;
99
+ $updateStoragePath(path: string | undefined): Promise<void>;
100
+ $activateByEvent(event: string): Promise<void>;
101
+ $activatePlugin(id: string): Promise<void>;
102
+ }
103
+ export interface CommandRegistryMain {
104
+ $registerCommand(command: theia.CommandDescription): void;
105
+ $unregisterCommand(id: string): void;
106
+ $registerHandler(id: string): void;
107
+ $unregisterHandler(id: string): void;
108
+ $executeCommand<T>(id: string, ...args: any[]): PromiseLike<T | undefined>;
109
+ $getCommands(): PromiseLike<string[]>;
110
+ $getKeyBinding(commandId: string): PromiseLike<theia.CommandKeyBinding[] | undefined>;
111
+ }
112
+ export interface CommandRegistryExt {
113
+ $executeCommand<T>(id: string, ...ars: any[]): PromiseLike<T | undefined>;
114
+ registerArgumentProcessor(processor: ArgumentProcessor): void;
115
+ }
116
+ export interface TerminalServiceExt {
117
+ $startProfile(providerId: string, cancellationToken: theia.CancellationToken): Promise<string>;
118
+ $terminalCreated(id: string, name: string): void;
119
+ $terminalNameChanged(id: string, name: string): void;
120
+ $terminalOpened(id: string, processId: number, terminalId: number, cols: number, rows: number): void;
121
+ $terminalClosed(id: string, exitStatus: theia.TerminalExitStatus | undefined): void;
122
+ $terminalOnInput(id: string, data: string): void;
123
+ $terminalSizeChanged(id: string, cols: number, rows: number): void;
124
+ $currentTerminalChanged(id: string | undefined): void;
125
+ $terminalStateChanged(id: string): void;
126
+ $initEnvironmentVariableCollections(collections: [string, SerializableEnvironmentVariableCollection][]): void;
127
+ $provideTerminalLinks(line: string, terminalId: string, token: theia.CancellationToken): Promise<ProvidedTerminalLink[]>;
128
+ $handleTerminalLink(link: ProvidedTerminalLink): Promise<void>;
129
+ getEnvironmentVariableCollection(extensionIdentifier: string): theia.EnvironmentVariableCollection;
130
+ }
131
+ export interface OutputChannelRegistryExt {
132
+ createOutputChannel(name: string, pluginInfo: PluginInfo): theia.OutputChannel;
133
+ }
134
+ export interface ConnectionMain {
135
+ $createConnection(id: string): Promise<void>;
136
+ $deleteConnection(id: string): Promise<void>;
137
+ $sendMessage(id: string, message: string): void;
138
+ }
139
+ export interface ConnectionExt {
140
+ $createConnection(id: string): Promise<void>;
141
+ $deleteConnection(id: string): Promise<void>;
142
+ $sendMessage(id: string, message: string): void;
143
+ }
144
+ export interface TerminalServiceMain {
145
+ /**
146
+ * Create new Terminal with Terminal options.
147
+ * @param options - object with parameters to create new terminal.
148
+ */
149
+ $createTerminal(id: string, options: theia.TerminalOptions, parentId?: string, isPseudoTerminal?: boolean): Promise<string>;
150
+ /**
151
+ * Send text to the terminal by id.
152
+ * @param id - terminal widget id.
153
+ * @param text - text content.
154
+ * @param addNewLine - in case true - add new line after the text, otherwise - don't apply new line.
155
+ */
156
+ $sendText(id: string, text: string, addNewLine?: boolean): void;
157
+ /**
158
+ * Write data to the terminal by id.
159
+ * @param id - terminal widget id.
160
+ * @param data - data.
161
+ */
162
+ $write(id: string, data: string): void;
163
+ /**
164
+ * Resize the terminal by id.
165
+ * @param id - terminal widget id.
166
+ * @param cols - columns.
167
+ * @param rows - rows.
168
+ */
169
+ $resize(id: string, cols: number, rows: number): void;
170
+ /**
171
+ * Show terminal on the UI panel.
172
+ * @param id - terminal widget id.
173
+ * @param preserveFocus - set terminal focus in case true value, and don't set focus otherwise.
174
+ */
175
+ $show(id: string, preserveFocus?: boolean): void;
176
+ /**
177
+ * Hide UI panel where is located terminal widget.
178
+ * @param id - terminal widget id.
179
+ */
180
+ $hide(id: string): void;
181
+ /**
182
+ * Destroy terminal.
183
+ * @param id - terminal widget id.
184
+ */
185
+ $dispose(id: string): void;
186
+ /**
187
+ * Set the terminal widget name.
188
+ * @param id terminal widget id.
189
+ * @param name new terminal widget name.
190
+ */
191
+ $setName(id: string, name: string): void;
192
+ /**
193
+ * Send text to the terminal by id.
194
+ * @param id - terminal id.
195
+ * @param text - text content.
196
+ * @param addNewLine - in case true - add new line after the text, otherwise - don't apply new line.
197
+ */
198
+ $sendTextByTerminalId(id: number, text: string, addNewLine?: boolean): void;
199
+ /**
200
+ * Write data to the terminal by id.
201
+ * @param id - terminal id.
202
+ * @param data - data.
203
+ */
204
+ $writeByTerminalId(id: number, data: string): void;
205
+ /**
206
+ * Resize the terminal by id.
207
+ * @param id - terminal id.
208
+ * @param cols - columns.
209
+ * @param rows - rows.
210
+ */
211
+ $resizeByTerminalId(id: number, cols: number, rows: number): void;
212
+ /**
213
+ * Show terminal on the UI panel.
214
+ * @param id - terminal id.
215
+ * @param preserveFocus - set terminal focus in case true value, and don't set focus otherwise.
216
+ */
217
+ $showByTerminalId(id: number, preserveFocus?: boolean): void;
218
+ /**
219
+ * Hide UI panel where is located terminal widget.
220
+ * @param id - terminal id.
221
+ */
222
+ $hideByTerminalId(id: number): void;
223
+ /**
224
+ * Destroy terminal.
225
+ * @param id - terminal id.
226
+ * @param waitOnExit - Whether to wait for a key press before closing the terminal.
227
+ */
228
+ $disposeByTerminalId(id: number, waitOnExit?: boolean | string): void;
229
+ $setEnvironmentVariableCollection(extensionIdentifier: string, persistent: boolean, collection: SerializableEnvironmentVariableCollection | undefined): void;
230
+ /**
231
+ * Set the terminal widget name.
232
+ * @param id terminal id.
233
+ * @param name new terminal widget name.
234
+ */
235
+ $setNameByTerminalId(id: number, name: string): void;
236
+ /**
237
+ * Register a new terminal link provider.
238
+ * @param providerId id of the terminal link provider to be registered.
239
+ */
240
+ $registerTerminalLinkProvider(providerId: string): Promise<void>;
241
+ /**
242
+ * Unregister the terminal link provider with the specified id.
243
+ * @param providerId id of the terminal link provider to be unregistered.
244
+ */
245
+ $unregisterTerminalLinkProvider(providerId: string): Promise<void>;
246
+ }
247
+ export interface AutoFocus {
248
+ autoFocusFirstEntry?: boolean;
249
+ }
250
+ export declare enum MainMessageType {
251
+ Error = 0,
252
+ Warning = 1,
253
+ Info = 2
254
+ }
255
+ export interface MainMessageOptions {
256
+ detail?: string;
257
+ modal?: boolean;
258
+ onCloseActionHandle?: number;
259
+ }
260
+ export interface MainMessageItem {
261
+ title: string;
262
+ isCloseAffordance?: boolean;
263
+ handle?: number;
264
+ }
265
+ export interface MessageRegistryMain {
266
+ $showMessage(type: MainMessageType, message: string, options: MainMessageOptions, actions: MainMessageItem[]): PromiseLike<number | undefined>;
267
+ }
268
+ export interface StatusBarMessageRegistryMain {
269
+ $setMessage(id: string, name: string | undefined, text: string | undefined, priority: number, alignment: theia.StatusBarAlignment, color: string | undefined, backgroundColor: string | undefined, tooltip: string | theia.MarkdownString | undefined, command: string | undefined, accessibilityInformation: theia.AccessibilityInformation, args: any[] | undefined): PromiseLike<void>;
270
+ $dispose(id: string): void;
271
+ }
272
+ export declare type Item = string | theia.QuickPickItem;
273
+ export interface QuickOpenExt {
274
+ $onItemSelected(handle: number): void;
275
+ $validateInput(input: string): Promise<string | {
276
+ content: string;
277
+ severity: Severity;
278
+ } | null | undefined> | undefined;
279
+ $acceptOnDidAccept(sessionId: number): Promise<void>;
280
+ $acceptDidChangeValue(sessionId: number, changedValue: string): Promise<void>;
281
+ $acceptOnDidHide(sessionId: number): Promise<void>;
282
+ $acceptOnDidTriggerButton(sessionId: number, btn: QuickInputButtonHandle): Promise<void>;
283
+ $onDidTriggerItemButton(sessionId: number, itemHandle: number, buttonHandle: number): void;
284
+ $onDidChangeActive(sessionId: number, handles: number[]): void;
285
+ $onDidChangeSelection(sessionId: number, handles: number[]): void;
286
+ showQuickPick(itemsOrItemsPromise: Array<theia.QuickPickItem> | Promise<Array<theia.QuickPickItem>>, options: theia.QuickPickOptions & {
287
+ canPickMany: true;
288
+ }, token?: theia.CancellationToken): Promise<Array<theia.QuickPickItem> | undefined>;
289
+ showQuickPick(itemsOrItemsPromise: string[] | Promise<string[]>, options?: theia.QuickPickOptions, token?: theia.CancellationToken): Promise<string | undefined>;
290
+ showQuickPick(itemsOrItemsPromise: Array<theia.QuickPickItem> | Promise<Array<theia.QuickPickItem>>, options?: theia.QuickPickOptions, token?: theia.CancellationToken): Promise<theia.QuickPickItem | undefined>;
291
+ showQuickPick(itemsOrItemsPromise: Item[] | Promise<Item[]>, options?: theia.QuickPickOptions, token?: theia.CancellationToken): Promise<Item | Item[] | undefined>;
292
+ showInput(options?: theia.InputBoxOptions, token?: theia.CancellationToken): PromiseLike<string | undefined>;
293
+ createQuickPick<T extends theia.QuickPickItem>(plugin: Plugin): theia.QuickPick<T>;
294
+ createInputBox(plugin: Plugin): theia.InputBox;
295
+ }
296
+ /**
297
+ * Options to configure the behaviour of a file open dialog.
298
+ */
299
+ export interface OpenDialogOptionsMain {
300
+ /**
301
+ * Dialog title.
302
+ * This parameter might be ignored, as not all operating systems display a title on open dialogs.
303
+ */
304
+ title?: string;
305
+ /**
306
+ * The resource the dialog shows when opened.
307
+ */
308
+ defaultUri?: string;
309
+ /**
310
+ * A human-readable string for the open button.
311
+ */
312
+ openLabel?: string;
313
+ /**
314
+ * Allow to select files, defaults to `true`.
315
+ */
316
+ canSelectFiles?: boolean;
317
+ /**
318
+ * Allow to select folders, defaults to `false`.
319
+ */
320
+ canSelectFolders?: boolean;
321
+ /**
322
+ * Allow to select many files or folders.
323
+ */
324
+ canSelectMany?: boolean;
325
+ /**
326
+ * A set of file filters that are used by the dialog. Each entry is a human readable label,
327
+ * like "TypeScript", and an array of extensions, e.g.
328
+ * ```ts
329
+ * {
330
+ * 'Images': ['png', 'jpg']
331
+ * 'TypeScript': ['ts', 'tsx']
332
+ * }
333
+ * ```
334
+ */
335
+ filters?: {
336
+ [name: string]: string[];
337
+ };
338
+ }
339
+ /**
340
+ * Options to configure the behaviour of a file save dialog.
341
+ */
342
+ export interface SaveDialogOptionsMain {
343
+ /**
344
+ * Dialog title.
345
+ * This parameter might be ignored, as not all operating systems display a title on save dialogs.
346
+ */
347
+ title?: string;
348
+ /**
349
+ * The resource the dialog shows when opened.
350
+ */
351
+ defaultUri?: string;
352
+ /**
353
+ * A human-readable string for the save button.
354
+ */
355
+ saveLabel?: string;
356
+ /**
357
+ * A set of file filters that are used by the dialog. Each entry is a human readable label,
358
+ * like "TypeScript", and an array of extensions, e.g.
359
+ * ```ts
360
+ * {
361
+ * 'Images': ['png', 'jpg']
362
+ * 'TypeScript': ['ts', 'tsx']
363
+ * }
364
+ * ```
365
+ */
366
+ filters?: {
367
+ [name: string]: string[];
368
+ };
369
+ }
370
+ /**
371
+ * Options to configure the behaviour of a file upload dialog.
372
+ */
373
+ export interface UploadDialogOptionsMain {
374
+ /**
375
+ * The resource, where files should be uploaded.
376
+ */
377
+ defaultUri?: string;
378
+ }
379
+ export interface FileUploadResultMain {
380
+ uploaded: string[];
381
+ }
382
+ /**
383
+ * Options to configure the behaviour of the [workspace folder](#WorkspaceFolder) pick UI.
384
+ */
385
+ export interface WorkspaceFolderPickOptionsMain {
386
+ /**
387
+ * An optional string to show as place holder in the input box to guide the user what to pick on.
388
+ */
389
+ placeHolder?: string;
390
+ /**
391
+ * Set to `true` to keep the picker open when focus moves to another part of the editor or to another window.
392
+ */
393
+ ignoreFocusOut?: boolean;
394
+ }
395
+ export declare type TransferQuickPickItems = TransferQuickPickItemValue | TransferQuickPickSeparator;
396
+ export interface TransferQuickPickItemValue extends theia.QuickPickItem {
397
+ handle: number;
398
+ type?: 'item';
399
+ }
400
+ export interface TransferQuickPickSeparator extends theia.QuickPickItem {
401
+ handle: number;
402
+ type: 'separator';
403
+ }
404
+ export interface TransferQuickInputButton extends theia.QuickInputButton {
405
+ iconPath: theia.Uri | {
406
+ light: theia.Uri;
407
+ dark: theia.Uri;
408
+ } | ThemeIcon;
409
+ iconClass?: string;
410
+ handle?: number;
411
+ }
412
+ export declare type TransferQuickInput = TransferQuickPick | TransferInputBox;
413
+ export interface BaseTransferQuickInput {
414
+ [key: string]: any;
415
+ id: number;
416
+ type?: 'quickPick' | 'inputBox';
417
+ enabled?: boolean;
418
+ busy?: boolean;
419
+ visible?: boolean;
420
+ }
421
+ export interface TransferQuickPick extends BaseTransferQuickInput {
422
+ type?: 'quickPick';
423
+ value?: string;
424
+ placeholder?: string;
425
+ buttons?: TransferQuickInputButton[];
426
+ items?: TransferQuickPickItems[];
427
+ activeItems?: ReadonlyArray<theia.QuickPickItem>;
428
+ selectedItems?: ReadonlyArray<theia.QuickPickItem>;
429
+ canSelectMany?: boolean;
430
+ ignoreFocusOut?: boolean;
431
+ matchOnDescription?: boolean;
432
+ matchOnDetail?: boolean;
433
+ sortByLabel?: boolean;
434
+ }
435
+ export interface TransferInputBox extends BaseTransferQuickInput {
436
+ type?: 'inputBox';
437
+ value?: string;
438
+ placeholder?: string;
439
+ password?: boolean;
440
+ buttons?: TransferQuickInputButton[];
441
+ prompt?: string;
442
+ validationMessage?: string;
443
+ }
444
+ export interface IInputBoxOptions {
445
+ value?: string;
446
+ valueSelection?: [number, number];
447
+ prompt?: string;
448
+ placeHolder?: string;
449
+ password?: boolean;
450
+ ignoreFocusOut?: boolean;
451
+ }
452
+ export interface QuickOpenMain {
453
+ $show(instance: number, options: PickOptions<TransferQuickPickItemValue>, token: CancellationToken): Promise<number | number[] | undefined>;
454
+ $setItems(instance: number, items: TransferQuickPickItems[]): Promise<any>;
455
+ $setError(instance: number, error: Error): Promise<void>;
456
+ $input(options: theia.InputBoxOptions, validateInput: boolean, token: CancellationToken): Promise<string | undefined>;
457
+ $createOrUpdate<T extends theia.QuickPickItem>(params: TransferQuickInput): Promise<void>;
458
+ $dispose(id: number): Promise<void>;
459
+ $hide(): void;
460
+ $showInputBox(options: TransferInputBox, validateInput: boolean): Promise<string | undefined>;
461
+ }
462
+ export interface WorkspaceMain {
463
+ $pickWorkspaceFolder(options: WorkspaceFolderPickOptionsMain): Promise<theia.WorkspaceFolder | undefined>;
464
+ $startFileSearch(includePattern: string, includeFolder: string | undefined, excludePatternOrDisregardExcludes: string | false, maxResults: number | undefined, token: theia.CancellationToken): PromiseLike<UriComponents[]>;
465
+ $findTextInFiles(query: theia.TextSearchQuery, options: theia.FindTextInFilesOptions, searchRequestId: number, token?: theia.CancellationToken): Promise<theia.TextSearchComplete>;
466
+ $registerTextDocumentContentProvider(scheme: string): Promise<void>;
467
+ $unregisterTextDocumentContentProvider(scheme: string): void;
468
+ $onTextDocumentContentChange(uri: string, content: string): void;
469
+ $updateWorkspaceFolders(start: number, deleteCount?: number, ...rootsToAdd: string[]): Promise<void>;
470
+ $getWorkspace(): Promise<files.FileStat | undefined>;
471
+ $requestWorkspaceTrust(options?: theia.WorkspaceTrustRequestOptions): Promise<boolean | undefined>;
472
+ }
473
+ export interface WorkspaceExt {
474
+ $onWorkspaceFoldersChanged(event: WorkspaceRootsChangeEvent): void;
475
+ $onWorkspaceLocationChanged(event: files.FileStat | undefined): void;
476
+ $provideTextDocumentContent(uri: string): Promise<string | undefined | null>;
477
+ $onTextSearchResult(searchRequestId: number, done: boolean, result?: SearchInWorkspaceResult): void;
478
+ $onWorkspaceTrustChanged(trust: boolean | undefined): void;
479
+ }
480
+ export interface TimelineExt {
481
+ $getTimeline(source: string, uri: UriComponents, options: theia.TimelineOptions, internalOptions?: InternalTimelineOptions): Promise<Timeline | undefined>;
482
+ }
483
+ export interface TimelineMain {
484
+ $registerTimelineProvider(provider: TimelineProviderDescriptor): Promise<void>;
485
+ $fireTimelineChanged(e: TimelineChangeEvent): Promise<void>;
486
+ $unregisterTimelineProvider(source: string): Promise<void>;
487
+ }
488
+ export interface ThemingExt {
489
+ $onColorThemeChange(type: ThemeType): void;
490
+ }
491
+ export interface ThemingMain extends Disposable {
492
+ }
493
+ export interface DialogsMain {
494
+ $showOpenDialog(options: OpenDialogOptionsMain): Promise<string[] | undefined>;
495
+ $showSaveDialog(options: SaveDialogOptionsMain): Promise<string | undefined>;
496
+ $showUploadDialog(options: UploadDialogOptionsMain): Promise<string[] | undefined>;
497
+ }
498
+ export interface RegisterTreeDataProviderOptions {
499
+ canSelectMany?: boolean;
500
+ dragMimeTypes?: string[];
501
+ dropMimeTypes?: string[];
502
+ }
503
+ export interface TreeViewRevealOptions {
504
+ select: boolean;
505
+ focus: boolean;
506
+ expand: boolean | number;
507
+ }
508
+ export interface TreeViewsMain {
509
+ $registerTreeDataProvider(treeViewId: string, options?: RegisterTreeDataProviderOptions): void;
510
+ $readDroppedFile(contentId: string): Promise<BinaryBuffer>;
511
+ $unregisterTreeDataProvider(treeViewId: string): void;
512
+ $refresh(treeViewId: string): Promise<void>;
513
+ $reveal(treeViewId: string, elementParentChain: string[], options: TreeViewRevealOptions): Promise<any>;
514
+ $setMessage(treeViewId: string, message: string): void;
515
+ $setTitle(treeViewId: string, title: string): void;
516
+ $setDescription(treeViewId: string, description: string): void;
517
+ }
518
+ export declare class DataTransferFileDTO {
519
+ readonly name: string;
520
+ readonly contentId: string;
521
+ readonly uri?: UriComponents | undefined;
522
+ constructor(name: string, contentId: string, uri?: UriComponents | undefined);
523
+ static is(value: string | DataTransferFileDTO): value is DataTransferFileDTO;
524
+ }
525
+ export interface TreeViewsExt {
526
+ $dragStarted(treeViewId: string, treeItemIds: string[], token: CancellationToken): Promise<UriComponents[] | undefined>;
527
+ $drop(treeViewId: string, treeItemId: string | undefined, dataTransferItems: [string, string | DataTransferFileDTO][], token: CancellationToken): Promise<void>;
528
+ $getChildren(treeViewId: string, treeItemId: string | undefined): Promise<TreeViewItem[] | undefined>;
529
+ $hasResolveTreeItem(treeViewId: string): Promise<boolean>;
530
+ $resolveTreeItem(treeViewId: string, treeItemId: string, token: CancellationToken): Promise<TreeViewItem | undefined>;
531
+ $setExpanded(treeViewId: string, treeItemId: string, expanded: boolean): Promise<any>;
532
+ $setSelection(treeViewId: string, treeItemIds: string[]): Promise<void>;
533
+ $setVisible(treeViewId: string, visible: boolean): Promise<void>;
534
+ }
535
+ export interface TreeViewItem {
536
+ id: string;
537
+ label: string;
538
+ /** Label highlights given as tuples of inclusive start index and exclusive end index. */
539
+ highlights?: [number, number][];
540
+ description?: string | boolean;
541
+ icon?: string;
542
+ iconUrl?: IconUrl;
543
+ themeIcon?: ThemeIcon;
544
+ resourceUri?: UriComponents;
545
+ tooltip?: string | MarkdownString;
546
+ collapsibleState?: TreeViewItemCollapsibleState;
547
+ contextValue?: string;
548
+ command?: Command;
549
+ accessibilityInformation?: theia.AccessibilityInformation;
550
+ }
551
+ export interface TreeViewItemReference {
552
+ viewId: string;
553
+ itemId: string;
554
+ }
555
+ export declare namespace TreeViewItemReference {
556
+ function is(arg: unknown): arg is TreeViewItemReference;
557
+ }
558
+ /**
559
+ * Collapsible state of the tree item
560
+ */
561
+ export declare enum TreeViewItemCollapsibleState {
562
+ /**
563
+ * Determines an item can be neither collapsed nor expanded. Implies it has no children.
564
+ */
565
+ None = 0,
566
+ /**
567
+ * Determines an item is collapsed
568
+ */
569
+ Collapsed = 1,
570
+ /**
571
+ * Determines an item is expanded
572
+ */
573
+ Expanded = 2
574
+ }
575
+ export interface WindowMain {
576
+ $openUri(uri: UriComponents): Promise<boolean>;
577
+ $asExternalUri(uri: UriComponents): Promise<UriComponents>;
578
+ }
579
+ export interface WindowStateExt {
580
+ $onWindowStateChanged(focus: boolean): void;
581
+ }
582
+ export interface NotificationExt {
583
+ withProgress<R>(options: ProgressOptions, task: (progress: Progress<{
584
+ message?: string;
585
+ increment?: number;
586
+ }>, token: CancellationToken) => PromiseLike<R>): PromiseLike<R>;
587
+ $acceptProgressCanceled(progressId: string): void;
588
+ }
589
+ export interface ScmCommandArg {
590
+ sourceControlHandle: number;
591
+ resourceGroupHandle?: number;
592
+ resourceStateHandle?: number;
593
+ }
594
+ export declare namespace ScmCommandArg {
595
+ function is(arg: unknown): arg is ScmCommandArg;
596
+ }
597
+ export interface ScmExt {
598
+ createSourceControl(plugin: Plugin, id: string, label: string, rootUri?: theia.Uri): theia.SourceControl;
599
+ getLastInputBox(plugin: Plugin): theia.SourceControlInputBox | undefined;
600
+ $onInputBoxValueChange(sourceControlHandle: number, message: string): Promise<void>;
601
+ $executeResourceCommand(sourceControlHandle: number, groupHandle: number, resourceHandle: number): Promise<void>;
602
+ $validateInput(sourceControlHandle: number, value: string, cursorPosition: number): Promise<[string, number] | undefined>;
603
+ $setSelectedSourceControl(selectedSourceControlHandle: number | undefined): Promise<void>;
604
+ $provideOriginalResource(sourceControlHandle: number, uri: string, token: theia.CancellationToken): Promise<UriComponents | undefined>;
605
+ }
606
+ export declare namespace TimelineCommandArg {
607
+ function is(arg: unknown): arg is TimelineCommandArg;
608
+ }
609
+ export interface TimelineCommandArg {
610
+ timelineHandle: string;
611
+ source: string;
612
+ uri: string;
613
+ }
614
+ export interface DecorationRequest {
615
+ readonly id: number;
616
+ readonly uri: UriComponents;
617
+ }
618
+ export declare type DecorationData = [boolean, string, string, ThemeColor];
619
+ export interface DecorationReply {
620
+ [id: number]: DecorationData;
621
+ }
622
+ export declare namespace CommentsCommandArg {
623
+ function is(arg: unknown): arg is CommentsCommandArg;
624
+ }
625
+ export interface CommentsCommandArg {
626
+ commentControlHandle: number;
627
+ commentThreadHandle: number;
628
+ text: string;
629
+ }
630
+ export declare namespace CommentsContextCommandArg {
631
+ function is(arg: unknown): arg is CommentsContextCommandArg;
632
+ }
633
+ export interface CommentsContextCommandArg {
634
+ commentControlHandle: number;
635
+ commentThreadHandle: number;
636
+ commentUniqueId: number;
637
+ }
638
+ export declare namespace CommentsEditCommandArg {
639
+ function is(arg: unknown): arg is CommentsEditCommandArg;
640
+ }
641
+ export interface CommentsEditCommandArg {
642
+ commentControlHandle: number;
643
+ commentThreadHandle: number;
644
+ commentUniqueId: number;
645
+ text: string;
646
+ }
647
+ export interface DecorationsExt {
648
+ registerFileDecorationProvider(provider: theia.FileDecorationProvider, pluginInfo: PluginInfo): theia.Disposable;
649
+ $provideDecorations(handle: number, requests: DecorationRequest[], token: CancellationToken): Promise<DecorationReply>;
650
+ }
651
+ export interface DecorationsMain {
652
+ $registerDecorationProvider(handle: number): Promise<void>;
653
+ $unregisterDecorationProvider(handle: number): void;
654
+ $onDidChange(handle: number, resources: UriComponents[] | null): void;
655
+ }
656
+ export interface ScmMain {
657
+ $registerSourceControl(sourceControlHandle: number, id: string, label: string, rootUri?: UriComponents): Promise<void>;
658
+ $updateSourceControl(sourceControlHandle: number, features: SourceControlProviderFeatures): Promise<void>;
659
+ $unregisterSourceControl(sourceControlHandle: number): Promise<void>;
660
+ $registerGroups(sourceControlHandle: number, groups: ScmRawResourceGroup[], splices: ScmRawResourceSplices[]): void;
661
+ $updateGroup(sourceControlHandle: number, groupHandle: number, features: SourceControlGroupFeatures): void;
662
+ $updateGroupLabel(sourceControlHandle: number, groupHandle: number, label: string): void;
663
+ $unregisterGroup(sourceControlHandle: number, groupHandle: number): void;
664
+ $spliceResourceStates(sourceControlHandle: number, splices: ScmRawResourceSplices[]): void;
665
+ $setInputBoxValue(sourceControlHandle: number, value: string): void;
666
+ $setInputBoxPlaceholder(sourceControlHandle: number, placeholder: string): void;
667
+ $setInputBoxVisible(sourceControlHandle: number, visible: boolean): void;
668
+ $setInputBoxEnabled(sourceControlHandle: number, enabled: boolean): void;
669
+ }
670
+ export interface SourceControlProviderFeatures {
671
+ hasQuickDiffProvider?: boolean;
672
+ count?: number;
673
+ commitTemplate?: string;
674
+ acceptInputCommand?: Command;
675
+ statusBarCommands?: Command[];
676
+ }
677
+ export interface SourceControlGroupFeatures {
678
+ hideWhenEmpty: boolean | undefined;
679
+ }
680
+ export interface ScmRawResource {
681
+ handle: number;
682
+ sourceUri: UriComponents;
683
+ icons: UriComponents[];
684
+ tooltip: string;
685
+ strikeThrough: boolean;
686
+ faded: boolean;
687
+ contextValue: string;
688
+ command: Command | undefined;
689
+ }
690
+ export interface ScmRawResourceGroup {
691
+ handle: number;
692
+ id: string;
693
+ label: string;
694
+ features: SourceControlGroupFeatures;
695
+ }
696
+ export interface ScmRawResourceSplice {
697
+ start: number;
698
+ deleteCount: number;
699
+ rawResources: ScmRawResource[];
700
+ }
701
+ export interface ScmRawResourceSplices {
702
+ handle: number;
703
+ splices: ScmRawResourceSplice[];
704
+ }
705
+ export interface SourceControlResourceState {
706
+ readonly handle: number;
707
+ /**
708
+ * The uri of the underlying resource inside the workspace.
709
+ */
710
+ readonly resourceUri: string;
711
+ /**
712
+ * The command which should be run when the resource
713
+ * state is open in the Source Control viewlet.
714
+ */
715
+ readonly command?: Command;
716
+ /**
717
+ * The decorations for this source control
718
+ * resource state.
719
+ */
720
+ readonly decorations?: SourceControlResourceDecorations;
721
+ readonly letter?: string;
722
+ readonly colorId?: string;
723
+ }
724
+ /**
725
+ * The decorations for a [source control resource state](#SourceControlResourceState).
726
+ * Can be independently specified for light and dark themes.
727
+ */
728
+ export interface SourceControlResourceDecorations {
729
+ /**
730
+ * Whether the source control resource state should be striked-through in the UI.
731
+ */
732
+ readonly strikeThrough?: boolean;
733
+ /**
734
+ * Whether the source control resource state should be faded in the UI.
735
+ */
736
+ readonly faded?: boolean;
737
+ /**
738
+ * The title for a specific source control resource state.
739
+ */
740
+ readonly tooltip?: string;
741
+ /**
742
+ * The icon path for a specific source control resource state.
743
+ */
744
+ readonly iconPath?: string;
745
+ }
746
+ export interface NotificationMain {
747
+ $startProgress(options: NotificationMain.StartProgressOptions): Promise<string>;
748
+ $stopProgress(id: string): void;
749
+ $updateProgress(id: string, report: NotificationMain.ProgressReport): void;
750
+ }
751
+ export declare namespace NotificationMain {
752
+ interface StartProgressOptions {
753
+ title: string;
754
+ location?: string;
755
+ cancellable?: boolean;
756
+ }
757
+ interface ProgressReport {
758
+ message?: string;
759
+ increment?: number;
760
+ total?: number;
761
+ }
762
+ }
763
+ export declare enum EditorPosition {
764
+ ONE = 0,
765
+ TWO = 1,
766
+ THREE = 2,
767
+ FOUR = 3,
768
+ FIVE = 4,
769
+ SIX = 5,
770
+ SEVEN = 6,
771
+ EIGHT = 7,
772
+ NINE = 8
773
+ }
774
+ export interface Position {
775
+ readonly lineNumber: number;
776
+ readonly column: number;
777
+ }
778
+ export interface Selection {
779
+ /**
780
+ * The line number on which the selection has started.
781
+ */
782
+ readonly selectionStartLineNumber: number;
783
+ /**
784
+ * The column on `selectionStartLineNumber` where the selection has started.
785
+ */
786
+ readonly selectionStartColumn: number;
787
+ /**
788
+ * The line number on which the selection has ended.
789
+ */
790
+ readonly positionLineNumber: number;
791
+ /**
792
+ * The column on `positionLineNumber` where the selection has ended.
793
+ */
794
+ readonly positionColumn: number;
795
+ }
796
+ export interface TextEditorConfiguration {
797
+ tabSize: number;
798
+ insertSpaces: boolean;
799
+ cursorStyle: TextEditorCursorStyle;
800
+ lineNumbers: TextEditorLineNumbersStyle;
801
+ }
802
+ export interface TextEditorConfigurationUpdate {
803
+ tabSize?: number | 'auto';
804
+ insertSpaces?: boolean | 'auto';
805
+ cursorStyle?: TextEditorCursorStyle;
806
+ lineNumbers?: TextEditorLineNumbersStyle;
807
+ }
808
+ export declare enum TextEditorRevealType {
809
+ Default = 0,
810
+ InCenter = 1,
811
+ InCenterIfOutsideViewport = 2,
812
+ AtTop = 3
813
+ }
814
+ export interface SelectionChangeEvent {
815
+ selections: Selection[];
816
+ source?: string;
817
+ }
818
+ export interface EditorChangedPropertiesData {
819
+ options?: TextEditorConfiguration;
820
+ selections?: SelectionChangeEvent;
821
+ visibleRanges?: Range[];
822
+ }
823
+ export interface TextEditorPositionData {
824
+ [id: string]: EditorPosition;
825
+ }
826
+ export interface TextEditorsExt {
827
+ $acceptEditorPropertiesChanged(id: string, props: EditorChangedPropertiesData): void;
828
+ $acceptEditorPositionData(data: TextEditorPositionData): void;
829
+ }
830
+ export interface SingleEditOperation {
831
+ range?: Range;
832
+ text?: string;
833
+ forceMoveMarkers?: boolean;
834
+ }
835
+ export interface UndoStopOptions {
836
+ undoStopBefore: boolean;
837
+ undoStopAfter: boolean;
838
+ }
839
+ export interface ApplyEditsOptions extends UndoStopOptions {
840
+ setEndOfLine: EndOfLine;
841
+ }
842
+ export interface ThemeColor {
843
+ id: string;
844
+ }
845
+ export interface ThemeIcon {
846
+ id: string;
847
+ color?: ThemeColor;
848
+ }
849
+ /**
850
+ * Describes the behavior of decorations when typing/editing near their edges.
851
+ */
852
+ export declare enum TrackedRangeStickiness {
853
+ AlwaysGrowsWhenTypingAtEdges = 0,
854
+ NeverGrowsWhenTypingAtEdges = 1,
855
+ GrowsOnlyWhenTypingBefore = 2,
856
+ GrowsOnlyWhenTypingAfter = 3
857
+ }
858
+ export interface ContentDecorationRenderOptions {
859
+ contentText?: string;
860
+ contentIconPath?: UriComponents;
861
+ border?: string;
862
+ borderColor?: string | ThemeColor;
863
+ fontStyle?: string;
864
+ fontWeight?: string;
865
+ textDecoration?: string;
866
+ color?: string | ThemeColor;
867
+ backgroundColor?: string | ThemeColor;
868
+ margin?: string;
869
+ width?: string;
870
+ height?: string;
871
+ }
872
+ export interface ThemeDecorationRenderOptions {
873
+ backgroundColor?: string | ThemeColor;
874
+ outline?: string;
875
+ outlineColor?: string | ThemeColor;
876
+ outlineStyle?: string;
877
+ outlineWidth?: string;
878
+ border?: string;
879
+ borderColor?: string | ThemeColor;
880
+ borderRadius?: string;
881
+ borderSpacing?: string;
882
+ borderStyle?: string;
883
+ borderWidth?: string;
884
+ fontStyle?: string;
885
+ fontWeight?: string;
886
+ textDecoration?: string;
887
+ cursor?: string;
888
+ color?: string | ThemeColor;
889
+ opacity?: string;
890
+ letterSpacing?: string;
891
+ gutterIconPath?: UriComponents;
892
+ gutterIconSize?: string;
893
+ overviewRulerColor?: string | ThemeColor;
894
+ before?: ContentDecorationRenderOptions;
895
+ after?: ContentDecorationRenderOptions;
896
+ }
897
+ export interface DecorationRenderOptions extends ThemeDecorationRenderOptions {
898
+ isWholeLine?: boolean;
899
+ rangeBehavior?: TrackedRangeStickiness;
900
+ overviewRulerLane?: OverviewRulerLane;
901
+ light?: ThemeDecorationRenderOptions;
902
+ dark?: ThemeDecorationRenderOptions;
903
+ }
904
+ export interface ThemeDecorationInstanceRenderOptions {
905
+ before?: ContentDecorationRenderOptions;
906
+ after?: ContentDecorationRenderOptions;
907
+ }
908
+ export interface DecorationInstanceRenderOptions extends ThemeDecorationInstanceRenderOptions {
909
+ light?: ThemeDecorationInstanceRenderOptions;
910
+ dark?: ThemeDecorationInstanceRenderOptions;
911
+ }
912
+ export interface DecorationOptions {
913
+ range: Range;
914
+ hoverMessage?: MarkdownString | MarkdownString[];
915
+ renderOptions?: DecorationInstanceRenderOptions;
916
+ }
917
+ export interface TextEditorsMain {
918
+ $tryShowTextDocument(uri: UriComponents, options?: TextDocumentShowOptions): Promise<void>;
919
+ $registerTextEditorDecorationType(key: string, options: DecorationRenderOptions): void;
920
+ $removeTextEditorDecorationType(key: string): void;
921
+ $tryHideEditor(id: string): Promise<void>;
922
+ $trySetOptions(id: string, options: TextEditorConfigurationUpdate): Promise<void>;
923
+ $trySetDecorations(id: string, key: string, ranges: DecorationOptions[]): Promise<void>;
924
+ $trySetDecorationsFast(id: string, key: string, ranges: number[]): Promise<void>;
925
+ $tryRevealRange(id: string, range: Range, revealType: TextEditorRevealType): Promise<void>;
926
+ $trySetSelections(id: string, selections: Selection[]): Promise<void>;
927
+ $tryApplyEdits(id: string, modelVersionId: number, edits: SingleEditOperation[], opts: ApplyEditsOptions): Promise<boolean>;
928
+ $tryApplyWorkspaceEdit(workspaceEditDto: WorkspaceEditDto): Promise<boolean>;
929
+ $tryInsertSnippet(id: string, template: string, selections: Range[], opts: UndoStopOptions): Promise<boolean>;
930
+ $saveAll(includeUntitled?: boolean): Promise<boolean>;
931
+ }
932
+ export interface ModelAddedData {
933
+ uri: UriComponents;
934
+ versionId: number;
935
+ lines: string[];
936
+ EOL: string;
937
+ modeId: string;
938
+ isDirty: boolean;
939
+ }
940
+ export interface TextEditorAddData {
941
+ id: string;
942
+ documentUri: UriComponents;
943
+ options: TextEditorConfiguration;
944
+ selections: Selection[];
945
+ visibleRanges: Range[];
946
+ editorPosition?: EditorPosition;
947
+ }
948
+ export interface EditorsAndDocumentsDelta {
949
+ removedDocuments?: UriComponents[];
950
+ addedDocuments?: ModelAddedData[];
951
+ removedEditors?: string[];
952
+ addedEditors?: TextEditorAddData[];
953
+ /**
954
+ * undefined means no changes
955
+ * null means no active
956
+ * string means id of active
957
+ */
958
+ newActiveEditor?: string | null;
959
+ }
960
+ export interface EditorsAndDocumentsExt {
961
+ $acceptEditorsAndDocumentsDelta(delta: EditorsAndDocumentsDelta): void;
962
+ }
963
+ export interface ModelContentChange {
964
+ readonly range: Range;
965
+ readonly rangeOffset: number;
966
+ readonly rangeLength: number;
967
+ readonly text: string;
968
+ }
969
+ export interface ModelChangedEvent {
970
+ readonly changes: ModelContentChange[];
971
+ readonly eol: string;
972
+ readonly versionId: number;
973
+ readonly reason: TextDocumentChangeReason | undefined;
974
+ }
975
+ export interface DocumentsExt {
976
+ $acceptModelModeChanged(startUrl: UriComponents, oldModeId: string, newModeId: string): void;
977
+ $acceptModelSaved(strUrl: UriComponents): void;
978
+ $acceptModelWillSave(strUrl: UriComponents, reason: theia.TextDocumentSaveReason, saveTimeout: number): Promise<SingleEditOperation[]>;
979
+ $acceptDirtyStateChanged(strUrl: UriComponents, isDirty: boolean): void;
980
+ $acceptModelChanged(strUrl: UriComponents, e: ModelChangedEvent, isDirty: boolean): void;
981
+ }
982
+ export interface DocumentsMain {
983
+ $tryCreateDocument(options?: {
984
+ language?: string;
985
+ content?: string;
986
+ }): Promise<UriComponents>;
987
+ $tryShowDocument(uri: UriComponents, options?: TextDocumentShowOptions): Promise<void>;
988
+ $tryOpenDocument(uri: UriComponents): Promise<boolean>;
989
+ $trySaveDocument(uri: UriComponents): Promise<boolean>;
990
+ $tryCloseDocument(uri: UriComponents): Promise<boolean>;
991
+ }
992
+ export interface EnvMain {
993
+ $getEnvVariable(envVarName: string): Promise<string | undefined>;
994
+ $getClientOperatingSystem(): Promise<theia.OperatingSystem>;
995
+ }
996
+ export interface PreferenceRegistryMain {
997
+ $updateConfigurationOption(target: boolean | ConfigurationTarget | undefined, key: string, value: any, resource?: string, withLanguageOverride?: boolean): PromiseLike<void>;
998
+ $removeConfigurationOption(target: boolean | ConfigurationTarget | undefined, key: string, resource?: string, withLanguageOverride?: boolean): PromiseLike<void>;
999
+ }
1000
+ export interface PreferenceChangeExt {
1001
+ preferenceName: string;
1002
+ newValue: any;
1003
+ /**
1004
+ * The URI the folder affected, or undefined if User scope.
1005
+ */
1006
+ scope?: string;
1007
+ }
1008
+ export interface TerminalOptionsExt {
1009
+ attributes?: {
1010
+ [key: string]: string;
1011
+ };
1012
+ }
1013
+ export interface PreferenceRegistryExt {
1014
+ $acceptConfigurationChanged(data: {
1015
+ [key: string]: any;
1016
+ }, eventData: PreferenceChangeExt[]): void;
1017
+ }
1018
+ export interface OutputChannelRegistryMain {
1019
+ $append(channelName: string, value: string, pluginInfo: PluginInfo): PromiseLike<void>;
1020
+ $clear(channelName: string): PromiseLike<void>;
1021
+ $dispose(channelName: string): PromiseLike<void>;
1022
+ $reveal(channelName: string, preserveFocus: boolean): PromiseLike<void>;
1023
+ $close(channelName: string): PromiseLike<void>;
1024
+ }
1025
+ export declare type CharacterPair = [string, string];
1026
+ export interface CommentRule {
1027
+ lineComment?: string;
1028
+ blockComment?: CharacterPair;
1029
+ }
1030
+ export interface SerializedRegExp {
1031
+ pattern: string;
1032
+ flags?: string;
1033
+ }
1034
+ export interface SerializedIndentationRule {
1035
+ decreaseIndentPattern?: SerializedRegExp;
1036
+ increaseIndentPattern?: SerializedRegExp;
1037
+ indentNextLinePattern?: SerializedRegExp;
1038
+ unIndentedLinePattern?: SerializedRegExp;
1039
+ }
1040
+ export interface SerializedOnEnterRule {
1041
+ beforeText: SerializedRegExp;
1042
+ afterText?: SerializedRegExp;
1043
+ previousLineText?: SerializedRegExp;
1044
+ action: SerializedEnterAction;
1045
+ }
1046
+ export interface SerializedEnterAction {
1047
+ indentAction: IndentAction;
1048
+ outdentCurrentLine?: boolean;
1049
+ appendText?: string;
1050
+ removeText?: number;
1051
+ }
1052
+ export interface SerializedLanguageConfiguration {
1053
+ comments?: CommentRule;
1054
+ brackets?: CharacterPair[];
1055
+ wordPattern?: SerializedRegExp;
1056
+ indentationRules?: SerializedIndentationRule;
1057
+ onEnterRules?: SerializedOnEnterRule[];
1058
+ }
1059
+ export interface CodeActionDto {
1060
+ title: string;
1061
+ edit?: WorkspaceEditDto;
1062
+ diagnostics?: MarkerData[];
1063
+ command?: Command;
1064
+ kind?: string;
1065
+ isPreferred?: boolean;
1066
+ disabled?: string;
1067
+ }
1068
+ export interface WorkspaceEditMetadataDto {
1069
+ needsConfirmation: boolean;
1070
+ label: string;
1071
+ description?: string;
1072
+ iconPath?: {
1073
+ id: string;
1074
+ } | {
1075
+ light: UriComponents;
1076
+ dark: UriComponents;
1077
+ } | ThemeIcon;
1078
+ }
1079
+ export interface WorkspaceFileEditDto {
1080
+ oldResource?: UriComponents;
1081
+ newResource?: UriComponents;
1082
+ options?: FileOperationOptions;
1083
+ metadata?: WorkspaceEditMetadataDto;
1084
+ }
1085
+ export interface WorkspaceTextEditDto {
1086
+ resource: UriComponents;
1087
+ modelVersionId?: number;
1088
+ textEdit: TextEdit & {
1089
+ insertAsSnippet?: boolean;
1090
+ };
1091
+ metadata?: WorkspaceEditMetadataDto;
1092
+ }
1093
+ export declare namespace WorkspaceTextEditDto {
1094
+ function is(arg: WorkspaceTextEditDto | WorkspaceFileEditDto): arg is WorkspaceTextEditDto;
1095
+ }
1096
+ export interface WorkspaceEditDto {
1097
+ edits: Array<WorkspaceTextEditDto | WorkspaceFileEditDto>;
1098
+ }
1099
+ export interface CommandProperties {
1100
+ command: string;
1101
+ args?: string[];
1102
+ options?: {
1103
+ cwd?: string;
1104
+ [key: string]: any;
1105
+ };
1106
+ }
1107
+ export declare type TaskGroupKind = 'build' | 'test' | 'rebuild' | 'clean';
1108
+ export interface TaskDto {
1109
+ type: string;
1110
+ taskType?: 'shell' | 'process' | 'customExecution';
1111
+ executionId?: string;
1112
+ label: string;
1113
+ source?: string;
1114
+ scope: string | number;
1115
+ problemMatcher?: any;
1116
+ group?: {
1117
+ kind: TaskGroupKind;
1118
+ isDefault: boolean;
1119
+ };
1120
+ detail?: string;
1121
+ presentation?: TaskPresentationOptionsDTO;
1122
+ runOptions?: RunOptionsDTO;
1123
+ [key: string]: any;
1124
+ }
1125
+ export interface RunOptionsDTO {
1126
+ reevaluateOnRerun?: boolean;
1127
+ }
1128
+ export interface TaskPresentationOptionsDTO {
1129
+ reveal?: number;
1130
+ focus?: boolean;
1131
+ echo?: boolean;
1132
+ panel?: number;
1133
+ showReuseMessage?: boolean;
1134
+ clear?: boolean;
1135
+ }
1136
+ export interface TaskExecutionDto {
1137
+ id: number;
1138
+ task: TaskDto;
1139
+ }
1140
+ export interface ProcessTaskDto extends TaskDto, CommandProperties {
1141
+ windows?: CommandProperties;
1142
+ }
1143
+ export interface PluginInfo {
1144
+ id: string;
1145
+ name: string;
1146
+ displayName?: string;
1147
+ }
1148
+ export interface LanguageStatus {
1149
+ readonly id: string;
1150
+ readonly name: string;
1151
+ readonly selector: SerializedDocumentFilter[];
1152
+ readonly severity: Severity;
1153
+ readonly label: string;
1154
+ readonly detail: string;
1155
+ readonly busy: boolean;
1156
+ readonly source: string;
1157
+ readonly command: Command | undefined;
1158
+ readonly accessibilityInfo: theia.AccessibilityInformation | undefined;
1159
+ }
1160
+ export interface LanguagesExt {
1161
+ $provideCompletionItems(handle: number, resource: UriComponents, position: Position, context: CompletionContext, token: CancellationToken): Promise<CompletionResultDto | undefined>;
1162
+ $resolveCompletionItem(handle: number, chainedId: ChainedCacheId, token: CancellationToken): Promise<Completion | undefined>;
1163
+ $releaseCompletionItems(handle: number, id: number): void;
1164
+ $provideImplementation(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1165
+ $provideTypeDefinition(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1166
+ $provideDefinition(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1167
+ $provideDeclaration(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Definition | undefined>;
1168
+ $provideReferences(handle: number, resource: UriComponents, position: Position, context: ReferenceContext, token: CancellationToken): Promise<Location[] | undefined>;
1169
+ $provideSignatureHelp(handle: number, resource: UriComponents, position: Position, context: SignatureHelpContext, token: CancellationToken): Promise<SignatureHelp | undefined>;
1170
+ $releaseSignatureHelp(handle: number, id: number): void;
1171
+ $provideHover(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<Hover | undefined>;
1172
+ $provideEvaluatableExpression(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<EvaluatableExpression | undefined>;
1173
+ $provideInlineValues(handle: number, resource: UriComponents, range: Range, context: InlineValueContext, token: CancellationToken): Promise<InlineValue[] | undefined>;
1174
+ $provideDocumentHighlights(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<DocumentHighlight[] | undefined>;
1175
+ $provideDocumentFormattingEdits(handle: number, resource: UriComponents, options: FormattingOptions, token: CancellationToken): Promise<TextEdit[] | undefined>;
1176
+ $provideDocumentRangeFormattingEdits(handle: number, resource: UriComponents, range: Range, options: FormattingOptions, token: CancellationToken): Promise<TextEdit[] | undefined>;
1177
+ $provideOnTypeFormattingEdits(handle: number, resource: UriComponents, position: Position, ch: string, options: FormattingOptions, token: CancellationToken): Promise<TextEdit[] | undefined>;
1178
+ $provideDocumentLinks(handle: number, resource: UriComponents, token: CancellationToken): Promise<DocumentLink[] | undefined>;
1179
+ $resolveDocumentLink(handle: number, link: DocumentLink, token: CancellationToken): Promise<DocumentLink | undefined>;
1180
+ $releaseDocumentLinks(handle: number, ids: number[]): void;
1181
+ $provideCodeLenses(handle: number, resource: UriComponents, token: CancellationToken): Promise<CodeLensSymbol[] | undefined>;
1182
+ $resolveCodeLens(handle: number, resource: UriComponents, symbol: CodeLensSymbol, token: CancellationToken): Promise<CodeLensSymbol | undefined>;
1183
+ $releaseCodeLenses(handle: number, ids: number[]): void;
1184
+ $provideCodeActions(handle: number, resource: UriComponents, rangeOrSelection: Range | Selection, context: CodeActionContext, token: CancellationToken): Promise<CodeAction[] | undefined>;
1185
+ $releaseCodeActions(handle: number, cacheIds: number[]): void;
1186
+ $resolveCodeAction(handle: number, cacheId: number, token: CancellationToken): Promise<WorkspaceEditDto | undefined>;
1187
+ $provideDocumentSymbols(handle: number, resource: UriComponents, token: CancellationToken): Promise<DocumentSymbol[] | undefined>;
1188
+ $provideWorkspaceSymbols(handle: number, query: string, token: CancellationToken): PromiseLike<SymbolInformation[]>;
1189
+ $resolveWorkspaceSymbol(handle: number, symbol: SymbolInformation, token: CancellationToken): PromiseLike<SymbolInformation | undefined>;
1190
+ $provideFoldingRange(handle: number, resource: UriComponents, context: FoldingContext, token: CancellationToken): PromiseLike<FoldingRange[] | undefined>;
1191
+ $provideSelectionRanges(handle: number, resource: UriComponents, positions: Position[], token: CancellationToken): PromiseLike<SelectionRange[][]>;
1192
+ $provideDocumentColors(handle: number, resource: UriComponents, token: CancellationToken): PromiseLike<RawColorInfo[]>;
1193
+ $provideColorPresentations(handle: number, resource: UriComponents, colorInfo: RawColorInfo, token: CancellationToken): PromiseLike<ColorPresentation[]>;
1194
+ $provideInlayHints(handle: number, resource: UriComponents, range: Range, token: CancellationToken): Promise<InlayHintsDto | undefined>;
1195
+ $resolveInlayHint(handle: number, id: ChainedCacheId, token: CancellationToken): Promise<InlayHintDto | undefined>;
1196
+ $releaseInlayHints(handle: number, id: number): void;
1197
+ $provideRenameEdits(handle: number, resource: UriComponents, position: Position, newName: string, token: CancellationToken): PromiseLike<WorkspaceEditDto | undefined>;
1198
+ $resolveRenameLocation(handle: number, resource: UriComponents, position: Position, token: CancellationToken): PromiseLike<RenameLocation | undefined>;
1199
+ $provideDocumentSemanticTokens(handle: number, resource: UriComponents, previousResultId: number, token: CancellationToken): Promise<BinaryBuffer | null>;
1200
+ $releaseDocumentSemanticTokens(handle: number, semanticColoringResultId: number): void;
1201
+ $provideDocumentRangeSemanticTokens(handle: number, resource: UriComponents, range: Range, token: CancellationToken): Promise<BinaryBuffer | null>;
1202
+ $provideRootDefinition(handle: number, resource: UriComponents, location: Position, token: CancellationToken): Promise<CallHierarchyItem[] | undefined>;
1203
+ $provideCallers(handle: number, definition: CallHierarchyItem, token: CancellationToken): Promise<CallHierarchyIncomingCall[] | undefined>;
1204
+ $provideCallees(handle: number, definition: CallHierarchyItem, token: CancellationToken): Promise<CallHierarchyOutgoingCall[] | undefined>;
1205
+ $provideLinkedEditingRanges(handle: number, resource: UriComponents, position: Position, token: CancellationToken): Promise<LinkedEditingRanges | undefined>;
1206
+ $releaseCallHierarchy(handle: number, session?: string): Promise<boolean>;
1207
+ $prepareTypeHierarchy(handle: number, resource: UriComponents, location: Position, token: theia.CancellationToken): Promise<TypeHierarchyItem[] | undefined>;
1208
+ $provideSuperTypes(handle: number, sessionId: string, itemId: string, token: theia.CancellationToken): Promise<TypeHierarchyItem[] | undefined>;
1209
+ $provideSubTypes(handle: number, sessionId: string, itemId: string, token: theia.CancellationToken): Promise<TypeHierarchyItem[] | undefined>;
1210
+ $releaseTypeHierarchy(handle: number, session?: string): Promise<boolean>;
1211
+ $provideInlineCompletions(handle: number, resource: UriComponents, position: Position, context: InlineCompletionContext, token: CancellationToken): Promise<IdentifiableInlineCompletions | undefined>;
1212
+ $freeInlineCompletionsList(handle: number, pid: number): void;
1213
+ }
1214
+ export declare const LanguagesMainFactory: unique symbol;
1215
+ export interface LanguagesMainFactory {
1216
+ (proxy: RPCProtocol): LanguagesMain;
1217
+ }
1218
+ export declare const OutputChannelRegistryFactory: unique symbol;
1219
+ export interface OutputChannelRegistryFactory {
1220
+ (): OutputChannelRegistryMain;
1221
+ }
1222
+ export interface LanguagesMain {
1223
+ $getLanguages(): Promise<string[]>;
1224
+ $changeLanguage(resource: UriComponents, languageId: string): Promise<void>;
1225
+ $setLanguageConfiguration(handle: number, languageId: string, configuration: SerializedLanguageConfiguration): void;
1226
+ $unregister(handle: number): void;
1227
+ $registerCompletionSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], triggerCharacters: string[], supportsResolveDetails: boolean): void;
1228
+ $registerImplementationProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1229
+ $registerTypeDefinitionProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1230
+ $registerDefinitionProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1231
+ $registerDeclarationProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1232
+ $registerReferenceProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1233
+ $registerSignatureHelpProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], metadata: theia.SignatureHelpProviderMetadata): void;
1234
+ $registerHoverProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1235
+ $registerEvaluatableExpressionProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1236
+ $registerInlineValuesProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1237
+ $emitInlineValuesEvent(eventHandle: number, event?: any): void;
1238
+ $registerDocumentHighlightProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1239
+ $registerQuickFixProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], codeActionKinds?: string[], documentation?: CodeActionProviderDocumentation): void;
1240
+ $clearDiagnostics(id: string): void;
1241
+ $changeDiagnostics(id: string, delta: [string, MarkerData[]][]): void;
1242
+ $registerDocumentFormattingSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1243
+ $registerRangeFormattingSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1244
+ $registerOnTypeFormattingProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], autoFormatTriggerCharacters: string[]): void;
1245
+ $registerDocumentLinkProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1246
+ $registerCodeLensSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], eventHandle?: number): void;
1247
+ $emitCodeLensEvent(eventHandle: number, event?: any): void;
1248
+ $registerOutlineSupport(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], displayName?: string): void;
1249
+ $registerWorkspaceSymbolProvider(handle: number, pluginInfo: PluginInfo): void;
1250
+ $registerFoldingRangeProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], eventHandle?: number): void;
1251
+ $emitFoldingRangeEvent(handle: number, event?: any): void;
1252
+ $registerSelectionRangeProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1253
+ $registerDocumentColorProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[]): void;
1254
+ $registerInlayHintsProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], displayName?: string, eventHandle?: number): void;
1255
+ $emitInlayHintsEvent(eventHandle: number, event?: any): void;
1256
+ $registerRenameProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], supportsResolveInitialValues: boolean): void;
1257
+ $registerDocumentSemanticTokensProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], legend: theia.SemanticTokensLegend, eventHandle: number | undefined): void;
1258
+ $emitDocumentSemanticTokensEvent(eventHandle: number): void;
1259
+ $registerDocumentRangeSemanticTokensProvider(handle: number, pluginInfo: PluginInfo, selector: SerializedDocumentFilter[], legend: theia.SemanticTokensLegend): void;
1260
+ $registerCallHierarchyProvider(handle: number, selector: SerializedDocumentFilter[]): void;
1261
+ $registerLinkedEditingRangeProvider(handle: number, selector: SerializedDocumentFilter[]): void;
1262
+ $registerTypeHierarchyProvider(handle: number, selector: SerializedDocumentFilter[]): void;
1263
+ $setLanguageStatus(handle: number, status: LanguageStatus): void;
1264
+ $removeLanguageStatus(handle: number): void;
1265
+ $registerInlineCompletionsSupport(handle: number, selector: SerializedDocumentFilter[]): void;
1266
+ }
1267
+ export interface WebviewInitData {
1268
+ webviewResourceRoot: string;
1269
+ webviewCspSource: string;
1270
+ }
1271
+ export interface WebviewPanelViewState {
1272
+ readonly active: boolean;
1273
+ readonly visible: boolean;
1274
+ readonly position: number;
1275
+ }
1276
+ export interface WebviewsExt {
1277
+ $onMessage(handle: string, message: any): void;
1278
+ $onDidChangeWebviewPanelViewState(handle: string, newState: WebviewPanelViewState): void;
1279
+ $onDidDisposeWebviewPanel(handle: string): PromiseLike<void>;
1280
+ $deserializeWebviewPanel(newWebviewHandle: string, viewType: string, title: string, state: any, viewState: WebviewPanelViewState, options: theia.WebviewOptions & theia.WebviewPanelOptions): PromiseLike<void>;
1281
+ }
1282
+ export interface WebviewsMain {
1283
+ $createWebviewPanel(handle: string, viewType: string, title: string, showOptions: theia.WebviewPanelShowOptions, options: theia.WebviewPanelOptions & theia.WebviewOptions): void;
1284
+ $disposeWebview(handle: string): void;
1285
+ $reveal(handle: string, showOptions: theia.WebviewPanelShowOptions): void;
1286
+ $setTitle(handle: string, value: string): void;
1287
+ $setIconPath(handle: string, value: IconUrl | undefined): void;
1288
+ $setHtml(handle: string, value: string): void;
1289
+ $setOptions(handle: string, options: theia.WebviewOptions): void;
1290
+ $postMessage(handle: string, value: any): Thenable<boolean>;
1291
+ $registerSerializer(viewType: string): void;
1292
+ $unregisterSerializer(viewType: string): void;
1293
+ }
1294
+ export interface WebviewViewsExt {
1295
+ $resolveWebviewView(handle: string, viewType: string, title: string | undefined, state: any, cancellation: CancellationToken): Promise<void>;
1296
+ $onDidChangeWebviewViewVisibility(handle: string, visible: boolean): void;
1297
+ $disposeWebviewView(handle: string): void;
1298
+ }
1299
+ export interface WebviewViewsMain extends Disposable {
1300
+ $registerWebviewViewProvider(viewType: string, options: {
1301
+ retainContextWhenHidden?: boolean;
1302
+ serializeBuffersForPostMessage: boolean;
1303
+ }): void;
1304
+ $unregisterWebviewViewProvider(viewType: string): void;
1305
+ $setWebviewViewTitle(handle: string, value: string | undefined): void;
1306
+ $setWebviewViewDescription(handle: string, value: string | undefined): void;
1307
+ $show(handle: string, preserveFocus: boolean): void;
1308
+ }
1309
+ export interface CustomEditorsExt {
1310
+ $resolveWebviewEditor<T>(resource: UriComponents, newWebviewHandle: string, viewType: string, title: string, widgetOpenerOptions: T | undefined, options: theia.WebviewPanelOptions, cancellation: CancellationToken): Promise<void>;
1311
+ $createCustomDocument(resource: UriComponents, viewType: string, openContext: theia.CustomDocumentOpenContext, cancellation: CancellationToken): Promise<{
1312
+ editable: boolean;
1313
+ }>;
1314
+ $disposeCustomDocument(resource: UriComponents, viewType: string): Promise<void>;
1315
+ $undo(resource: UriComponents, viewType: string, editId: number, isDirty: boolean): Promise<void>;
1316
+ $redo(resource: UriComponents, viewType: string, editId: number, isDirty: boolean): Promise<void>;
1317
+ $revert(resource: UriComponents, viewType: string, cancellation: CancellationToken): Promise<void>;
1318
+ $disposeEdits(resourceComponents: UriComponents, viewType: string, editIds: number[]): void;
1319
+ $onSave(resource: UriComponents, viewType: string, cancellation: CancellationToken): Promise<void>;
1320
+ $onSaveAs(resource: UriComponents, viewType: string, targetResource: UriComponents, cancellation: CancellationToken): Promise<void>;
1321
+ $onMoveCustomEditor(handle: string, newResource: UriComponents, viewType: string): Promise<void>;
1322
+ }
1323
+ export interface CustomTextEditorCapabilities {
1324
+ readonly supportsMove?: boolean;
1325
+ }
1326
+ export interface CustomEditorsMain {
1327
+ $registerTextEditorProvider(viewType: string, options: theia.WebviewPanelOptions, capabilities: CustomTextEditorCapabilities): void;
1328
+ $registerCustomEditorProvider(viewType: string, options: theia.WebviewPanelOptions, supportsMultipleEditorsPerDocument: boolean): void;
1329
+ $unregisterEditorProvider(viewType: string): void;
1330
+ $createCustomEditorPanel<T>(handle: string, title: string, widgetOpenerOptions: T | undefined, options: theia.WebviewPanelOptions & theia.WebviewOptions): Promise<void>;
1331
+ $onDidEdit(resource: UriComponents, viewType: string, editId: number, label: string | undefined): void;
1332
+ $onContentChange(resource: UriComponents, viewType: string): void;
1333
+ }
1334
+ export interface StorageMain {
1335
+ $set(key: string, value: KeysToAnyValues, isGlobal: boolean): Promise<boolean>;
1336
+ $get(key: string, isGlobal: boolean): Promise<KeysToAnyValues>;
1337
+ $getAll(isGlobal: boolean): Promise<KeysToKeysToAnyValue>;
1338
+ }
1339
+ export interface StorageExt {
1340
+ $updatePluginsWorkspaceData(data: KeysToKeysToAnyValue): void;
1341
+ }
1342
+ /**
1343
+ * A DebugConfigurationProviderTriggerKind specifies when the `provideDebugConfigurations` method of a `DebugConfigurationProvider` should be called.
1344
+ * Currently there are two situations:
1345
+ * (1) providing debug configurations to populate a newly created `launch.json`
1346
+ * (2) providing dynamically generated configurations when the user asks for them through the UI (e.g. via the "Select and Start Debugging" command).
1347
+ * A trigger kind is used when registering a `DebugConfigurationProvider` with {@link debug.registerDebugConfigurationProvider}.
1348
+ */
1349
+ export declare enum DebugConfigurationProviderTriggerKind {
1350
+ /**
1351
+ * `DebugConfigurationProvider.provideDebugConfigurations` is called to provide the initial debug
1352
+ * configurations for a newly created launch.json.
1353
+ */
1354
+ Initial = 1,
1355
+ /**
1356
+ * `DebugConfigurationProvider.provideDebugConfigurations` is called to provide dynamically generated debug configurations when the user asks for them through the UI
1357
+ * (e.g. via the "Select and Start Debugging" command).
1358
+ */
1359
+ Dynamic = 2
1360
+ }
1361
+ export interface DebugConfigurationProvider {
1362
+ readonly handle: number;
1363
+ readonly type: string;
1364
+ readonly triggerKind: DebugConfigurationProviderTriggerKind;
1365
+ provideDebugConfigurations?(folder: string | undefined): Promise<theia.DebugConfiguration[]>;
1366
+ resolveDebugConfiguration?(folder: string | undefined, debugConfiguration: theia.DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1367
+ resolveDebugConfigurationWithSubstitutedVariables?(folder: string | undefined, debugConfiguration: theia.DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1368
+ }
1369
+ export interface DebugConfigurationProviderDescriptor {
1370
+ readonly handle: number;
1371
+ readonly type: string;
1372
+ readonly trigger: DebugConfigurationProviderTriggerKind;
1373
+ readonly provideDebugConfiguration: boolean;
1374
+ readonly resolveDebugConfigurations: boolean;
1375
+ readonly resolveDebugConfigurationWithSubstitutedVariables: boolean;
1376
+ }
1377
+ export interface DebugExt {
1378
+ $onSessionCustomEvent(sessionId: string, event: string, body?: any): void;
1379
+ $breakpointsDidChange(added: Breakpoint[], removed: string[], changed: Breakpoint[]): void;
1380
+ $sessionDidCreate(sessionId: string): void;
1381
+ $sessionDidStart(sessionId: string): void;
1382
+ $sessionDidDestroy(sessionId: string): void;
1383
+ $sessionDidChange(sessionId: string | undefined): void;
1384
+ $provideDebugConfigurationsByHandle(handle: number, workspaceFolder: string | undefined): Promise<theia.DebugConfiguration[]>;
1385
+ $resolveDebugConfigurationByHandle(handle: number, workspaceFolder: string | undefined, debugConfiguration: theia.DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1386
+ $resolveDebugConfigurationWithSubstitutedVariablesByHandle(handle: number, workspaceFolder: string | undefined, debugConfiguration: DebugConfiguration): Promise<theia.DebugConfiguration | undefined | null>;
1387
+ $createDebugSession(debugConfiguration: DebugConfiguration, workspaceFolder: string | undefined): Promise<string>;
1388
+ $terminateDebugSession(sessionId: string): Promise<void>;
1389
+ $getTerminalCreationOptions(debugType: string): Promise<TerminalOptionsExt | undefined>;
1390
+ }
1391
+ export interface DebugMain {
1392
+ $appendToDebugConsole(value: string): Promise<void>;
1393
+ $appendLineToDebugConsole(value: string): Promise<void>;
1394
+ $registerDebuggerContribution(description: DebuggerDescription): Promise<void>;
1395
+ $unregisterDebuggerConfiguration(debugType: string): Promise<void>;
1396
+ $registerDebugConfigurationProvider(description: DebugConfigurationProviderDescriptor): void;
1397
+ $unregisterDebugConfigurationProvider(handle: number): Promise<void>;
1398
+ $addBreakpoints(breakpoints: Breakpoint[]): Promise<void>;
1399
+ $removeBreakpoints(breakpoints: string[]): Promise<void>;
1400
+ $startDebugging(folder: theia.WorkspaceFolder | undefined, nameOrConfiguration: string | theia.DebugConfiguration, options: DebugSessionOptions): Promise<boolean>;
1401
+ $stopDebugging(sessionId?: string): Promise<void>;
1402
+ $customRequest(sessionId: string, command: string, args?: any): Promise<DebugProtocol.Response>;
1403
+ $getDebugProtocolBreakpoint(sessionId: string, breakpointId: string): Promise<theia.DebugProtocolBreakpoint | undefined>;
1404
+ }
1405
+ export interface FileSystemExt {
1406
+ $acceptProviderInfos(scheme: string, capabilities?: files.FileSystemProviderCapabilities): void;
1407
+ $stat(handle: number, resource: UriComponents): Promise<files.Stat>;
1408
+ $readdir(handle: number, resource: UriComponents): Promise<[string, files.FileType][]>;
1409
+ $readFile(handle: number, resource: UriComponents): Promise<BinaryBuffer>;
1410
+ $writeFile(handle: number, resource: UriComponents, content: BinaryBuffer, opts: files.FileWriteOptions): Promise<void>;
1411
+ $rename(handle: number, resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1412
+ $copy(handle: number, resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1413
+ $mkdir(handle: number, resource: UriComponents): Promise<void>;
1414
+ $delete(handle: number, resource: UriComponents, opts: files.FileDeleteOptions): Promise<void>;
1415
+ $watch(handle: number, session: number, resource: UriComponents, opts: files.WatchOptions): void;
1416
+ $unwatch(handle: number, session: number): void;
1417
+ $open(handle: number, resource: UriComponents, opts: files.FileOpenOptions): Promise<number>;
1418
+ $close(handle: number, fd: number): Promise<void>;
1419
+ $read(handle: number, fd: number, pos: number, length: number): Promise<BinaryBuffer>;
1420
+ $write(handle: number, fd: number, pos: number, data: BinaryBuffer): Promise<number>;
1421
+ }
1422
+ export interface IFileChangeDto {
1423
+ resource: UriComponents;
1424
+ type: files.FileChangeType;
1425
+ }
1426
+ export interface FileSystemMain {
1427
+ $registerFileSystemProvider(handle: number, scheme: string, capabilities: files.FileSystemProviderCapabilities): void;
1428
+ $unregisterProvider(handle: number): void;
1429
+ $onFileSystemChange(handle: number, resource: IFileChangeDto[]): void;
1430
+ $stat(uri: UriComponents): Promise<files.Stat>;
1431
+ $readdir(resource: UriComponents): Promise<[string, files.FileType][]>;
1432
+ $readFile(resource: UriComponents): Promise<BinaryBuffer>;
1433
+ $writeFile(resource: UriComponents, content: BinaryBuffer): Promise<void>;
1434
+ $rename(resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1435
+ $copy(resource: UriComponents, target: UriComponents, opts: files.FileOverwriteOptions): Promise<void>;
1436
+ $mkdir(resource: UriComponents): Promise<void>;
1437
+ $delete(resource: UriComponents, opts: files.FileDeleteOptions): Promise<void>;
1438
+ }
1439
+ export interface FileSystemEvents {
1440
+ created: UriComponents[];
1441
+ changed: UriComponents[];
1442
+ deleted: UriComponents[];
1443
+ }
1444
+ export interface ExtHostFileSystemEventServiceShape {
1445
+ $onFileEvent(events: FileSystemEvents): void;
1446
+ $onWillRunFileOperation(operation: files.FileOperation, target: UriComponents, source: UriComponents | undefined, timeout: number, token: CancellationToken): Promise<any>;
1447
+ $onDidRunFileOperation(operation: files.FileOperation, target: UriComponents, source: UriComponents | undefined): void;
1448
+ }
1449
+ export interface ClipboardMain {
1450
+ $readText(): Promise<string>;
1451
+ $writeText(value: string): Promise<void>;
1452
+ }
1453
+ export interface CommentsExt {
1454
+ $createCommentThreadTemplate(commentControllerHandle: number, uriComponents: UriComponents, range: Range): void;
1455
+ $updateCommentThreadTemplate(commentControllerHandle: number, threadHandle: number, range: Range): Promise<void>;
1456
+ $deleteCommentThread(commentControllerHandle: number, commentThreadHandle: number): Promise<void>;
1457
+ $provideCommentingRanges(commentControllerHandle: number, uriComponents: UriComponents, token: CancellationToken): Promise<Range[] | undefined>;
1458
+ }
1459
+ export interface CommentProviderFeatures {
1460
+ options?: CommentOptions;
1461
+ }
1462
+ export declare type CommentThreadChanges = Partial<{
1463
+ range: Range;
1464
+ label: string;
1465
+ contextValue: string;
1466
+ comments: Comment[];
1467
+ collapseState: CommentThreadCollapsibleState;
1468
+ canReply: boolean;
1469
+ }>;
1470
+ export interface CommentsMain {
1471
+ $registerCommentController(handle: number, id: string, label: string): void;
1472
+ $unregisterCommentController(handle: number): void;
1473
+ $updateCommentControllerFeatures(handle: number, features: CommentProviderFeatures): void;
1474
+ $createCommentThread(handle: number, commentThreadHandle: number, threadId: string, resource: UriComponents, range: Range, extensionId: string): CommentThread | undefined;
1475
+ $updateCommentThread(handle: number, commentThreadHandle: number, threadId: string, resource: UriComponents, changes: CommentThreadChanges): void;
1476
+ $deleteCommentThread(handle: number, commentThreadHandle: number): void;
1477
+ $onDidCommentThreadsChange(handle: number, event: CommentThreadChangedEvent): void;
1478
+ }
1479
+ export declare const enum TabInputKind {
1480
+ UnknownInput = 0,
1481
+ TextInput = 1,
1482
+ TextDiffInput = 2,
1483
+ TextMergeInput = 3,
1484
+ NotebookInput = 4,
1485
+ NotebookDiffInput = 5,
1486
+ CustomEditorInput = 6,
1487
+ WebviewEditorInput = 7,
1488
+ TerminalEditorInput = 8,
1489
+ InteractiveEditorInput = 9
1490
+ }
1491
+ export interface UnknownInputDto {
1492
+ kind: TabInputKind.UnknownInput;
1493
+ }
1494
+ export interface TextInputDto {
1495
+ kind: TabInputKind.TextInput;
1496
+ uri: UriComponents;
1497
+ }
1498
+ export interface TextDiffInputDto {
1499
+ kind: TabInputKind.TextDiffInput;
1500
+ original: UriComponents;
1501
+ modified: UriComponents;
1502
+ }
1503
+ export interface TextMergeInputDto {
1504
+ kind: TabInputKind.TextMergeInput;
1505
+ base: UriComponents;
1506
+ input1: UriComponents;
1507
+ input2: UriComponents;
1508
+ result: UriComponents;
1509
+ }
1510
+ export interface NotebookInputDto {
1511
+ kind: TabInputKind.NotebookInput;
1512
+ notebookType: string;
1513
+ uri: UriComponents;
1514
+ }
1515
+ export interface NotebookDiffInputDto {
1516
+ kind: TabInputKind.NotebookDiffInput;
1517
+ notebookType: string;
1518
+ original: UriComponents;
1519
+ modified: UriComponents;
1520
+ }
1521
+ export interface CustomInputDto {
1522
+ kind: TabInputKind.CustomEditorInput;
1523
+ viewType: string;
1524
+ uri: UriComponents;
1525
+ }
1526
+ export interface WebviewInputDto {
1527
+ kind: TabInputKind.WebviewEditorInput;
1528
+ viewType: string;
1529
+ }
1530
+ export interface InteractiveEditorInputDto {
1531
+ kind: TabInputKind.InteractiveEditorInput;
1532
+ uri: UriComponents;
1533
+ inputBoxUri: UriComponents;
1534
+ }
1535
+ export interface TabInputDto {
1536
+ kind: TabInputKind.TerminalEditorInput;
1537
+ }
1538
+ export declare type EditorGroupColumn = number;
1539
+ export declare type AnyInputDto = UnknownInputDto | TextInputDto | TextDiffInputDto | TextMergeInputDto | NotebookInputDto | NotebookDiffInputDto | CustomInputDto | WebviewInputDto | InteractiveEditorInputDto | TabInputDto;
1540
+ export interface TabGroupDto {
1541
+ isActive: boolean;
1542
+ viewColumn: EditorGroupColumn;
1543
+ tabs: TabDto[];
1544
+ groupId: number;
1545
+ }
1546
+ export declare const enum TabModelOperationKind {
1547
+ TAB_OPEN = 0,
1548
+ TAB_CLOSE = 1,
1549
+ TAB_UPDATE = 2,
1550
+ TAB_MOVE = 3
1551
+ }
1552
+ export interface TabOperation {
1553
+ readonly kind: TabModelOperationKind.TAB_OPEN | TabModelOperationKind.TAB_CLOSE | TabModelOperationKind.TAB_UPDATE | TabModelOperationKind.TAB_MOVE;
1554
+ readonly index: number;
1555
+ readonly tabDto: TabDto;
1556
+ readonly groupId: number;
1557
+ readonly oldIndex?: number;
1558
+ }
1559
+ export interface TabDto {
1560
+ id: string;
1561
+ label: string;
1562
+ input: AnyInputDto;
1563
+ editorId?: string;
1564
+ isActive: boolean;
1565
+ isPinned: boolean;
1566
+ isPreview: boolean;
1567
+ isDirty: boolean;
1568
+ }
1569
+ export interface TabsExt {
1570
+ $acceptEditorTabModel(tabGroups: TabGroupDto[]): void;
1571
+ $acceptTabGroupUpdate(groupDto: TabGroupDto): void;
1572
+ $acceptTabOperation(operation: TabOperation): void;
1573
+ }
1574
+ export interface TabsMain {
1575
+ $moveTab(tabId: string, index: number, viewColumn: EditorGroupColumn, preserveFocus?: boolean): void;
1576
+ $closeTab(tabIds: string[], preserveFocus?: boolean): Promise<boolean>;
1577
+ $closeGroup(groupIds: number[], preserveFocus?: boolean): Promise<boolean>;
1578
+ }
1579
+ export declare const PLUGIN_RPC_CONTEXT: {
1580
+ AUTHENTICATION_MAIN: ProxyIdentifier<AuthenticationMain>;
1581
+ COMMAND_REGISTRY_MAIN: ProxyIdentifier<CommandRegistryMain>;
1582
+ QUICK_OPEN_MAIN: ProxyIdentifier<QuickOpenMain>;
1583
+ DIALOGS_MAIN: ProxyIdentifier<DialogsMain>;
1584
+ WORKSPACE_MAIN: ProxyIdentifier<WorkspaceMain>;
1585
+ MESSAGE_REGISTRY_MAIN: ProxyIdentifier<MessageRegistryMain>;
1586
+ TEXT_EDITORS_MAIN: ProxyIdentifier<TextEditorsMain>;
1587
+ DOCUMENTS_MAIN: ProxyIdentifier<DocumentsMain>;
1588
+ STATUS_BAR_MESSAGE_REGISTRY_MAIN: ProxyIdentifier<StatusBarMessageRegistryMain>;
1589
+ ENV_MAIN: ProxyIdentifier<EnvMain>;
1590
+ NOTIFICATION_MAIN: ProxyIdentifier<NotificationMain>;
1591
+ TERMINAL_MAIN: ProxyIdentifier<TerminalServiceMain>;
1592
+ TREE_VIEWS_MAIN: ProxyIdentifier<TreeViewsMain>;
1593
+ PREFERENCE_REGISTRY_MAIN: ProxyIdentifier<PreferenceRegistryMain>;
1594
+ OUTPUT_CHANNEL_REGISTRY_MAIN: ProxyIdentifier<OutputChannelRegistryMain>;
1595
+ LANGUAGES_MAIN: ProxyIdentifier<LanguagesMain>;
1596
+ CONNECTION_MAIN: ProxyIdentifier<ConnectionMain>;
1597
+ WEBVIEWS_MAIN: ProxyIdentifier<WebviewsMain>;
1598
+ CUSTOM_EDITORS_MAIN: ProxyIdentifier<CustomEditorsMain>;
1599
+ WEBVIEW_VIEWS_MAIN: ProxyIdentifier<WebviewViewsMain>;
1600
+ STORAGE_MAIN: ProxyIdentifier<StorageMain>;
1601
+ TASKS_MAIN: ProxyIdentifier<TasksMain>;
1602
+ DEBUG_MAIN: ProxyIdentifier<DebugMain>;
1603
+ FILE_SYSTEM_MAIN: ProxyIdentifier<FileSystemMain>;
1604
+ SCM_MAIN: ProxyIdentifier<ScmMain>;
1605
+ SECRETS_MAIN: ProxyIdentifier<SecretsMain>;
1606
+ DECORATIONS_MAIN: ProxyIdentifier<DecorationsMain>;
1607
+ WINDOW_MAIN: ProxyIdentifier<WindowMain>;
1608
+ CLIPBOARD_MAIN: ProxyIdentifier<ClipboardMain>;
1609
+ LABEL_SERVICE_MAIN: ProxyIdentifier<LabelServiceMain>;
1610
+ TIMELINE_MAIN: ProxyIdentifier<TimelineMain>;
1611
+ THEMING_MAIN: ProxyIdentifier<ThemingMain>;
1612
+ COMMENTS_MAIN: ProxyIdentifier<CommentsMain>;
1613
+ TABS_MAIN: ProxyIdentifier<TabsMain>;
1614
+ };
1615
+ export declare const MAIN_RPC_CONTEXT: {
1616
+ AUTHENTICATION_EXT: ProxyIdentifier<AuthenticationExt>;
1617
+ HOSTED_PLUGIN_MANAGER_EXT: ProxyIdentifier<PluginManagerExt>;
1618
+ COMMAND_REGISTRY_EXT: ProxyIdentifier<CommandRegistryExt>;
1619
+ QUICK_OPEN_EXT: ProxyIdentifier<QuickOpenExt>;
1620
+ WINDOW_STATE_EXT: ProxyIdentifier<WindowStateExt>;
1621
+ NOTIFICATION_EXT: ProxyIdentifier<NotificationExt>;
1622
+ WORKSPACE_EXT: ProxyIdentifier<WorkspaceExt>;
1623
+ TEXT_EDITORS_EXT: ProxyIdentifier<TextEditorsExt>;
1624
+ EDITORS_AND_DOCUMENTS_EXT: ProxyIdentifier<EditorsAndDocumentsExt>;
1625
+ DOCUMENTS_EXT: ProxyIdentifier<DocumentsExt>;
1626
+ TERMINAL_EXT: ProxyIdentifier<TerminalServiceExt>;
1627
+ OUTPUT_CHANNEL_REGISTRY_EXT: ProxyIdentifier<OutputChannelRegistryExt>;
1628
+ TREE_VIEWS_EXT: ProxyIdentifier<TreeViewsExt>;
1629
+ PREFERENCE_REGISTRY_EXT: ProxyIdentifier<PreferenceRegistryExt>;
1630
+ LANGUAGES_EXT: ProxyIdentifier<LanguagesExt>;
1631
+ CONNECTION_EXT: ProxyIdentifier<ConnectionExt>;
1632
+ WEBVIEWS_EXT: ProxyIdentifier<WebviewsExt>;
1633
+ CUSTOM_EDITORS_EXT: ProxyIdentifier<CustomEditorsExt>;
1634
+ WEBVIEW_VIEWS_EXT: ProxyIdentifier<WebviewViewsExt>;
1635
+ STORAGE_EXT: ProxyIdentifier<StorageExt>;
1636
+ TASKS_EXT: ProxyIdentifier<TasksExt>;
1637
+ DEBUG_EXT: ProxyIdentifier<DebugExt>;
1638
+ FILE_SYSTEM_EXT: ProxyIdentifier<FileSystemExt>;
1639
+ ExtHostFileSystemEventService: ProxyIdentifier<ExtHostFileSystemEventServiceShape>;
1640
+ SCM_EXT: ProxyIdentifier<ScmExt>;
1641
+ SECRETS_EXT: ProxyIdentifier<SecretsExt>;
1642
+ DECORATIONS_EXT: ProxyIdentifier<DecorationsExt>;
1643
+ LABEL_SERVICE_EXT: ProxyIdentifier<LabelServiceExt>;
1644
+ TIMELINE_EXT: ProxyIdentifier<TimelineExt>;
1645
+ THEMING_EXT: ProxyIdentifier<ThemingExt>;
1646
+ COMMENTS_EXT: ProxyIdentifier<CommentsExt>;
1647
+ TABS_EXT: ProxyIdentifier<TabsExt>;
1648
+ };
1649
+ export interface TasksExt {
1650
+ $initLoadedTasks(executions: TaskExecutionDto[]): Promise<void>;
1651
+ $provideTasks(handle: number): Promise<TaskDto[] | undefined>;
1652
+ $resolveTask(handle: number, task: TaskDto, token?: CancellationToken): Promise<TaskDto | undefined>;
1653
+ $onDidStartTask(execution: TaskExecutionDto, terminalId: number): void;
1654
+ $onDidEndTask(id: number): void;
1655
+ $onDidStartTaskProcess(processId: number | undefined, execution: TaskExecutionDto): void;
1656
+ $onDidEndTaskProcess(exitCode: number | undefined, taskId: number): void;
1657
+ }
1658
+ export interface TasksMain {
1659
+ $registerTaskProvider(handle: number, type: string): void;
1660
+ $fetchTasks(taskVersion: string | undefined, taskType: string | undefined): Promise<TaskDto[]>;
1661
+ $executeTask(taskDto: TaskDto): Promise<TaskExecutionDto | undefined>;
1662
+ $taskExecutions(): Promise<TaskExecutionDto[]>;
1663
+ $unregister(handle: number): void;
1664
+ $terminateTask(id: number): void;
1665
+ $customExecutionComplete(id: number, exitCode: number | undefined): void;
1666
+ }
1667
+ export interface AuthenticationExt {
1668
+ $getSessions(id: string, scopes?: string[]): Promise<ReadonlyArray<theia.AuthenticationSession>>;
1669
+ $createSession(id: string, scopes: string[]): Promise<theia.AuthenticationSession>;
1670
+ $removeSession(id: string, sessionId: string): Promise<void>;
1671
+ $onDidChangeAuthenticationSessions(provider: theia.AuthenticationProviderInformation): Promise<void>;
1672
+ }
1673
+ export interface AuthenticationMain {
1674
+ $registerAuthenticationProvider(id: string, label: string, supportsMultipleAccounts: boolean): void;
1675
+ $unregisterAuthenticationProvider(id: string): void;
1676
+ $onDidChangeSessions(providerId: string, event: AuthenticationProviderAuthenticationSessionsChangeEvent): void;
1677
+ $getSession(providerId: string, scopes: readonly string[], extensionId: string, extensionName: string, options: theia.AuthenticationGetSessionOptions): Promise<theia.AuthenticationSession | undefined>;
1678
+ }
1679
+ export interface RawColorInfo {
1680
+ color: [number, number, number, number];
1681
+ range: Range;
1682
+ }
1683
+ export interface LabelServiceExt {
1684
+ $registerResourceLabelFormatter(formatter: ResourceLabelFormatter): theia.Disposable;
1685
+ }
1686
+ export interface LabelServiceMain {
1687
+ $registerResourceLabelFormatter(handle: number, formatter: ResourceLabelFormatter): void;
1688
+ $unregisterResourceLabelFormatter(handle: number): void;
1689
+ }
1690
+ export interface SecretsExt {
1691
+ $onDidChangePassword(e: {
1692
+ extensionId: string;
1693
+ key: string;
1694
+ }): Promise<void>;
1695
+ }
1696
+ export interface SecretsMain {
1697
+ $getPassword(extensionId: string, key: string): Promise<string | undefined>;
1698
+ $setPassword(extensionId: string, key: string, value: string): Promise<void>;
1699
+ $deletePassword(extensionId: string, key: string): Promise<void>;
1700
+ }
1701
+ export declare type InlayHintDto = CachedSessionItem<InlayHint>;
1702
+ export declare type InlayHintsDto = CachedSession<{
1703
+ hints: InlayHint[];
1704
+ }>;
1705
+ export interface IdentifiableInlineCompletions extends InlineCompletions<IdentifiableInlineCompletion> {
1706
+ pid: number;
1707
+ }
1708
+ export interface IdentifiableInlineCompletion extends InlineCompletion {
1709
+ idx: number;
1710
+ }
1711
1711
  //# sourceMappingURL=plugin-api-rpc.d.ts.map