@theia/plugin-ext 1.34.2 → 1.34.3

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 (843) 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.d.ts.map +1 -1
  191. package/lib/main/browser/main-file-system-event-service.js +65 -68
  192. package/lib/main/browser/main-file-system-event-service.js.map +1 -1
  193. package/lib/main/browser/menus/menus-contribution-handler.d.ts +29 -29
  194. package/lib/main/browser/menus/menus-contribution-handler.js +194 -194
  195. package/lib/main/browser/menus/plugin-menu-command-adapter.d.ts +43 -43
  196. package/lib/main/browser/menus/plugin-menu-command-adapter.js +279 -279
  197. package/lib/main/browser/menus/vscode-theia-menu-mappings.d.ts +17 -17
  198. package/lib/main/browser/menus/vscode-theia-menu-mappings.js +93 -93
  199. package/lib/main/browser/message-registry-main.d.ts +8 -8
  200. package/lib/main/browser/message-registry-main.js +52 -52
  201. package/lib/main/browser/notification-main.d.ts +18 -18
  202. package/lib/main/browser/notification-main.js +75 -75
  203. package/lib/main/browser/output-channel-registry-main.d.ts +10 -10
  204. package/lib/main/browser/output-channel-registry-main.js +60 -60
  205. package/lib/main/browser/plugin-authentication-service.d.ts +13 -13
  206. package/lib/main/browser/plugin-authentication-service.js +80 -80
  207. package/lib/main/browser/plugin-contribution-handler.d.ts +66 -66
  208. package/lib/main/browser/plugin-contribution-handler.js +580 -580
  209. package/lib/main/browser/plugin-ext-frontend-module.d.ts +7 -7
  210. package/lib/main/browser/plugin-ext-frontend-module.js +216 -216
  211. package/lib/main/browser/plugin-ext-widget.d.ts +28 -28
  212. package/lib/main/browser/plugin-ext-widget.js +129 -129
  213. package/lib/main/browser/plugin-frontend-contribution.d.ts +6 -6
  214. package/lib/main/browser/plugin-frontend-contribution.js +45 -45
  215. package/lib/main/browser/plugin-frontend-view-contribution.d.ts +6 -6
  216. package/lib/main/browser/plugin-frontend-view-contribution.js +50 -50
  217. package/lib/main/browser/plugin-icon-theme-service.d.ts +135 -135
  218. package/lib/main/browser/plugin-icon-theme-service.js +519 -519
  219. package/lib/main/browser/plugin-shared-style.d.ts +36 -36
  220. package/lib/main/browser/plugin-shared-style.js +126 -126
  221. package/lib/main/browser/plugin-storage.d.ts +13 -13
  222. package/lib/main/browser/plugin-storage.js +46 -46
  223. package/lib/main/browser/plugin-terminal-registry.d.ts +4 -4
  224. package/lib/main/browser/plugin-terminal-registry.js +34 -34
  225. package/lib/main/browser/preference-registry-main.d.ts +19 -19
  226. package/lib/main/browser/preference-registry-main.js +104 -104
  227. package/lib/main/browser/quick-open-main.d.ts +31 -31
  228. package/lib/main/browser/quick-open-main.js +274 -274
  229. package/lib/main/browser/scm-main.d.ts +100 -100
  230. package/lib/main/browser/scm-main.js +330 -330
  231. package/lib/main/browser/secrets-main.d.ts +12 -12
  232. package/lib/main/browser/secrets-main.js +67 -67
  233. package/lib/main/browser/selection-provider-command.d.ts +12 -12
  234. package/lib/main/browser/selection-provider-command.js +57 -57
  235. package/lib/main/browser/status-bar-message-registry-main.d.ts +16 -16
  236. package/lib/main/browser/status-bar-message-registry-main.js +55 -55
  237. package/lib/main/browser/tabs/tabs-main.d.ts +40 -40
  238. package/lib/main/browser/tabs/tabs-main.js +282 -282
  239. package/lib/main/browser/tasks-main.d.ts +33 -33
  240. package/lib/main/browser/tasks-main.js +205 -205
  241. package/lib/main/browser/terminal-main.d.ts +49 -49
  242. package/lib/main/browser/terminal-main.js +268 -268
  243. package/lib/main/browser/text-editor-main.d.ts +47 -47
  244. package/lib/main/browser/text-editor-main.js +374 -374
  245. package/lib/main/browser/text-editor-model-service.d.ts +28 -28
  246. package/lib/main/browser/text-editor-model-service.js +108 -108
  247. package/lib/main/browser/text-editors-main.d.ts +38 -38
  248. package/lib/main/browser/text-editors-main.js +158 -158
  249. package/lib/main/browser/theme-icon-override.d.ts +1 -1
  250. package/lib/main/browser/theme-icon-override.js +247 -247
  251. package/lib/main/browser/theming-main.d.ts +9 -9
  252. package/lib/main/browser/theming-main.js +35 -35
  253. package/lib/main/browser/timeline-main.d.ts +13 -13
  254. package/lib/main/browser/timeline-main.js +46 -46
  255. package/lib/main/browser/view/dnd-file-content-store.d.ts +7 -7
  256. package/lib/main/browser/view/dnd-file-content-store.js +51 -51
  257. package/lib/main/browser/view/plugin-tree-view-node-label-provider.d.ts +11 -11
  258. package/lib/main/browser/view/plugin-tree-view-node-label-provider.js +90 -90
  259. package/lib/main/browser/view/plugin-view-registry.d.ts +106 -106
  260. package/lib/main/browser/view/plugin-view-registry.js +836 -836
  261. package/lib/main/browser/view/plugin-view-widget.d.ts +50 -50
  262. package/lib/main/browser/view/plugin-view-widget.js +166 -166
  263. package/lib/main/browser/view/tree-view-decorator-service.d.ts +30 -30
  264. package/lib/main/browser/view/tree-view-decorator-service.js +68 -68
  265. package/lib/main/browser/view/tree-view-widget.d.ts +160 -160
  266. package/lib/main/browser/view/tree-view-widget.js +761 -761
  267. package/lib/main/browser/view/tree-views-main.d.ts +31 -31
  268. package/lib/main/browser/view/tree-views-main.js +163 -163
  269. package/lib/main/browser/view/view-context-key-service.d.ts +30 -30
  270. package/lib/main/browser/view/view-context-key-service.js +84 -84
  271. package/lib/main/browser/view-column-service.d.ts +23 -23
  272. package/lib/main/browser/view-column-service.js +129 -129
  273. package/lib/main/browser/webview/webview-environment.d.ts +15 -15
  274. package/lib/main/browser/webview/webview-environment.js +93 -93
  275. package/lib/main/browser/webview/webview-frontend-security-warnings.d.ts +11 -11
  276. package/lib/main/browser/webview/webview-frontend-security-warnings.js +73 -73
  277. package/lib/main/browser/webview/webview-preferences.d.ts +12 -12
  278. package/lib/main/browser/webview/webview-preferences.js +57 -57
  279. package/lib/main/browser/webview/webview-resource-cache.d.ts +17 -17
  280. package/lib/main/browser/webview/webview-resource-cache.js +90 -90
  281. package/lib/main/browser/webview/webview-theme-data-provider.d.ts +30 -30
  282. package/lib/main/browser/webview/webview-theme-data-provider.js +132 -132
  283. package/lib/main/browser/webview/webview-widget-factory.d.ts +8 -8
  284. package/lib/main/browser/webview/webview-widget-factory.js +38 -38
  285. package/lib/main/browser/webview/webview.d.ts +130 -130
  286. package/lib/main/browser/webview/webview.js +549 -549
  287. package/lib/main/browser/webview-views/webview-views-main.d.ts +30 -30
  288. package/lib/main/browser/webview-views/webview-views-main.js +126 -126
  289. package/lib/main/browser/webview-views/webview-views.d.ts +14 -14
  290. package/lib/main/browser/webview-views/webview-views.js +22 -22
  291. package/lib/main/browser/webviews-main.d.ts +39 -39
  292. package/lib/main/browser/webviews-main.js +231 -231
  293. package/lib/main/browser/window-state-main.d.ts +16 -16
  294. package/lib/main/browser/window-state-main.js +61 -61
  295. package/lib/main/browser/workspace-main.d.ts +69 -69
  296. package/lib/main/browser/workspace-main.js +316 -316
  297. package/lib/main/common/plugin-paths-protocol.d.ts +8 -8
  298. package/lib/main/common/plugin-paths-protocol.js +21 -21
  299. package/lib/main/common/plugin-theia-environment.d.ts +7 -7
  300. package/lib/main/common/plugin-theia-environment.js +47 -47
  301. package/lib/main/common/webview-protocol.d.ts +12 -12
  302. package/lib/main/common/webview-protocol.js +31 -31
  303. package/lib/main/electron-browser/plugin-ext-frontend-electron-module.d.ts +3 -3
  304. package/lib/main/electron-browser/plugin-ext-frontend-electron-module.js +25 -25
  305. package/lib/main/electron-browser/webview/electron-webview-widget-factory.d.ts +22 -22
  306. package/lib/main/electron-browser/webview/electron-webview-widget-factory.js +64 -64
  307. package/lib/main/node/handlers/plugin-theia-directory-handler.d.ts +10 -10
  308. package/lib/main/node/handlers/plugin-theia-directory-handler.js +113 -113
  309. package/lib/main/node/handlers/plugin-theia-file-handler.d.ts +9 -9
  310. package/lib/main/node/handlers/plugin-theia-file-handler.js +66 -66
  311. package/lib/main/node/paths/const.d.ts +5 -5
  312. package/lib/main/node/paths/const.js +24 -24
  313. package/lib/main/node/paths/plugin-paths-service.d.ts +23 -23
  314. package/lib/main/node/paths/plugin-paths-service.js +169 -169
  315. package/lib/main/node/plugin-cli-contribution.d.ts +21 -21
  316. package/lib/main/node/plugin-cli-contribution.js +84 -84
  317. package/lib/main/node/plugin-deployer-contribution.d.ts +8 -8
  318. package/lib/main/node/plugin-deployer-contribution.js +47 -47
  319. package/lib/main/node/plugin-deployer-directory-handler-context-impl.d.ts +7 -7
  320. package/lib/main/node/plugin-deployer-directory-handler-context-impl.js +44 -44
  321. package/lib/main/node/plugin-deployer-entry-impl.d.ts +34 -34
  322. package/lib/main/node/plugin-deployer-entry-impl.js +109 -109
  323. package/lib/main/node/plugin-deployer-file-handler-context-impl.d.ts +7 -7
  324. package/lib/main/node/plugin-deployer-file-handler-context-impl.js +31 -31
  325. package/lib/main/node/plugin-deployer-impl.d.ts +61 -61
  326. package/lib/main/node/plugin-deployer-impl.js +341 -341
  327. package/lib/main/node/plugin-deployer-proxy-entry-impl.d.ts +29 -29
  328. package/lib/main/node/plugin-deployer-proxy-entry-impl.js +98 -98
  329. package/lib/main/node/plugin-deployer-resolver-context-impl.d.ts +15 -15
  330. package/lib/main/node/plugin-deployer-resolver-context-impl.js +42 -42
  331. package/lib/main/node/plugin-ext-backend-module.d.ts +2 -2
  332. package/lib/main/node/plugin-ext-backend-module.js +70 -70
  333. package/lib/main/node/plugin-github-resolver.d.ts +21 -21
  334. package/lib/main/node/plugin-github-resolver.js +142 -142
  335. package/lib/main/node/plugin-http-resolver.d.ts +18 -18
  336. package/lib/main/node/plugin-http-resolver.js +91 -91
  337. package/lib/main/node/plugin-localization-backend-contribution.d.ts +9 -9
  338. package/lib/main/node/plugin-localization-backend-contribution.js +58 -58
  339. package/lib/main/node/plugin-server-handler.d.ts +16 -16
  340. package/lib/main/node/plugin-server-handler.js +74 -74
  341. package/lib/main/node/plugin-service.d.ts +19 -19
  342. package/lib/main/node/plugin-service.js +91 -91
  343. package/lib/main/node/plugin-theia-deployer-participant.d.ts +6 -6
  344. package/lib/main/node/plugin-theia-deployer-participant.js +43 -43
  345. package/lib/main/node/plugin-uninstallation-manager.d.ts +14 -14
  346. package/lib/main/node/plugin-uninstallation-manager.js +84 -84
  347. package/lib/main/node/plugins-key-value-storage.d.ts +15 -15
  348. package/lib/main/node/plugins-key-value-storage.js +128 -128
  349. package/lib/main/node/resolvers/local-directory-plugin-deployer-resolver.d.ts +7 -7
  350. package/lib/main/node/resolvers/local-directory-plugin-deployer-resolver.js +43 -43
  351. package/lib/main/node/resolvers/local-plugin-deployer-resolver.d.ts +8 -8
  352. package/lib/main/node/resolvers/local-plugin-deployer-resolver.js +59 -59
  353. package/lib/main/node/temp-dir-util.d.ts +1 -1
  354. package/lib/main/node/temp-dir-util.js +30 -30
  355. package/lib/main/node/webview-backend-security-warnings.d.ts +5 -5
  356. package/lib/main/node/webview-backend-security-warnings.js +51 -51
  357. package/lib/plugin/authentication-ext.d.ts +34 -34
  358. package/lib/plugin/authentication-ext.js +94 -94
  359. package/lib/plugin/clipboard-ext.d.ts +9 -9
  360. package/lib/plugin/clipboard-ext.js +31 -31
  361. package/lib/plugin/command-registry.d.ts +43 -43
  362. package/lib/plugin/command-registry.js +176 -176
  363. package/lib/plugin/comments.d.ts +89 -89
  364. package/lib/plugin/comments.js +368 -368
  365. package/lib/plugin/custom-editors.d.ts +47 -47
  366. package/lib/plugin/custom-editors.js +255 -255
  367. package/lib/plugin/debug/debug-ext.d.ts +86 -86
  368. package/lib/plugin/debug/debug-ext.js +391 -391
  369. package/lib/plugin/debug/plugin-debug-adapter-creator.d.ts +10 -10
  370. package/lib/plugin/debug/plugin-debug-adapter-creator.js +41 -41
  371. package/lib/plugin/debug/plugin-debug-adapter-session.d.ts +26 -26
  372. package/lib/plugin/debug/plugin-debug-adapter-session.js +96 -96
  373. package/lib/plugin/debug/plugin-debug-adapter-tracker.d.ts +12 -12
  374. package/lib/plugin/debug/plugin-debug-adapter-tracker.js +77 -77
  375. package/lib/plugin/decorations.d.ts +14 -14
  376. package/lib/plugin/decorations.js +112 -112
  377. package/lib/plugin/dialogs.d.ts +10 -10
  378. package/lib/plugin/dialogs.js +91 -91
  379. package/lib/plugin/document-data.d.ts +38 -38
  380. package/lib/plugin/document-data.js +309 -309
  381. package/lib/plugin/documents.d.ts +56 -56
  382. package/lib/plugin/documents.js +253 -253
  383. package/lib/plugin/editors-and-documents.d.ts +26 -26
  384. package/lib/plugin/editors-and-documents.js +137 -137
  385. package/lib/plugin/env.d.ts +42 -42
  386. package/lib/plugin/env.js +101 -101
  387. package/lib/plugin/file-system-event-service-ext-impl.d.ts +40 -40
  388. package/lib/plugin/file-system-event-service-ext-impl.js +203 -203
  389. package/lib/plugin/file-system-ext-impl.d.ts +50 -50
  390. package/lib/plugin/file-system-ext-impl.js +354 -354
  391. package/lib/plugin/known-commands.d.ts +5 -5
  392. package/lib/plugin/known-commands.js +386 -386
  393. package/lib/plugin/known-commands.spec.d.ts +1 -1
  394. package/lib/plugin/known-commands.spec.js +42 -42
  395. package/lib/plugin/label-service.d.ts +11 -11
  396. package/lib/plugin/label-service.js +35 -35
  397. package/lib/plugin/languages/call-hierarchy.d.ts +20 -20
  398. package/lib/plugin/languages/call-hierarchy.js +101 -101
  399. package/lib/plugin/languages/code-action.d.ts +24 -24
  400. package/lib/plugin/languages/code-action.js +137 -137
  401. package/lib/plugin/languages/color.d.ts +12 -12
  402. package/lib/plugin/languages/color.js +58 -58
  403. package/lib/plugin/languages/completion.d.ts +20 -20
  404. package/lib/plugin/languages/completion.js +161 -161
  405. package/lib/plugin/languages/declaration.d.ts +11 -11
  406. package/lib/plugin/languages/declaration.js +58 -58
  407. package/lib/plugin/languages/definition.d.ts +11 -11
  408. package/lib/plugin/languages/definition.js +58 -58
  409. package/lib/plugin/languages/diagnostics.d.ts +49 -49
  410. package/lib/plugin/languages/diagnostics.js +281 -281
  411. package/lib/plugin/languages/document-formatting.d.ts +10 -10
  412. package/lib/plugin/languages/document-formatting.js +40 -40
  413. package/lib/plugin/languages/document-highlight.d.ts +12 -12
  414. package/lib/plugin/languages/document-highlight.js +50 -50
  415. package/lib/plugin/languages/evaluatable-expression.d.ts +11 -11
  416. package/lib/plugin/languages/evaluatable-expression.js +40 -40
  417. package/lib/plugin/languages/folding.d.ts +10 -10
  418. package/lib/plugin/languages/folding.js +39 -39
  419. package/lib/plugin/languages/hover.d.ts +11 -11
  420. package/lib/plugin/languages/hover.js +48 -48
  421. package/lib/plugin/languages/implementation.d.ts +11 -11
  422. package/lib/plugin/languages/implementation.js +58 -58
  423. package/lib/plugin/languages/inlay-hints.d.ts +19 -19
  424. package/lib/plugin/languages/inlay-hints.js +127 -127
  425. package/lib/plugin/languages/inline-completion.d.ts +20 -20
  426. package/lib/plugin/languages/inline-completion.js +93 -93
  427. package/lib/plugin/languages/inline-values.d.ts +10 -10
  428. package/lib/plugin/languages/inline-values.js +44 -44
  429. package/lib/plugin/languages/lens.d.ts +19 -19
  430. package/lib/plugin/languages/lens.js +89 -89
  431. package/lib/plugin/languages/link-provider.d.ts +14 -14
  432. package/lib/plugin/languages/link-provider.js +71 -71
  433. package/lib/plugin/languages/linked-editing-range.d.ts +11 -11
  434. package/lib/plugin/languages/linked-editing-range.js +40 -40
  435. package/lib/plugin/languages/on-type-formatting.d.ts +11 -11
  436. package/lib/plugin/languages/on-type-formatting.js +41 -41
  437. package/lib/plugin/languages/outline.d.ts +20 -20
  438. package/lib/plugin/languages/outline.js +115 -115
  439. package/lib/plugin/languages/range-formatting.d.ts +10 -10
  440. package/lib/plugin/languages/range-formatting.js +41 -41
  441. package/lib/plugin/languages/reference.d.ts +11 -11
  442. package/lib/plugin/languages/reference.js +47 -47
  443. package/lib/plugin/languages/rename.d.ts +14 -14
  444. package/lib/plugin/languages/rename.js +114 -114
  445. package/lib/plugin/languages/selection-range.d.ts +11 -11
  446. package/lib/plugin/languages/selection-range.js +65 -65
  447. package/lib/plugin/languages/semantic-highlighting.d.ts +28 -28
  448. package/lib/plugin/languages/semantic-highlighting.js +175 -175
  449. package/lib/plugin/languages/signature.d.ts +15 -15
  450. package/lib/plugin/languages/signature.js +71 -71
  451. package/lib/plugin/languages/type-definition.d.ts +11 -11
  452. package/lib/plugin/languages/type-definition.js +58 -58
  453. package/lib/plugin/languages/type-hierarchy.d.ts +18 -18
  454. package/lib/plugin/languages/type-hierarchy.js +95 -95
  455. package/lib/plugin/languages/util.d.ts +4 -4
  456. package/lib/plugin/languages/util.js +27 -27
  457. package/lib/plugin/languages/workspace-symbol.d.ts +8 -8
  458. package/lib/plugin/languages/workspace-symbol.js +61 -61
  459. package/lib/plugin/languages-utils.d.ts +5 -5
  460. package/lib/plugin/languages-utils.js +52 -52
  461. package/lib/plugin/languages.d.ts +118 -118
  462. package/lib/plugin/languages.js +679 -679
  463. package/lib/plugin/markdown-string.d.ts +24 -24
  464. package/lib/plugin/markdown-string.js +124 -124
  465. package/lib/plugin/message-registry.d.ts +8 -8
  466. package/lib/plugin/message-registry.js +60 -60
  467. package/lib/plugin/node/debug/debug.spec.d.ts +1 -1
  468. package/lib/plugin/node/debug/debug.spec.js +67 -67
  469. package/lib/plugin/node/debug/plugin-node-debug-adapter-creator.d.ts +17 -17
  470. package/lib/plugin/node/debug/plugin-node-debug-adapter-creator.js +154 -154
  471. package/lib/plugin/node/env-node-ext.d.ts +21 -21
  472. package/lib/plugin/node/env-node-ext.js +63 -63
  473. package/lib/plugin/notification.d.ts +17 -17
  474. package/lib/plugin/notification.js +67 -67
  475. package/lib/plugin/output-channel/output-channel-item.d.ts +17 -17
  476. package/lib/plugin/output-channel/output-channel-item.js +51 -51
  477. package/lib/plugin/output-channel-registry.d.ts +8 -8
  478. package/lib/plugin/output-channel-registry.js +35 -35
  479. package/lib/plugin/path.d.ts +2 -2
  480. package/lib/plugin/path.js +59 -59
  481. package/lib/plugin/path.spec.d.ts +1 -1
  482. package/lib/plugin/path.spec.js +34 -34
  483. package/lib/plugin/plugin-context.d.ts +56 -56
  484. package/lib/plugin/plugin-context.js +1072 -1072
  485. package/lib/plugin/plugin-icon-path.d.ts +11 -11
  486. package/lib/plugin/plugin-icon-path.js +49 -49
  487. package/lib/plugin/plugin-manager.d.ts +80 -80
  488. package/lib/plugin/plugin-manager.js +366 -366
  489. package/lib/plugin/plugin-storage.d.ts +36 -36
  490. package/lib/plugin/plugin-storage.js +99 -99
  491. package/lib/plugin/preference-registry.d.ts +36 -36
  492. package/lib/plugin/preference-registry.js +295 -295
  493. package/lib/plugin/preference-registry.spec.d.ts +1 -1
  494. package/lib/plugin/preference-registry.spec.js +251 -251
  495. package/lib/plugin/prefix-sum-computer.d.ts +30 -30
  496. package/lib/plugin/prefix-sum-computer.js +172 -172
  497. package/lib/plugin/quick-open.d.ts +202 -202
  498. package/lib/plugin/quick-open.js +637 -637
  499. package/lib/plugin/scm.d.ts +53 -53
  500. package/lib/plugin/scm.js +713 -713
  501. package/lib/plugin/secrets-ext.d.ts +30 -30
  502. package/lib/plugin/secrets-ext.js +68 -68
  503. package/lib/plugin/status-bar/status-bar-item.d.ts +44 -44
  504. package/lib/plugin/status-bar/status-bar-item.js +122 -122
  505. package/lib/plugin/status-bar-message-registry.d.ts +20 -20
  506. package/lib/plugin/status-bar-message-registry.js +84 -84
  507. package/lib/plugin/stubs/tests-api.d.ts +22 -22
  508. package/lib/plugin/stubs/tests-api.js +66 -66
  509. package/lib/plugin/tabs.d.ts +22 -22
  510. package/lib/plugin/tabs.js +358 -358
  511. package/lib/plugin/tasks/task-provider.d.ts +8 -8
  512. package/lib/plugin/tasks/task-provider.js +56 -56
  513. package/lib/plugin/tasks/tasks.d.ts +45 -45
  514. package/lib/plugin/tasks/tasks.js +210 -210
  515. package/lib/plugin/terminal-ext.d.ts +101 -101
  516. package/lib/plugin/terminal-ext.js +422 -422
  517. package/lib/plugin/text-editor.d.ts +100 -100
  518. package/lib/plugin/text-editor.js +409 -409
  519. package/lib/plugin/text-editors.d.ts +37 -37
  520. package/lib/plugin/text-editors.js +126 -126
  521. package/lib/plugin/theming.d.ts +15 -15
  522. package/lib/plugin/theming.js +61 -61
  523. package/lib/plugin/timeline.d.ts +20 -20
  524. package/lib/plugin/timeline.js +152 -152
  525. package/lib/plugin/tree/tree-views.d.ts +93 -93
  526. package/lib/plugin/tree/tree-views.js +523 -523
  527. package/lib/plugin/type-converters.d.ts +131 -131
  528. package/lib/plugin/type-converters.js +1292 -1292
  529. package/lib/plugin/type-converters.spec.d.ts +1 -1
  530. package/lib/plugin/type-converters.spec.js +391 -391
  531. package/lib/plugin/types-impl.d.ts +1464 -1464
  532. package/lib/plugin/types-impl.d.ts.map +1 -1
  533. package/lib/plugin/types-impl.js +2956 -2953
  534. package/lib/plugin/types-impl.js.map +1 -1
  535. package/lib/plugin/types-impl.spec.d.ts +1 -1
  536. package/lib/plugin/types-impl.spec.js +78 -78
  537. package/lib/plugin/webview-views.d.ts +52 -52
  538. package/lib/plugin/webview-views.js +144 -144
  539. package/lib/plugin/webviews.d.ts +95 -95
  540. package/lib/plugin/webviews.js +340 -340
  541. package/lib/plugin/window-state.d.ts +16 -16
  542. package/lib/plugin/window-state.js +55 -55
  543. package/lib/plugin/word-helper.d.ts +21 -21
  544. package/lib/plugin/word-helper.js +125 -125
  545. package/lib/plugin/workspace.d.ts +53 -53
  546. package/lib/plugin/workspace.js +371 -371
  547. package/lib/plugin-ext-backend-electron-module.d.ts +3 -3
  548. package/lib/plugin-ext-backend-electron-module.js +24 -24
  549. package/lib/plugin-ext-backend-module.d.ts +3 -3
  550. package/lib/plugin-ext-backend-module.js +24 -24
  551. package/lib/plugin-ext-frontend-electron-module.d.ts +2 -2
  552. package/lib/plugin-ext-frontend-electron-module.js +19 -19
  553. package/lib/plugin-ext-frontend-module.d.ts +2 -2
  554. package/lib/plugin-ext-frontend-module.js +19 -19
  555. package/package.json +27 -27
  556. package/src/common/arrays.ts +54 -54
  557. package/src/common/assert.ts +23 -23
  558. package/src/common/cache.ts +51 -51
  559. package/src/common/character-classifier.ts +73 -73
  560. package/src/common/collections.ts +37 -37
  561. package/src/common/connection.ts +137 -137
  562. package/src/common/disposable-util.ts +39 -39
  563. package/src/common/editor-options.ts +74 -74
  564. package/src/common/env.ts +19 -19
  565. package/src/common/errors.ts +37 -37
  566. package/src/common/id-generator.ts +26 -26
  567. package/src/common/index.ts +24 -24
  568. package/src/common/link-computer.ts +354 -354
  569. package/src/common/object-identifier.ts +33 -33
  570. package/src/common/objects.ts +50 -50
  571. package/src/common/paths-util.ts +158 -158
  572. package/src/common/plugin-api-rpc-model.ts +864 -864
  573. package/src/common/plugin-api-rpc.ts +2202 -2202
  574. package/src/common/plugin-ext-api-contribution.ts +82 -82
  575. package/src/common/plugin-identifiers.ts +84 -84
  576. package/src/common/plugin-protocol.ts +987 -987
  577. package/src/common/proxy-handler.ts +126 -126
  578. package/src/common/reference-map.ts +38 -38
  579. package/src/common/rpc-protocol.ts +272 -272
  580. package/src/common/semantic-tokens-dto.ts +182 -182
  581. package/src/common/types.ts +129 -129
  582. package/src/common/uint.ts +37 -37
  583. package/src/common/uri-components.ts +85 -85
  584. package/src/hosted/browser/hosted-plugin-watcher.ts +54 -54
  585. package/src/hosted/browser/hosted-plugin.ts +830 -830
  586. package/src/hosted/browser/plugin-worker.ts +52 -52
  587. package/src/hosted/browser/worker/debug-stub.ts +28 -28
  588. package/src/hosted/browser/worker/plugin-manifest-loader.ts +114 -114
  589. package/src/hosted/browser/worker/worker-env-ext.ts +41 -41
  590. package/src/hosted/browser/worker/worker-main.ts +221 -221
  591. package/src/hosted/node/hosted-plugin-cli-contribution.ts +75 -75
  592. package/src/hosted/node/hosted-plugin-deployer-handler.ts +261 -261
  593. package/src/hosted/node/hosted-plugin-localization-service.ts +254 -254
  594. package/src/hosted/node/hosted-plugin-process.ts +248 -248
  595. package/src/hosted/node/hosted-plugin-protocol.ts +49 -49
  596. package/src/hosted/node/hosted-plugin.ts +116 -116
  597. package/src/hosted/node/metadata-scanner.ts +64 -64
  598. package/src/hosted/node/plugin-ext-hosted-backend-module.ts +80 -80
  599. package/src/hosted/node/plugin-host-proxy.ts +80 -80
  600. package/src/hosted/node/plugin-host-rpc.ts +245 -245
  601. package/src/hosted/node/plugin-host.ts +108 -108
  602. package/src/hosted/node/plugin-manifest-loader.ts +31 -31
  603. package/src/hosted/node/plugin-reader.ts +131 -131
  604. package/src/hosted/node/plugin-service.ts +175 -175
  605. package/src/hosted/node/scanners/backend-init-theia.ts +71 -71
  606. package/src/hosted/node/scanners/file-plugin-uri-factory.ts +32 -32
  607. package/src/hosted/node/scanners/grammars-reader.ts +56 -56
  608. package/src/hosted/node/scanners/plugin-uri-factory.ts +33 -33
  609. package/src/hosted/node/scanners/scanner-theia.ts +938 -938
  610. package/src/hosted/node-electron/plugin-ext-hosted-electron-backend-module.ts +26 -26
  611. package/src/hosted/node-electron/scanner-theia-electron.ts +32 -32
  612. package/src/main/browser/authentication-main.ts +369 -369
  613. package/src/main/browser/clipboard-main.ts +38 -38
  614. package/src/main/browser/command-registry-main.ts +110 -110
  615. package/src/main/browser/commands.ts +104 -104
  616. package/src/main/browser/comments/comment-glyph-widget.ts +66 -66
  617. package/src/main/browser/comments/comment-thread-widget.tsx +691 -691
  618. package/src/main/browser/comments/comments-context-key-service.ts +68 -68
  619. package/src/main/browser/comments/comments-contribution.ts +264 -264
  620. package/src/main/browser/comments/comments-decorator.ts +110 -110
  621. package/src/main/browser/comments/comments-main.ts +465 -465
  622. package/src/main/browser/comments/comments-service.ts +205 -205
  623. package/src/main/browser/custom-editors/custom-editor-contribution.ts +38 -38
  624. package/src/main/browser/custom-editors/custom-editor-opener.tsx +105 -105
  625. package/src/main/browser/custom-editors/custom-editor-service.ts +108 -108
  626. package/src/main/browser/custom-editors/custom-editor-widget-factory.ts +44 -44
  627. package/src/main/browser/custom-editors/custom-editor-widget.ts +127 -127
  628. package/src/main/browser/custom-editors/custom-editors-main.ts +606 -606
  629. package/src/main/browser/custom-editors/plugin-custom-editor-registry.ts +142 -142
  630. package/src/main/browser/custom-editors/undo-redo-service.ts +120 -120
  631. package/src/main/browser/debug/debug-main.ts +373 -373
  632. package/src/main/browser/debug/plugin-debug-adapter-contribution.ts +48 -48
  633. package/src/main/browser/debug/plugin-debug-configuration-provider.ts +63 -63
  634. package/src/main/browser/debug/plugin-debug-service.ts +338 -338
  635. package/src/main/browser/debug/plugin-debug-session-contribution-registry.ts +76 -76
  636. package/src/main/browser/debug/plugin-debug-session-factory.ts +105 -105
  637. package/src/main/browser/decorations/decorations-main.ts +146 -146
  638. package/src/main/browser/dialogs/modal-notification.ts +110 -110
  639. package/src/main/browser/dialogs/style/modal-notification.css +123 -123
  640. package/src/main/browser/dialogs-main.ts +185 -185
  641. package/src/main/browser/documents-main.ts +289 -289
  642. package/src/main/browser/editors-and-documents-main.ts +394 -394
  643. package/src/main/browser/env-main.ts +87 -87
  644. package/src/main/browser/file-system-main-impl.ts +263 -263
  645. package/src/main/browser/hierarchy/hierarchy-types-converters.ts +189 -189
  646. package/src/main/browser/keybindings/keybindings-contribution-handler.ts +66 -66
  647. package/src/main/browser/label-service-main.ts +51 -51
  648. package/src/main/browser/languages-main.ts +1387 -1387
  649. package/src/main/browser/main-context.ts +187 -187
  650. package/src/main/browser/main-file-system-event-service.ts +76 -79
  651. package/src/main/browser/menus/menus-contribution-handler.ts +162 -162
  652. package/src/main/browser/menus/plugin-menu-command-adapter.ts +264 -264
  653. package/src/main/browser/menus/vscode-theia-menu-mappings.ts +91 -91
  654. package/src/main/browser/message-registry-main.ts +56 -56
  655. package/src/main/browser/notification-main.ts +86 -86
  656. package/src/main/browser/output-channel-registry-main.ts +53 -53
  657. package/src/main/browser/plugin-authentication-service.ts +71 -71
  658. package/src/main/browser/plugin-contribution-handler.ts +609 -609
  659. package/src/main/browser/plugin-ext-frontend-module.ts +249 -249
  660. package/src/main/browser/plugin-ext-widget.tsx +132 -132
  661. package/src/main/browser/plugin-frontend-contribution.ts +35 -35
  662. package/src/main/browser/plugin-frontend-view-contribution.ts +38 -38
  663. package/src/main/browser/plugin-icon-theme-service.ts +585 -585
  664. package/src/main/browser/plugin-shared-style.ts +133 -133
  665. package/src/main/browser/plugin-storage.ts +55 -55
  666. package/src/main/browser/plugin-terminal-registry.ts +27 -27
  667. package/src/main/browser/preference-registry-main.ts +123 -123
  668. package/src/main/browser/quick-open-main.ts +324 -324
  669. package/src/main/browser/scm-main.ts +453 -453
  670. package/src/main/browser/secrets-main.ts +82 -82
  671. package/src/main/browser/selection-provider-command.ts +46 -46
  672. package/src/main/browser/status-bar-message-registry-main.ts +90 -90
  673. package/src/main/browser/style/comments.css +345 -345
  674. package/src/main/browser/style/index.css +85 -85
  675. package/src/main/browser/style/plugin-sidebar.css +73 -73
  676. package/src/main/browser/style/test.svg +13 -13
  677. package/src/main/browser/style/tree.css +52 -52
  678. package/src/main/browser/style/webview.css +53 -53
  679. package/src/main/browser/tabs/tabs-main.ts +323 -323
  680. package/src/main/browser/tasks-main.ts +268 -268
  681. package/src/main/browser/terminal-main.ts +301 -301
  682. package/src/main/browser/text-editor-main.ts +463 -463
  683. package/src/main/browser/text-editor-model-service.ts +102 -102
  684. package/src/main/browser/text-editors-main.ts +206 -206
  685. package/src/main/browser/theme-icon-override.ts +252 -252
  686. package/src/main/browser/theming-main.ts +42 -42
  687. package/src/main/browser/timeline-main.ts +80 -80
  688. package/src/main/browser/view/dnd-file-content-store.ts +42 -42
  689. package/src/main/browser/view/plugin-tree-view-node-label-provider.ts +81 -81
  690. package/src/main/browser/view/plugin-view-registry.ts +885 -885
  691. package/src/main/browser/view/plugin-view-widget.ts +173 -173
  692. package/src/main/browser/view/tree-view-decorator-service.ts +51 -51
  693. package/src/main/browser/view/tree-view-widget.tsx +859 -859
  694. package/src/main/browser/view/tree-views-main.ts +191 -191
  695. package/src/main/browser/view/view-context-key-service.ts +77 -77
  696. package/src/main/browser/view-column-service.ts +125 -125
  697. package/src/main/browser/webview/pre/fake.html +14 -14
  698. package/src/main/browser/webview/pre/host.js +130 -130
  699. package/src/main/browser/webview/pre/index.html +17 -17
  700. package/src/main/browser/webview/pre/main.js +632 -632
  701. package/src/main/browser/webview/pre/service-worker.js +295 -295
  702. package/src/main/browser/webview/webview-environment.ts +83 -83
  703. package/src/main/browser/webview/webview-frontend-security-warnings.ts +59 -59
  704. package/src/main/browser/webview/webview-preferences.ts +72 -72
  705. package/src/main/browser/webview/webview-resource-cache.ts +88 -88
  706. package/src/main/browser/webview/webview-theme-data-provider.ts +124 -124
  707. package/src/main/browser/webview/webview-widget-factory.ts +43 -43
  708. package/src/main/browser/webview/webview.ts +629 -629
  709. package/src/main/browser/webview-views/webview-views-main.ts +142 -142
  710. package/src/main/browser/webview-views/webview-views.ts +38 -38
  711. package/src/main/browser/webviews-main.ts +269 -269
  712. package/src/main/browser/window-state-main.ts +76 -76
  713. package/src/main/browser/workspace-main.ts +383 -383
  714. package/src/main/common/plugin-paths-protocol.ts +26 -26
  715. package/src/main/common/plugin-theia-environment.ts +36 -36
  716. package/src/main/common/webview-protocol.ts +28 -28
  717. package/src/main/electron-browser/plugin-ext-frontend-electron-module.ts +25 -25
  718. package/src/main/electron-browser/webview/electron-webview-widget-factory.ts +70 -70
  719. package/src/main/node/handlers/plugin-theia-directory-handler.ts +105 -105
  720. package/src/main/node/handlers/plugin-theia-file-handler.ts +54 -54
  721. package/src/main/node/paths/const.ts +21 -21
  722. package/src/main/node/paths/plugin-paths-service.ts +170 -170
  723. package/src/main/node/plugin-cli-contribution.ts +85 -85
  724. package/src/main/node/plugin-deployer-contribution.ts +34 -34
  725. package/src/main/node/plugin-deployer-directory-handler-context-impl.ts +45 -45
  726. package/src/main/node/plugin-deployer-entry-impl.ts +130 -130
  727. package/src/main/node/plugin-deployer-file-handler-context-impl.ts +33 -33
  728. package/src/main/node/plugin-deployer-impl.ts +367 -367
  729. package/src/main/node/plugin-deployer-proxy-entry-impl.ts +96 -96
  730. package/src/main/node/plugin-deployer-resolver-context-impl.ts +55 -55
  731. package/src/main/node/plugin-ext-backend-module.ts +93 -93
  732. package/src/main/node/plugin-github-resolver.ts +148 -148
  733. package/src/main/node/plugin-http-resolver.ts +91 -91
  734. package/src/main/node/plugin-localization-backend-contribution.ts +42 -42
  735. package/src/main/node/plugin-server-handler.ts +69 -69
  736. package/src/main/node/plugin-service.ts +82 -82
  737. package/src/main/node/plugin-theia-deployer-participant.ts +32 -32
  738. package/src/main/node/plugin-uninstallation-manager.ts +74 -74
  739. package/src/main/node/plugins-key-value-storage.ts +117 -117
  740. package/src/main/node/resolvers/local-directory-plugin-deployer-resolver.ts +37 -37
  741. package/src/main/node/resolvers/local-plugin-deployer-resolver.ts +56 -56
  742. package/src/main/node/temp-dir-util.ts +27 -27
  743. package/src/main/node/webview-backend-security-warnings.ts +45 -45
  744. package/src/main/style/status-bar.css +35 -35
  745. package/src/plugin/authentication-ext.ts +125 -125
  746. package/src/plugin/clipboard-ext.ts +37 -37
  747. package/src/plugin/command-registry.ts +218 -218
  748. package/src/plugin/comments.ts +518 -518
  749. package/src/plugin/custom-editors.ts +336 -336
  750. package/src/plugin/debug/debug-ext.ts +487 -487
  751. package/src/plugin/debug/plugin-debug-adapter-creator.ts +50 -50
  752. package/src/plugin/debug/plugin-debug-adapter-session.ts +106 -106
  753. package/src/plugin/debug/plugin-debug-adapter-tracker.ts +85 -85
  754. package/src/plugin/decorations.ts +140 -140
  755. package/src/plugin/dialogs.ts +96 -96
  756. package/src/plugin/document-data.ts +366 -366
  757. package/src/plugin/documents.ts +283 -283
  758. package/src/plugin/editors-and-documents.ts +170 -170
  759. package/src/plugin/env.ts +134 -134
  760. package/src/plugin/file-system-event-service-ext-impl.ts +256 -256
  761. package/src/plugin/file-system-ext-impl.ts +412 -412
  762. package/src/plugin/known-commands.spec.ts +50 -50
  763. package/src/plugin/known-commands.ts +412 -412
  764. package/src/plugin/label-service.ts +36 -36
  765. package/src/plugin/languages/call-hierarchy.ts +124 -124
  766. package/src/plugin/languages/code-action.ts +162 -162
  767. package/src/plugin/languages/color.ts +75 -75
  768. package/src/plugin/languages/completion.ts +179 -179
  769. package/src/plugin/languages/declaration.ts +72 -72
  770. package/src/plugin/languages/definition.ts +73 -73
  771. package/src/plugin/languages/diagnostics.ts +325 -325
  772. package/src/plugin/languages/document-formatting.ts +47 -47
  773. package/src/plugin/languages/document-highlight.ts +61 -61
  774. package/src/plugin/languages/evaluatable-expression.ts +47 -47
  775. package/src/plugin/languages/folding.ts +46 -46
  776. package/src/plugin/languages/hover.ts +58 -58
  777. package/src/plugin/languages/implementation.ts +73 -73
  778. package/src/plugin/languages/inlay-hints.ts +149 -149
  779. package/src/plugin/languages/inline-completion.ts +126 -126
  780. package/src/plugin/languages/inline-values.ts +50 -50
  781. package/src/plugin/languages/lens.ts +102 -102
  782. package/src/plugin/languages/link-provider.ts +79 -79
  783. package/src/plugin/languages/linked-editing-range.ts +48 -48
  784. package/src/plugin/languages/on-type-formatting.ts +50 -50
  785. package/src/plugin/languages/outline.ts +126 -126
  786. package/src/plugin/languages/range-formatting.ts +48 -48
  787. package/src/plugin/languages/reference.ts +58 -58
  788. package/src/plugin/languages/rename.ts +130 -130
  789. package/src/plugin/languages/selection-range.ts +80 -80
  790. package/src/plugin/languages/semantic-highlighting.ts +211 -211
  791. package/src/plugin/languages/signature.ts +82 -82
  792. package/src/plugin/languages/type-definition.ts +73 -73
  793. package/src/plugin/languages/type-hierarchy.ts +117 -117
  794. package/src/plugin/languages/util.ts +26 -26
  795. package/src/plugin/languages/workspace-symbol.ts +66 -66
  796. package/src/plugin/languages-utils.ts +56 -56
  797. package/src/plugin/languages.ts +969 -969
  798. package/src/plugin/markdown-string.ts +115 -115
  799. package/src/plugin/message-registry.ts +65 -65
  800. package/src/plugin/node/debug/debug.spec.ts +94 -94
  801. package/src/plugin/node/debug/plugin-node-debug-adapter-creator.ts +167 -167
  802. package/src/plugin/node/env-node-ext.ts +69 -69
  803. package/src/plugin/notification.ts +80 -80
  804. package/src/plugin/output-channel/output-channel-item.ts +73 -73
  805. package/src/plugin/output-channel-registry.ts +39 -39
  806. package/src/plugin/path.spec.ts +40 -40
  807. package/src/plugin/path.ts +68 -68
  808. package/src/plugin/plugin-context.ts +1387 -1387
  809. package/src/plugin/plugin-icon-path.ts +50 -50
  810. package/src/plugin/plugin-manager.ts +446 -446
  811. package/src/plugin/plugin-storage.ts +120 -120
  812. package/src/plugin/preference-registry.spec.ts +299 -299
  813. package/src/plugin/preference-registry.ts +337 -337
  814. package/src/plugin/prefix-sum-computer.ts +218 -218
  815. package/src/plugin/quick-open.ts +772 -772
  816. package/src/plugin/scm.ts +910 -910
  817. package/src/plugin/secrets-ext.ts +84 -84
  818. package/src/plugin/status-bar/status-bar-item.ts +193 -193
  819. package/src/plugin/status-bar-message-registry.ts +103 -103
  820. package/src/plugin/stubs/tests-api.ts +96 -96
  821. package/src/plugin/tabs.ts +426 -426
  822. package/src/plugin/tasks/task-provider.ts +60 -60
  823. package/src/plugin/tasks/tasks.ts +247 -247
  824. package/src/plugin/terminal-ext.ts +494 -494
  825. package/src/plugin/text-editor.ts +522 -522
  826. package/src/plugin/text-editors.ts +150 -150
  827. package/src/plugin/theming.ts +73 -73
  828. package/src/plugin/timeline.ts +186 -186
  829. package/src/plugin/tree/tree-views.ts +612 -612
  830. package/src/plugin/type-converters.spec.ts +476 -476
  831. package/src/plugin/type-converters.ts +1350 -1350
  832. package/src/plugin/types-impl.spec.ts +85 -85
  833. package/src/plugin/types-impl.ts +3407 -3404
  834. package/src/plugin/webview-views.ts +213 -213
  835. package/src/plugin/webviews.ts +433 -433
  836. package/src/plugin/window-state.ts +68 -68
  837. package/src/plugin/word-helper.ts +162 -162
  838. package/src/plugin/workspace.ts +448 -448
  839. package/src/plugin-ext-backend-electron-module.ts +24 -24
  840. package/src/plugin-ext-backend-module.ts +24 -24
  841. package/src/plugin-ext-frontend-electron-module.ts +19 -19
  842. package/src/plugin-ext-frontend-module.ts +19 -19
  843. 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