@theia/plugin-ext 1.34.1 → 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 (845) 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 -90
  526. package/lib/plugin/tree/tree-views.d.ts.map +1 -1
  527. package/lib/plugin/tree/tree-views.js +523 -516
  528. package/lib/plugin/tree/tree-views.js.map +1 -1
  529. package/lib/plugin/type-converters.d.ts +131 -131
  530. package/lib/plugin/type-converters.js +1292 -1292
  531. package/lib/plugin/type-converters.spec.d.ts +1 -1
  532. package/lib/plugin/type-converters.spec.js +391 -391
  533. package/lib/plugin/types-impl.d.ts +1464 -1464
  534. package/lib/plugin/types-impl.d.ts.map +1 -1
  535. package/lib/plugin/types-impl.js +2956 -2953
  536. package/lib/plugin/types-impl.js.map +1 -1
  537. package/lib/plugin/types-impl.spec.d.ts +1 -1
  538. package/lib/plugin/types-impl.spec.js +78 -78
  539. package/lib/plugin/webview-views.d.ts +52 -52
  540. package/lib/plugin/webview-views.js +144 -144
  541. package/lib/plugin/webviews.d.ts +95 -95
  542. package/lib/plugin/webviews.js +340 -340
  543. package/lib/plugin/window-state.d.ts +16 -16
  544. package/lib/plugin/window-state.js +55 -55
  545. package/lib/plugin/word-helper.d.ts +21 -21
  546. package/lib/plugin/word-helper.js +125 -125
  547. package/lib/plugin/workspace.d.ts +53 -53
  548. package/lib/plugin/workspace.js +371 -371
  549. package/lib/plugin-ext-backend-electron-module.d.ts +3 -3
  550. package/lib/plugin-ext-backend-electron-module.js +24 -24
  551. package/lib/plugin-ext-backend-module.d.ts +3 -3
  552. package/lib/plugin-ext-backend-module.js +24 -24
  553. package/lib/plugin-ext-frontend-electron-module.d.ts +2 -2
  554. package/lib/plugin-ext-frontend-electron-module.js +19 -19
  555. package/lib/plugin-ext-frontend-module.d.ts +2 -2
  556. package/lib/plugin-ext-frontend-module.js +19 -19
  557. package/package.json +27 -27
  558. package/src/common/arrays.ts +54 -54
  559. package/src/common/assert.ts +23 -23
  560. package/src/common/cache.ts +51 -51
  561. package/src/common/character-classifier.ts +73 -73
  562. package/src/common/collections.ts +37 -37
  563. package/src/common/connection.ts +137 -137
  564. package/src/common/disposable-util.ts +39 -39
  565. package/src/common/editor-options.ts +74 -74
  566. package/src/common/env.ts +19 -19
  567. package/src/common/errors.ts +37 -37
  568. package/src/common/id-generator.ts +26 -26
  569. package/src/common/index.ts +24 -24
  570. package/src/common/link-computer.ts +354 -354
  571. package/src/common/object-identifier.ts +33 -33
  572. package/src/common/objects.ts +50 -50
  573. package/src/common/paths-util.ts +158 -158
  574. package/src/common/plugin-api-rpc-model.ts +864 -864
  575. package/src/common/plugin-api-rpc.ts +2202 -2202
  576. package/src/common/plugin-ext-api-contribution.ts +82 -82
  577. package/src/common/plugin-identifiers.ts +84 -84
  578. package/src/common/plugin-protocol.ts +987 -987
  579. package/src/common/proxy-handler.ts +126 -126
  580. package/src/common/reference-map.ts +38 -38
  581. package/src/common/rpc-protocol.ts +272 -272
  582. package/src/common/semantic-tokens-dto.ts +182 -182
  583. package/src/common/types.ts +129 -129
  584. package/src/common/uint.ts +37 -37
  585. package/src/common/uri-components.ts +85 -85
  586. package/src/hosted/browser/hosted-plugin-watcher.ts +54 -54
  587. package/src/hosted/browser/hosted-plugin.ts +830 -830
  588. package/src/hosted/browser/plugin-worker.ts +52 -52
  589. package/src/hosted/browser/worker/debug-stub.ts +28 -28
  590. package/src/hosted/browser/worker/plugin-manifest-loader.ts +114 -114
  591. package/src/hosted/browser/worker/worker-env-ext.ts +41 -41
  592. package/src/hosted/browser/worker/worker-main.ts +221 -221
  593. package/src/hosted/node/hosted-plugin-cli-contribution.ts +75 -75
  594. package/src/hosted/node/hosted-plugin-deployer-handler.ts +261 -261
  595. package/src/hosted/node/hosted-plugin-localization-service.ts +254 -254
  596. package/src/hosted/node/hosted-plugin-process.ts +248 -248
  597. package/src/hosted/node/hosted-plugin-protocol.ts +49 -49
  598. package/src/hosted/node/hosted-plugin.ts +116 -116
  599. package/src/hosted/node/metadata-scanner.ts +64 -64
  600. package/src/hosted/node/plugin-ext-hosted-backend-module.ts +80 -80
  601. package/src/hosted/node/plugin-host-proxy.ts +80 -80
  602. package/src/hosted/node/plugin-host-rpc.ts +245 -245
  603. package/src/hosted/node/plugin-host.ts +108 -108
  604. package/src/hosted/node/plugin-manifest-loader.ts +31 -31
  605. package/src/hosted/node/plugin-reader.ts +131 -131
  606. package/src/hosted/node/plugin-service.ts +175 -175
  607. package/src/hosted/node/scanners/backend-init-theia.ts +71 -71
  608. package/src/hosted/node/scanners/file-plugin-uri-factory.ts +32 -32
  609. package/src/hosted/node/scanners/grammars-reader.ts +56 -56
  610. package/src/hosted/node/scanners/plugin-uri-factory.ts +33 -33
  611. package/src/hosted/node/scanners/scanner-theia.ts +938 -938
  612. package/src/hosted/node-electron/plugin-ext-hosted-electron-backend-module.ts +26 -26
  613. package/src/hosted/node-electron/scanner-theia-electron.ts +32 -32
  614. package/src/main/browser/authentication-main.ts +369 -369
  615. package/src/main/browser/clipboard-main.ts +38 -38
  616. package/src/main/browser/command-registry-main.ts +110 -110
  617. package/src/main/browser/commands.ts +104 -104
  618. package/src/main/browser/comments/comment-glyph-widget.ts +66 -66
  619. package/src/main/browser/comments/comment-thread-widget.tsx +691 -691
  620. package/src/main/browser/comments/comments-context-key-service.ts +68 -68
  621. package/src/main/browser/comments/comments-contribution.ts +264 -264
  622. package/src/main/browser/comments/comments-decorator.ts +110 -110
  623. package/src/main/browser/comments/comments-main.ts +465 -465
  624. package/src/main/browser/comments/comments-service.ts +205 -205
  625. package/src/main/browser/custom-editors/custom-editor-contribution.ts +38 -38
  626. package/src/main/browser/custom-editors/custom-editor-opener.tsx +105 -105
  627. package/src/main/browser/custom-editors/custom-editor-service.ts +108 -108
  628. package/src/main/browser/custom-editors/custom-editor-widget-factory.ts +44 -44
  629. package/src/main/browser/custom-editors/custom-editor-widget.ts +127 -127
  630. package/src/main/browser/custom-editors/custom-editors-main.ts +606 -606
  631. package/src/main/browser/custom-editors/plugin-custom-editor-registry.ts +142 -142
  632. package/src/main/browser/custom-editors/undo-redo-service.ts +120 -120
  633. package/src/main/browser/debug/debug-main.ts +373 -373
  634. package/src/main/browser/debug/plugin-debug-adapter-contribution.ts +48 -48
  635. package/src/main/browser/debug/plugin-debug-configuration-provider.ts +63 -63
  636. package/src/main/browser/debug/plugin-debug-service.ts +338 -338
  637. package/src/main/browser/debug/plugin-debug-session-contribution-registry.ts +76 -76
  638. package/src/main/browser/debug/plugin-debug-session-factory.ts +105 -105
  639. package/src/main/browser/decorations/decorations-main.ts +146 -146
  640. package/src/main/browser/dialogs/modal-notification.ts +110 -110
  641. package/src/main/browser/dialogs/style/modal-notification.css +123 -123
  642. package/src/main/browser/dialogs-main.ts +185 -185
  643. package/src/main/browser/documents-main.ts +289 -289
  644. package/src/main/browser/editors-and-documents-main.ts +394 -394
  645. package/src/main/browser/env-main.ts +87 -87
  646. package/src/main/browser/file-system-main-impl.ts +263 -263
  647. package/src/main/browser/hierarchy/hierarchy-types-converters.ts +189 -189
  648. package/src/main/browser/keybindings/keybindings-contribution-handler.ts +66 -66
  649. package/src/main/browser/label-service-main.ts +51 -51
  650. package/src/main/browser/languages-main.ts +1387 -1387
  651. package/src/main/browser/main-context.ts +187 -187
  652. package/src/main/browser/main-file-system-event-service.ts +76 -79
  653. package/src/main/browser/menus/menus-contribution-handler.ts +162 -162
  654. package/src/main/browser/menus/plugin-menu-command-adapter.ts +264 -264
  655. package/src/main/browser/menus/vscode-theia-menu-mappings.ts +91 -91
  656. package/src/main/browser/message-registry-main.ts +56 -56
  657. package/src/main/browser/notification-main.ts +86 -86
  658. package/src/main/browser/output-channel-registry-main.ts +53 -53
  659. package/src/main/browser/plugin-authentication-service.ts +71 -71
  660. package/src/main/browser/plugin-contribution-handler.ts +609 -609
  661. package/src/main/browser/plugin-ext-frontend-module.ts +249 -249
  662. package/src/main/browser/plugin-ext-widget.tsx +132 -132
  663. package/src/main/browser/plugin-frontend-contribution.ts +35 -35
  664. package/src/main/browser/plugin-frontend-view-contribution.ts +38 -38
  665. package/src/main/browser/plugin-icon-theme-service.ts +585 -585
  666. package/src/main/browser/plugin-shared-style.ts +133 -133
  667. package/src/main/browser/plugin-storage.ts +55 -55
  668. package/src/main/browser/plugin-terminal-registry.ts +27 -27
  669. package/src/main/browser/preference-registry-main.ts +123 -123
  670. package/src/main/browser/quick-open-main.ts +324 -324
  671. package/src/main/browser/scm-main.ts +453 -453
  672. package/src/main/browser/secrets-main.ts +82 -82
  673. package/src/main/browser/selection-provider-command.ts +46 -46
  674. package/src/main/browser/status-bar-message-registry-main.ts +90 -90
  675. package/src/main/browser/style/comments.css +345 -345
  676. package/src/main/browser/style/index.css +85 -85
  677. package/src/main/browser/style/plugin-sidebar.css +73 -73
  678. package/src/main/browser/style/test.svg +13 -13
  679. package/src/main/browser/style/tree.css +52 -52
  680. package/src/main/browser/style/webview.css +53 -53
  681. package/src/main/browser/tabs/tabs-main.ts +323 -323
  682. package/src/main/browser/tasks-main.ts +268 -268
  683. package/src/main/browser/terminal-main.ts +301 -301
  684. package/src/main/browser/text-editor-main.ts +463 -463
  685. package/src/main/browser/text-editor-model-service.ts +102 -102
  686. package/src/main/browser/text-editors-main.ts +206 -206
  687. package/src/main/browser/theme-icon-override.ts +252 -252
  688. package/src/main/browser/theming-main.ts +42 -42
  689. package/src/main/browser/timeline-main.ts +80 -80
  690. package/src/main/browser/view/dnd-file-content-store.ts +42 -42
  691. package/src/main/browser/view/plugin-tree-view-node-label-provider.ts +81 -81
  692. package/src/main/browser/view/plugin-view-registry.ts +885 -885
  693. package/src/main/browser/view/plugin-view-widget.ts +173 -173
  694. package/src/main/browser/view/tree-view-decorator-service.ts +51 -51
  695. package/src/main/browser/view/tree-view-widget.tsx +859 -859
  696. package/src/main/browser/view/tree-views-main.ts +191 -191
  697. package/src/main/browser/view/view-context-key-service.ts +77 -77
  698. package/src/main/browser/view-column-service.ts +125 -125
  699. package/src/main/browser/webview/pre/fake.html +14 -14
  700. package/src/main/browser/webview/pre/host.js +130 -130
  701. package/src/main/browser/webview/pre/index.html +17 -17
  702. package/src/main/browser/webview/pre/main.js +632 -632
  703. package/src/main/browser/webview/pre/service-worker.js +295 -295
  704. package/src/main/browser/webview/webview-environment.ts +83 -83
  705. package/src/main/browser/webview/webview-frontend-security-warnings.ts +59 -59
  706. package/src/main/browser/webview/webview-preferences.ts +72 -72
  707. package/src/main/browser/webview/webview-resource-cache.ts +88 -88
  708. package/src/main/browser/webview/webview-theme-data-provider.ts +124 -124
  709. package/src/main/browser/webview/webview-widget-factory.ts +43 -43
  710. package/src/main/browser/webview/webview.ts +629 -629
  711. package/src/main/browser/webview-views/webview-views-main.ts +142 -142
  712. package/src/main/browser/webview-views/webview-views.ts +38 -38
  713. package/src/main/browser/webviews-main.ts +269 -269
  714. package/src/main/browser/window-state-main.ts +76 -76
  715. package/src/main/browser/workspace-main.ts +383 -383
  716. package/src/main/common/plugin-paths-protocol.ts +26 -26
  717. package/src/main/common/plugin-theia-environment.ts +36 -36
  718. package/src/main/common/webview-protocol.ts +28 -28
  719. package/src/main/electron-browser/plugin-ext-frontend-electron-module.ts +25 -25
  720. package/src/main/electron-browser/webview/electron-webview-widget-factory.ts +70 -70
  721. package/src/main/node/handlers/plugin-theia-directory-handler.ts +105 -105
  722. package/src/main/node/handlers/plugin-theia-file-handler.ts +54 -54
  723. package/src/main/node/paths/const.ts +21 -21
  724. package/src/main/node/paths/plugin-paths-service.ts +170 -170
  725. package/src/main/node/plugin-cli-contribution.ts +85 -85
  726. package/src/main/node/plugin-deployer-contribution.ts +34 -34
  727. package/src/main/node/plugin-deployer-directory-handler-context-impl.ts +45 -45
  728. package/src/main/node/plugin-deployer-entry-impl.ts +130 -130
  729. package/src/main/node/plugin-deployer-file-handler-context-impl.ts +33 -33
  730. package/src/main/node/plugin-deployer-impl.ts +367 -367
  731. package/src/main/node/plugin-deployer-proxy-entry-impl.ts +96 -96
  732. package/src/main/node/plugin-deployer-resolver-context-impl.ts +55 -55
  733. package/src/main/node/plugin-ext-backend-module.ts +93 -93
  734. package/src/main/node/plugin-github-resolver.ts +148 -148
  735. package/src/main/node/plugin-http-resolver.ts +91 -91
  736. package/src/main/node/plugin-localization-backend-contribution.ts +42 -42
  737. package/src/main/node/plugin-server-handler.ts +69 -69
  738. package/src/main/node/plugin-service.ts +82 -82
  739. package/src/main/node/plugin-theia-deployer-participant.ts +32 -32
  740. package/src/main/node/plugin-uninstallation-manager.ts +74 -74
  741. package/src/main/node/plugins-key-value-storage.ts +117 -117
  742. package/src/main/node/resolvers/local-directory-plugin-deployer-resolver.ts +37 -37
  743. package/src/main/node/resolvers/local-plugin-deployer-resolver.ts +56 -56
  744. package/src/main/node/temp-dir-util.ts +27 -27
  745. package/src/main/node/webview-backend-security-warnings.ts +45 -45
  746. package/src/main/style/status-bar.css +35 -35
  747. package/src/plugin/authentication-ext.ts +125 -125
  748. package/src/plugin/clipboard-ext.ts +37 -37
  749. package/src/plugin/command-registry.ts +218 -218
  750. package/src/plugin/comments.ts +518 -518
  751. package/src/plugin/custom-editors.ts +336 -336
  752. package/src/plugin/debug/debug-ext.ts +487 -487
  753. package/src/plugin/debug/plugin-debug-adapter-creator.ts +50 -50
  754. package/src/plugin/debug/plugin-debug-adapter-session.ts +106 -106
  755. package/src/plugin/debug/plugin-debug-adapter-tracker.ts +85 -85
  756. package/src/plugin/decorations.ts +140 -140
  757. package/src/plugin/dialogs.ts +96 -96
  758. package/src/plugin/document-data.ts +366 -366
  759. package/src/plugin/documents.ts +283 -283
  760. package/src/plugin/editors-and-documents.ts +170 -170
  761. package/src/plugin/env.ts +134 -134
  762. package/src/plugin/file-system-event-service-ext-impl.ts +256 -256
  763. package/src/plugin/file-system-ext-impl.ts +412 -412
  764. package/src/plugin/known-commands.spec.ts +50 -50
  765. package/src/plugin/known-commands.ts +412 -412
  766. package/src/plugin/label-service.ts +36 -36
  767. package/src/plugin/languages/call-hierarchy.ts +124 -124
  768. package/src/plugin/languages/code-action.ts +162 -162
  769. package/src/plugin/languages/color.ts +75 -75
  770. package/src/plugin/languages/completion.ts +179 -179
  771. package/src/plugin/languages/declaration.ts +72 -72
  772. package/src/plugin/languages/definition.ts +73 -73
  773. package/src/plugin/languages/diagnostics.ts +325 -325
  774. package/src/plugin/languages/document-formatting.ts +47 -47
  775. package/src/plugin/languages/document-highlight.ts +61 -61
  776. package/src/plugin/languages/evaluatable-expression.ts +47 -47
  777. package/src/plugin/languages/folding.ts +46 -46
  778. package/src/plugin/languages/hover.ts +58 -58
  779. package/src/plugin/languages/implementation.ts +73 -73
  780. package/src/plugin/languages/inlay-hints.ts +149 -149
  781. package/src/plugin/languages/inline-completion.ts +126 -126
  782. package/src/plugin/languages/inline-values.ts +50 -50
  783. package/src/plugin/languages/lens.ts +102 -102
  784. package/src/plugin/languages/link-provider.ts +79 -79
  785. package/src/plugin/languages/linked-editing-range.ts +48 -48
  786. package/src/plugin/languages/on-type-formatting.ts +50 -50
  787. package/src/plugin/languages/outline.ts +126 -126
  788. package/src/plugin/languages/range-formatting.ts +48 -48
  789. package/src/plugin/languages/reference.ts +58 -58
  790. package/src/plugin/languages/rename.ts +130 -130
  791. package/src/plugin/languages/selection-range.ts +80 -80
  792. package/src/plugin/languages/semantic-highlighting.ts +211 -211
  793. package/src/plugin/languages/signature.ts +82 -82
  794. package/src/plugin/languages/type-definition.ts +73 -73
  795. package/src/plugin/languages/type-hierarchy.ts +117 -117
  796. package/src/plugin/languages/util.ts +26 -26
  797. package/src/plugin/languages/workspace-symbol.ts +66 -66
  798. package/src/plugin/languages-utils.ts +56 -56
  799. package/src/plugin/languages.ts +969 -969
  800. package/src/plugin/markdown-string.ts +115 -115
  801. package/src/plugin/message-registry.ts +65 -65
  802. package/src/plugin/node/debug/debug.spec.ts +94 -94
  803. package/src/plugin/node/debug/plugin-node-debug-adapter-creator.ts +167 -167
  804. package/src/plugin/node/env-node-ext.ts +69 -69
  805. package/src/plugin/notification.ts +80 -80
  806. package/src/plugin/output-channel/output-channel-item.ts +73 -73
  807. package/src/plugin/output-channel-registry.ts +39 -39
  808. package/src/plugin/path.spec.ts +40 -40
  809. package/src/plugin/path.ts +68 -68
  810. package/src/plugin/plugin-context.ts +1387 -1387
  811. package/src/plugin/plugin-icon-path.ts +50 -50
  812. package/src/plugin/plugin-manager.ts +446 -446
  813. package/src/plugin/plugin-storage.ts +120 -120
  814. package/src/plugin/preference-registry.spec.ts +299 -299
  815. package/src/plugin/preference-registry.ts +337 -337
  816. package/src/plugin/prefix-sum-computer.ts +218 -218
  817. package/src/plugin/quick-open.ts +772 -772
  818. package/src/plugin/scm.ts +910 -910
  819. package/src/plugin/secrets-ext.ts +84 -84
  820. package/src/plugin/status-bar/status-bar-item.ts +193 -193
  821. package/src/plugin/status-bar-message-registry.ts +103 -103
  822. package/src/plugin/stubs/tests-api.ts +96 -96
  823. package/src/plugin/tabs.ts +426 -426
  824. package/src/plugin/tasks/task-provider.ts +60 -60
  825. package/src/plugin/tasks/tasks.ts +247 -247
  826. package/src/plugin/terminal-ext.ts +494 -494
  827. package/src/plugin/text-editor.ts +522 -522
  828. package/src/plugin/text-editors.ts +150 -150
  829. package/src/plugin/theming.ts +73 -73
  830. package/src/plugin/timeline.ts +186 -186
  831. package/src/plugin/tree/tree-views.ts +612 -605
  832. package/src/plugin/type-converters.spec.ts +476 -476
  833. package/src/plugin/type-converters.ts +1350 -1350
  834. package/src/plugin/types-impl.spec.ts +85 -85
  835. package/src/plugin/types-impl.ts +3407 -3404
  836. package/src/plugin/webview-views.ts +213 -213
  837. package/src/plugin/webviews.ts +433 -433
  838. package/src/plugin/window-state.ts +68 -68
  839. package/src/plugin/word-helper.ts +162 -162
  840. package/src/plugin/workspace.ts +448 -448
  841. package/src/plugin-ext-backend-electron-module.ts +24 -24
  842. package/src/plugin-ext-backend-module.ts +24 -24
  843. package/src/plugin-ext-frontend-electron-module.ts +19 -19
  844. package/src/plugin-ext-frontend-module.ts +19 -19
  845. 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