@theia/core 1.53.0-next.4 → 1.53.0-next.55

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 (689) hide show
  1. package/README.md +7 -7
  2. package/i18n/nls.cs.json +582 -552
  3. package/i18n/nls.de.json +582 -552
  4. package/i18n/nls.es.json +582 -552
  5. package/i18n/nls.fr.json +582 -552
  6. package/i18n/nls.hu.json +582 -552
  7. package/i18n/nls.it.json +582 -552
  8. package/i18n/nls.ja.json +582 -552
  9. package/i18n/nls.json +582 -552
  10. package/i18n/nls.ko.json +582 -0
  11. package/i18n/nls.pl.json +582 -552
  12. package/i18n/nls.pt-br.json +582 -552
  13. package/i18n/nls.ru.json +582 -552
  14. package/i18n/nls.tr.json +582 -0
  15. package/i18n/nls.zh-cn.json +582 -552
  16. package/i18n/nls.zh-tw.json +582 -0
  17. package/lib/browser/authentication-service.d.ts +15 -14
  18. package/lib/browser/authentication-service.d.ts.map +1 -1
  19. package/lib/browser/authentication-service.js +5 -5
  20. package/lib/browser/authentication-service.js.map +1 -1
  21. package/lib/browser/catalog.json +6889 -0
  22. package/lib/browser/common-frontend-contribution.js +3 -3
  23. package/lib/browser/common-styling-participants.js +166 -166
  24. package/lib/browser/context-key-service.d.ts +3 -2
  25. package/lib/browser/context-key-service.d.ts.map +1 -1
  26. package/lib/browser/context-key-service.js.map +1 -1
  27. package/lib/browser/core-preferences.d.ts.map +1 -1
  28. package/lib/browser/core-preferences.js +9 -0
  29. package/lib/browser/core-preferences.js.map +1 -1
  30. package/lib/browser/frontend-application-module.d.ts.map +1 -1
  31. package/lib/browser/frontend-application-module.js.map +1 -1
  32. package/lib/browser/json-schema-store.d.ts +0 -3
  33. package/lib/browser/json-schema-store.d.ts.map +1 -1
  34. package/lib/browser/json-schema-store.js +2 -12
  35. package/lib/browser/json-schema-store.js.map +1 -1
  36. package/lib/browser/open-with-service.d.ts +13 -1
  37. package/lib/browser/open-with-service.d.ts.map +1 -1
  38. package/lib/browser/open-with-service.js +48 -9
  39. package/lib/browser/open-with-service.js.map +1 -1
  40. package/lib/browser/opener-service.d.ts +8 -0
  41. package/lib/browser/opener-service.d.ts.map +1 -1
  42. package/lib/browser/opener-service.js +18 -3
  43. package/lib/browser/opener-service.js.map +1 -1
  44. package/lib/browser/progress-location-service.spec.js +7 -7
  45. package/lib/browser/saveable-service.d.ts.map +1 -1
  46. package/lib/browser/saveable-service.js +6 -2
  47. package/lib/browser/saveable-service.js.map +1 -1
  48. package/lib/browser/saveable.d.ts +17 -1
  49. package/lib/browser/saveable.d.ts.map +1 -1
  50. package/lib/browser/saveable.js +62 -1
  51. package/lib/browser/saveable.js.map +1 -1
  52. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-menu-adapters.d.ts +5 -4
  53. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-menu-adapters.d.ts.map +1 -1
  54. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-menu-adapters.js +2 -1
  55. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-menu-adapters.js.map +1 -1
  56. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-registry.d.ts +6 -16
  57. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-registry.d.ts.map +1 -1
  58. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-registry.js +12 -29
  59. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-registry.js.map +1 -1
  60. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-types.d.ts +43 -78
  61. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-types.d.ts.map +1 -1
  62. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-types.js +8 -39
  63. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar-types.js.map +1 -1
  64. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.d.ts +10 -10
  65. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.d.ts.map +1 -1
  66. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.js +43 -32
  67. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.js.map +1 -1
  68. package/lib/browser/storage-service.js +3 -3
  69. package/lib/browser/tree/tree.spec.js +75 -75
  70. package/lib/browser/view-container.d.ts +2 -2
  71. package/lib/browser/view-container.d.ts.map +1 -1
  72. package/lib/browser/view-container.js.map +1 -1
  73. package/lib/browser/widget-open-handler.d.ts +4 -1
  74. package/lib/browser/widget-open-handler.d.ts.map +1 -1
  75. package/lib/browser/widget-open-handler.js.map +1 -1
  76. package/lib/browser/widgets/extractable-widget.js +1 -1
  77. package/lib/browser/widgets/extractable-widget.js.map +1 -1
  78. package/lib/browser/widgets/index.d.ts +1 -0
  79. package/lib/browser/widgets/index.d.ts.map +1 -1
  80. package/lib/browser/widgets/index.js +1 -0
  81. package/lib/browser/widgets/index.js.map +1 -1
  82. package/lib/browser/widgets/split-widget.d.ts +45 -0
  83. package/lib/browser/widgets/split-widget.d.ts.map +1 -0
  84. package/lib/browser/widgets/split-widget.js +126 -0
  85. package/lib/browser/widgets/split-widget.js.map +1 -0
  86. package/lib/common/event.d.ts +2 -0
  87. package/lib/common/event.d.ts.map +1 -1
  88. package/lib/common/event.js +4 -0
  89. package/lib/common/event.js.map +1 -1
  90. package/lib/common/glob.d.ts +4 -4
  91. package/lib/common/json-schema.d.ts +2 -0
  92. package/lib/common/json-schema.d.ts.map +1 -1
  93. package/lib/common/menu/menu-types.d.ts.map +1 -1
  94. package/lib/common/menu/menu-types.js.map +1 -1
  95. package/lib/electron-browser/electron-uri-handler.d.ts +6 -0
  96. package/lib/electron-browser/electron-uri-handler.d.ts.map +1 -0
  97. package/lib/electron-browser/electron-uri-handler.js +49 -0
  98. package/lib/electron-browser/electron-uri-handler.js.map +1 -0
  99. package/lib/electron-browser/menu/electron-main-menu-factory.d.ts +1 -1
  100. package/lib/electron-browser/menu/electron-main-menu-factory.d.ts.map +1 -1
  101. package/lib/electron-browser/menu/electron-main-menu-factory.js +6 -6
  102. package/lib/electron-browser/menu/electron-main-menu-factory.js.map +1 -1
  103. package/lib/electron-browser/preload.d.ts.map +1 -1
  104. package/lib/electron-browser/preload.js +12 -0
  105. package/lib/electron-browser/preload.js.map +1 -1
  106. package/lib/electron-browser/window/electron-window-module.d.ts.map +1 -1
  107. package/lib/electron-browser/window/electron-window-module.js +3 -0
  108. package/lib/electron-browser/window/electron-window-module.js.map +1 -1
  109. package/lib/electron-browser/window/external-app-open-handler.js +1 -1
  110. package/lib/electron-browser/window/external-app-open-handler.js.map +1 -1
  111. package/lib/electron-common/electron-api.d.ts +2 -0
  112. package/lib/electron-common/electron-api.d.ts.map +1 -1
  113. package/lib/electron-common/electron-api.js +2 -1
  114. package/lib/electron-common/electron-api.js.map +1 -1
  115. package/lib/electron-main/electron-api-main.d.ts +2 -0
  116. package/lib/electron-main/electron-api-main.d.ts.map +1 -1
  117. package/lib/electron-main/electron-api-main.js +27 -3
  118. package/lib/electron-main/electron-api-main.js.map +1 -1
  119. package/lib/electron-main/electron-main-application.d.ts +5 -3
  120. package/lib/electron-main/electron-main-application.d.ts.map +1 -1
  121. package/lib/electron-main/electron-main-application.js +57 -14
  122. package/lib/electron-main/electron-main-application.js.map +1 -1
  123. package/lib/electron-main/theia-electron-window.d.ts +1 -0
  124. package/lib/electron-main/theia-electron-window.d.ts.map +1 -1
  125. package/lib/electron-main/theia-electron-window.js +3 -0
  126. package/lib/electron-main/theia-electron-window.js.map +1 -1
  127. package/lib/node/i18n/theia-localization-contribution.d.ts.map +1 -1
  128. package/lib/node/i18n/theia-localization-contribution.js +12 -8
  129. package/lib/node/i18n/theia-localization-contribution.js.map +1 -1
  130. package/lib/node/process-utils.spec.js +8 -8
  131. package/package.json +10 -8
  132. package/shared/ajv/index.d.ts +2 -2
  133. package/shared/markdown-it.d.ts +2 -2
  134. package/shared/markdown-it.js +1 -1
  135. package/shared/reflect-metadata/index.d.ts +1 -1
  136. package/shared/reflect-metadata/index.js +1 -1
  137. package/shared/vscode-languageserver-types/index.d.ts +1 -1
  138. package/src/browser/about-dialog.tsx +137 -137
  139. package/src/browser/authentication-service.ts +467 -468
  140. package/src/browser/breadcrumbs/breadcrumb-popup-container.ts +101 -101
  141. package/src/browser/breadcrumbs/breadcrumb-renderer.tsx +41 -41
  142. package/src/browser/breadcrumbs/breadcrumbs-constants.ts +79 -79
  143. package/src/browser/breadcrumbs/breadcrumbs-renderer.tsx +185 -185
  144. package/src/browser/breadcrumbs/breadcrumbs-service.ts +108 -108
  145. package/src/browser/breadcrumbs/index.ts +21 -21
  146. package/src/browser/browser-clipboard-service.ts +122 -122
  147. package/src/browser/browser.ts +239 -239
  148. package/src/browser/clipboard-service.ts +23 -23
  149. package/src/browser/color-application-contribution.ts +110 -110
  150. package/src/browser/color-registry.ts +60 -60
  151. package/src/browser/command-open-handler.ts +54 -54
  152. package/src/browser/common-frontend-contribution.ts +2680 -2680
  153. package/src/browser/common-styling-participants.ts +361 -361
  154. package/src/browser/connection-status-service.spec.ts +200 -200
  155. package/src/browser/connection-status-service.ts +216 -216
  156. package/src/browser/context-key-service.ts +142 -142
  157. package/src/browser/context-menu-renderer.ts +124 -124
  158. package/src/browser/core-preferences.ts +343 -334
  159. package/src/browser/credentials-service.ts +106 -106
  160. package/src/browser/decoration-style.ts +65 -65
  161. package/src/browser/decorations-service.ts +209 -209
  162. package/src/browser/dialogs/react-dialog.tsx +56 -56
  163. package/src/browser/dialogs.ts +534 -534
  164. package/src/browser/diff-uris.ts +117 -117
  165. package/src/browser/encoding-registry.ts +97 -97
  166. package/src/browser/endpoint.spec.ts +148 -148
  167. package/src/browser/endpoint.ts +136 -136
  168. package/src/browser/external-uri-service.ts +79 -79
  169. package/src/browser/file-icons-js.d.ts +20 -20
  170. package/src/browser/frontend-application-bindings.ts +62 -62
  171. package/src/browser/frontend-application-config-provider.spec.ts +45 -45
  172. package/src/browser/frontend-application-config-provider.ts +50 -50
  173. package/src/browser/frontend-application-contribution.ts +110 -110
  174. package/src/browser/frontend-application-module.ts +474 -475
  175. package/src/browser/frontend-application-state.ts +74 -74
  176. package/src/browser/frontend-application.ts +326 -326
  177. package/src/browser/hover-service.ts +218 -218
  178. package/src/browser/http-open-handler.ts +49 -49
  179. package/src/browser/i18n/i18n-frontend-module.ts +27 -27
  180. package/src/browser/i18n/language-quick-pick-service.ts +130 -130
  181. package/src/browser/icon-registry.ts +87 -87
  182. package/src/browser/icon-theme-contribution.ts +64 -64
  183. package/src/browser/icon-theme-service.ts +217 -217
  184. package/src/browser/icons/CollapseAll.svg +7 -7
  185. package/src/browser/icons/CollapseAll_inverse.svg +7 -7
  186. package/src/browser/icons/Refresh.svg +7 -7
  187. package/src/browser/icons/Refresh_inverse.svg +7 -7
  188. package/src/browser/icons/add-inverse.svg +4 -4
  189. package/src/browser/icons/add.svg +4 -4
  190. package/src/browser/icons/arrow-down-bright.svg +6 -6
  191. package/src/browser/icons/arrow-down-dark.svg +6 -6
  192. package/src/browser/icons/arrow-up-bright.svg +6 -6
  193. package/src/browser/icons/arrow-up-dark.svg +6 -6
  194. package/src/browser/icons/case-sensitive-dark.svg +16 -16
  195. package/src/browser/icons/case-sensitive.svg +16 -16
  196. package/src/browser/icons/chevron-right-dark.svg +5 -5
  197. package/src/browser/icons/chevron-right-light.svg +6 -6
  198. package/src/browser/icons/circle-bright.svg +7 -7
  199. package/src/browser/icons/circle-dark.svg +7 -7
  200. package/src/browser/icons/clear-search-results-dark.svg +7 -7
  201. package/src/browser/icons/clear-search-results.svg +7 -7
  202. package/src/browser/icons/close-all-bright.svg +7 -7
  203. package/src/browser/icons/close-all-dark.svg +7 -7
  204. package/src/browser/icons/close-bright.svg +7 -7
  205. package/src/browser/icons/close-dark.svg +7 -7
  206. package/src/browser/icons/collapse.svg +4 -4
  207. package/src/browser/icons/edit-json-dark.svg +6 -6
  208. package/src/browser/icons/edit-json.svg +6 -6
  209. package/src/browser/icons/expand.svg +4 -4
  210. package/src/browser/icons/loading-dark.svg +6 -6
  211. package/src/browser/icons/loading-light.svg +6 -6
  212. package/src/browser/icons/open-change-bright.svg +3 -3
  213. package/src/browser/icons/open-change-dark.svg +4 -4
  214. package/src/browser/icons/open-file-bright.svg +4 -4
  215. package/src/browser/icons/open-file-dark.svg +4 -4
  216. package/src/browser/icons/preview-bright.svg +3 -3
  217. package/src/browser/icons/preview-dark.svg +3 -3
  218. package/src/browser/icons/regex-dark.svg +10 -10
  219. package/src/browser/icons/regex.svg +10 -10
  220. package/src/browser/icons/remove-all-inverse.svg +4 -4
  221. package/src/browser/icons/remove-all.svg +4 -4
  222. package/src/browser/icons/replace-all-inverse.svg +13 -13
  223. package/src/browser/icons/replace-all.svg +13 -13
  224. package/src/browser/icons/replace-inverse.svg +15 -15
  225. package/src/browser/icons/replace.svg +15 -15
  226. package/src/browser/icons/whole-word-dark.svg +19 -19
  227. package/src/browser/icons/whole-word.svg +19 -19
  228. package/src/browser/index.ts +50 -50
  229. package/src/browser/json-schema-store.ts +118 -127
  230. package/src/browser/keybinding.spec.ts +554 -554
  231. package/src/browser/keybinding.ts +759 -759
  232. package/src/browser/keyboard/browser-keyboard-frontend-contribution.ts +108 -108
  233. package/src/browser/keyboard/browser-keyboard-layout-provider.spec.ts +171 -171
  234. package/src/browser/keyboard/browser-keyboard-layout-provider.ts +469 -469
  235. package/src/browser/keyboard/browser-keyboard-module.ts +30 -30
  236. package/src/browser/keyboard/index.ts +20 -20
  237. package/src/browser/keyboard/keyboard-layout-service.spec.ts +121 -121
  238. package/src/browser/keyboard/keyboard-layout-service.ts +455 -455
  239. package/src/browser/keyboard/keys.spec.ts +258 -258
  240. package/src/browser/keyboard/keys.ts +20 -20
  241. package/src/browser/keys.ts +21 -21
  242. package/src/browser/label-parser.spec.ts +165 -165
  243. package/src/browser/label-parser.ts +108 -108
  244. package/src/browser/label-provider.spec.ts +62 -62
  245. package/src/browser/label-provider.ts +385 -385
  246. package/src/browser/language-icon-provider.ts +55 -55
  247. package/src/browser/language-service.ts +77 -77
  248. package/src/browser/logger-frontend-module.ts +65 -65
  249. package/src/browser/markdown-rendering/markdown-renderer.ts +98 -98
  250. package/src/browser/menu/browser-context-menu-renderer.ts +48 -48
  251. package/src/browser/menu/browser-menu-module.ts +28 -28
  252. package/src/browser/menu/browser-menu-plugin.ts +491 -491
  253. package/src/browser/menu/context-menu-context.ts +41 -41
  254. package/src/browser/messaging/connection-source.ts +26 -26
  255. package/src/browser/messaging/frontend-id-provider.ts +37 -37
  256. package/src/browser/messaging/index.ts +18 -18
  257. package/src/browser/messaging/messaging-frontend-module.ts +41 -41
  258. package/src/browser/messaging/service-connection-provider.ts +140 -140
  259. package/src/browser/messaging/ws-connection-provider.ts +49 -49
  260. package/src/browser/messaging/ws-connection-source.ts +230 -230
  261. package/src/browser/mime-service.ts +30 -30
  262. package/src/browser/navigatable-types.ts +81 -81
  263. package/src/browser/navigatable.ts +39 -39
  264. package/src/browser/open-with-service.ts +140 -93
  265. package/src/browser/opener-service.spec.ts +49 -49
  266. package/src/browser/opener-service.ts +169 -146
  267. package/src/browser/performance/frontend-stopwatch.ts +65 -65
  268. package/src/browser/performance/index.ts +18 -18
  269. package/src/browser/performance/measurement-frontend-bindings.ts +31 -31
  270. package/src/browser/preferences/index.ts +23 -23
  271. package/src/browser/preferences/injectable-preference-proxy.ts +283 -283
  272. package/src/browser/preferences/preference-configurations.ts +82 -82
  273. package/src/browser/preferences/preference-contribution.ts +436 -436
  274. package/src/browser/preferences/preference-language-override-service.ts +111 -111
  275. package/src/browser/preferences/preference-provider.spec.ts +36 -36
  276. package/src/browser/preferences/preference-provider.ts +277 -277
  277. package/src/browser/preferences/preference-proxy.spec.ts +367 -367
  278. package/src/browser/preferences/preference-proxy.ts +367 -367
  279. package/src/browser/preferences/preference-schema-provider.spec.ts +130 -130
  280. package/src/browser/preferences/preference-scope.ts +18 -18
  281. package/src/browser/preferences/preference-service.spec.ts +613 -613
  282. package/src/browser/preferences/preference-service.ts +594 -594
  283. package/src/browser/preferences/preference-validation-service.spec.ts +334 -334
  284. package/src/browser/preferences/preference-validation-service.ts +358 -358
  285. package/src/browser/preferences/test/index.ts +19 -19
  286. package/src/browser/preferences/test/mock-preference-provider.ts +50 -50
  287. package/src/browser/preferences/test/mock-preference-proxy.ts +48 -48
  288. package/src/browser/preferences/test/mock-preference-service.ts +63 -63
  289. package/src/browser/preload/i18n-preload-contribution.ts +50 -50
  290. package/src/browser/preload/os-preload-contribution.ts +37 -37
  291. package/src/browser/preload/preload-module.ts +45 -45
  292. package/src/browser/preload/preloader.ts +37 -37
  293. package/src/browser/preload/theme-preload-contribution.ts +31 -31
  294. package/src/browser/progress-bar-factory.ts +29 -29
  295. package/src/browser/progress-bar.ts +76 -76
  296. package/src/browser/progress-client.ts +53 -53
  297. package/src/browser/progress-location-service.spec.ts +50 -50
  298. package/src/browser/progress-location-service.ts +96 -96
  299. package/src/browser/progress-status-bar-item.ts +83 -83
  300. package/src/browser/quick-input/index.ts +23 -23
  301. package/src/browser/quick-input/quick-access.ts +75 -75
  302. package/src/browser/quick-input/quick-command-frontend-contribution.ts +89 -89
  303. package/src/browser/quick-input/quick-command-service.ts +246 -246
  304. package/src/browser/quick-input/quick-help-service.ts +87 -87
  305. package/src/browser/quick-input/quick-input-frontend-contribution.ts +33 -33
  306. package/src/browser/quick-input/quick-input-service.spec.ts +176 -176
  307. package/src/browser/quick-input/quick-input-service.ts +17 -17
  308. package/src/browser/quick-input/quick-pick-service-impl.ts +69 -69
  309. package/src/browser/quick-input/quick-view-service.ts +83 -83
  310. package/src/browser/request/browser-request-module.ts +23 -23
  311. package/src/browser/request/browser-request-service.ts +172 -172
  312. package/src/browser/resource-context-key.ts +77 -77
  313. package/src/browser/saveable-service.ts +332 -328
  314. package/src/browser/saveable.ts +395 -327
  315. package/src/browser/secondary-window-handler.ts +211 -211
  316. package/src/browser/shell/additional-views-menu-widget.tsx +71 -71
  317. package/src/browser/shell/application-shell-mouse-tracker.ts +103 -103
  318. package/src/browser/shell/application-shell.ts +2271 -2271
  319. package/src/browser/shell/current-widget-command-adapter.ts +57 -57
  320. package/src/browser/shell/index.ts +23 -23
  321. package/src/browser/shell/shell-layout-restorer.ts +399 -399
  322. package/src/browser/shell/side-panel-handler.ts +794 -794
  323. package/src/browser/shell/side-panel-toolbar.ts +111 -111
  324. package/src/browser/shell/sidebar-bottom-menu-widget.tsx +39 -39
  325. package/src/browser/shell/sidebar-menu-widget.tsx +183 -183
  326. package/src/browser/shell/sidebar-top-menu-widget.tsx +26 -26
  327. package/src/browser/shell/split-panels.ts +191 -191
  328. package/src/browser/shell/tab-bar-decorator.ts +106 -106
  329. package/src/browser/shell/tab-bar-toolbar/index.ts +19 -19
  330. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar-menu-adapters.ts +31 -31
  331. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar-registry.ts +242 -256
  332. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar-types.ts +149 -207
  333. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar.spec.ts +62 -62
  334. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar.tsx +443 -428
  335. package/src/browser/shell/tab-bars.spec.ts +63 -63
  336. package/src/browser/shell/tab-bars.ts +1468 -1468
  337. package/src/browser/shell/theia-dock-panel.ts +265 -265
  338. package/src/browser/shell/view-column-service.ts +125 -125
  339. package/src/browser/shell/view-contribution.ts +178 -178
  340. package/src/browser/source-tree/index.ts +19 -19
  341. package/src/browser/source-tree/source-tree-widget.tsx +107 -107
  342. package/src/browser/source-tree/source-tree.ts +146 -146
  343. package/src/browser/source-tree/tree-source.ts +73 -73
  344. package/src/browser/status-bar/index.ts +29 -29
  345. package/src/browser/status-bar/status-bar-types.ts +97 -97
  346. package/src/browser/status-bar/status-bar-view-model.ts +209 -209
  347. package/src/browser/status-bar/status-bar.tsx +189 -189
  348. package/src/browser/storage-service.spec.ts +76 -76
  349. package/src/browser/storage-service.ts +129 -129
  350. package/src/browser/style/about.css +36 -36
  351. package/src/browser/style/alert-messages.css +62 -62
  352. package/src/browser/style/ansi.css +88 -88
  353. package/src/browser/style/breadcrumbs.css +130 -130
  354. package/src/browser/style/dialog.css +126 -126
  355. package/src/browser/style/dockpanel.css +76 -76
  356. package/src/browser/style/hover-service.css +101 -101
  357. package/src/browser/style/icons.css +61 -61
  358. package/src/browser/style/index.css +353 -351
  359. package/src/browser/style/materialcolors.css +278 -278
  360. package/src/browser/style/menus.css +230 -230
  361. package/src/browser/style/notification.css +39 -39
  362. package/src/browser/style/os.css +87 -87
  363. package/src/browser/style/progress-bar.css +43 -43
  364. package/src/browser/style/quick-title-bar.css +45 -45
  365. package/src/browser/style/scrollbars.css +172 -172
  366. package/src/browser/style/search-box.css +123 -123
  367. package/src/browser/style/select-component.css +107 -107
  368. package/src/browser/style/sidepanel.css +367 -367
  369. package/src/browser/style/split-widget.css +38 -0
  370. package/src/browser/style/status-bar.css +127 -127
  371. package/src/browser/style/tabs.css +647 -658
  372. package/src/browser/style/tooltip.css +28 -28
  373. package/src/browser/style/tree-decorators.css +81 -81
  374. package/src/browser/style/tree.css +232 -232
  375. package/src/browser/style/view-container.css +187 -194
  376. package/src/browser/style/widget.css +19 -19
  377. package/src/browser/styling-service.ts +96 -96
  378. package/src/browser/supported-encodings.ts +262 -262
  379. package/src/browser/test/jsdom.ts +69 -69
  380. package/src/browser/test/mock-connection-status-service.ts +33 -33
  381. package/src/browser/test/mock-env-variables-server.ts +47 -47
  382. package/src/browser/test/mock-opener-service.ts +34 -34
  383. package/src/browser/test/mock-storage-service.ts +49 -49
  384. package/src/browser/theming.ts +206 -206
  385. package/src/browser/tooltip-service.tsx +96 -96
  386. package/src/browser/tree/fuzzy-search.spec.ts +99 -99
  387. package/src/browser/tree/fuzzy-search.ts +136 -136
  388. package/src/browser/tree/index.ts +29 -29
  389. package/src/browser/tree/search-box-debounce.ts +96 -96
  390. package/src/browser/tree/search-box.ts +355 -355
  391. package/src/browser/tree/test/mock-selectable-tree-model.ts +109 -109
  392. package/src/browser/tree/test/mock-tree-model.ts +136 -136
  393. package/src/browser/tree/test/tree-test-container.ts +50 -50
  394. package/src/browser/tree/tree-compression/compressed-tree-expansion-service.ts +46 -46
  395. package/src/browser/tree/tree-compression/compressed-tree-model.ts +88 -88
  396. package/src/browser/tree/tree-compression/compressed-tree-widget.tsx +203 -203
  397. package/src/browser/tree/tree-compression/index.ts +20 -20
  398. package/src/browser/tree/tree-compression/tree-compression-service.ts +125 -125
  399. package/src/browser/tree/tree-compression/tree-compression.css +28 -28
  400. package/src/browser/tree/tree-consistency.spec.ts +105 -105
  401. package/src/browser/tree/tree-container.spec.ts +45 -45
  402. package/src/browser/tree/tree-container.ts +155 -155
  403. package/src/browser/tree/tree-decorator.spec.ts +162 -162
  404. package/src/browser/tree/tree-decorator.ts +238 -238
  405. package/src/browser/tree/tree-expansion.spec.ts +173 -173
  406. package/src/browser/tree/tree-expansion.ts +165 -165
  407. package/src/browser/tree/tree-focus-service.ts +55 -55
  408. package/src/browser/tree/tree-iterator.spec.ts +170 -170
  409. package/src/browser/tree/tree-iterator.ts +256 -256
  410. package/src/browser/tree/tree-label-provider.ts +40 -40
  411. package/src/browser/tree/tree-model.ts +562 -562
  412. package/src/browser/tree/tree-navigation.ts +58 -58
  413. package/src/browser/tree/tree-preference.ts +50 -50
  414. package/src/browser/tree/tree-search.ts +128 -128
  415. package/src/browser/tree/tree-selectable.spec.ts +152 -152
  416. package/src/browser/tree/tree-selection-impl.ts +176 -176
  417. package/src/browser/tree/tree-selection-state.spec.ts +462 -462
  418. package/src/browser/tree/tree-selection-state.ts +245 -245
  419. package/src/browser/tree/tree-selection.ts +159 -159
  420. package/src/browser/tree/tree-view-welcome-widget.tsx +263 -263
  421. package/src/browser/tree/tree-widget-selection.ts +45 -45
  422. package/src/browser/tree/tree-widget.tsx +1591 -1591
  423. package/src/browser/tree/tree.spec.ts +241 -241
  424. package/src/browser/tree/tree.ts +425 -425
  425. package/src/browser/undo-redo-handler.ts +85 -85
  426. package/src/browser/user-working-directory-provider.ts +77 -77
  427. package/src/browser/view-container.ts +1640 -1640
  428. package/src/browser/widget-decoration.ts +358 -358
  429. package/src/browser/widget-manager.spec.ts +102 -102
  430. package/src/browser/widget-manager.ts +318 -318
  431. package/src/browser/widget-open-handler.ts +168 -165
  432. package/src/browser/widgets/alert-message.tsx +56 -56
  433. package/src/browser/widgets/enhanced-preview-widget.ts +27 -27
  434. package/src/browser/widgets/extractable-widget.ts +33 -33
  435. package/src/browser/widgets/index.ts +21 -20
  436. package/src/browser/widgets/previewable-widget.ts +31 -31
  437. package/src/browser/widgets/react-renderer.tsx +53 -53
  438. package/src/browser/widgets/react-widget.tsx +51 -51
  439. package/src/browser/widgets/select-component.tsx +367 -367
  440. package/src/browser/widgets/split-widget.ts +163 -0
  441. package/src/browser/widgets/widget.ts +406 -406
  442. package/src/browser/window/browser-window-module.ts +32 -32
  443. package/src/browser/window/default-secondary-window-service.ts +189 -189
  444. package/src/browser/window/default-window-service.spec.ts +78 -78
  445. package/src/browser/window/default-window-service.ts +171 -171
  446. package/src/browser/window/secondary-window-service.ts +39 -39
  447. package/src/browser/window/test/mock-window-service.ts +29 -29
  448. package/src/browser/window/window-service.ts +78 -78
  449. package/src/browser/window/window-title-service.ts +107 -107
  450. package/src/browser/window/window-title-updater.ts +95 -95
  451. package/src/browser/window-contribution.ts +64 -64
  452. package/src/browser-only/frontend-only-application-module.ts +116 -116
  453. package/src/browser-only/i18n/i18n-frontend-only-module.ts +37 -37
  454. package/src/browser-only/logger-frontend-only-module.ts +63 -63
  455. package/src/browser-only/messaging/frontend-only-service-connection-provider.ts +39 -39
  456. package/src/browser-only/messaging/messaging-frontend-only-module.ts +42 -42
  457. package/src/browser-only/preload/frontend-only-preload-module.ts +49 -49
  458. package/src/common/accessibility.ts +33 -33
  459. package/src/common/application-error.spec.ts +27 -27
  460. package/src/common/application-error.ts +76 -76
  461. package/src/common/application-protocol.ts +42 -42
  462. package/src/common/array-utils.ts +129 -129
  463. package/src/common/buffer.ts +228 -228
  464. package/src/common/cancellation.ts +163 -163
  465. package/src/common/char-code.ts +438 -438
  466. package/src/common/collections.ts +125 -125
  467. package/src/common/color.ts +103 -103
  468. package/src/common/command.spec.ts +208 -208
  469. package/src/common/command.ts +489 -489
  470. package/src/common/contribution-filter/contribution-filter-registry.ts +79 -79
  471. package/src/common/contribution-filter/contribution-filter.ts +64 -64
  472. package/src/common/contribution-filter/filter.ts +23 -23
  473. package/src/common/contribution-filter/index.ts +19 -19
  474. package/src/common/contribution-provider.ts +96 -96
  475. package/src/common/disposable.spec.ts +94 -94
  476. package/src/common/disposable.ts +188 -188
  477. package/src/common/encoding-service.ts +380 -380
  478. package/src/common/encodings.ts +24 -24
  479. package/src/common/env-variables/env-variables-protocol.ts +38 -38
  480. package/src/common/env-variables/index.ts +17 -17
  481. package/src/common/event.spec.ts +32 -32
  482. package/src/common/event.ts +493 -487
  483. package/src/common/file-uri.ts +61 -61
  484. package/src/common/frontend-application-state.ts +38 -38
  485. package/src/common/glob.ts +741 -741
  486. package/src/common/hash.ts +85 -85
  487. package/src/common/i18n/localization-server.ts +25 -25
  488. package/src/common/i18n/localization.ts +80 -80
  489. package/src/common/i18n/nls.metadata.json +34112 -34112
  490. package/src/common/index.ts +51 -51
  491. package/src/common/json-schema.ts +108 -106
  492. package/src/common/key-store.ts +26 -26
  493. package/src/common/keybinding.ts +152 -152
  494. package/src/common/keyboard/keyboard-layout-provider.ts +51 -51
  495. package/src/common/keys.ts +694 -694
  496. package/src/common/label-protocol.ts +35 -35
  497. package/src/common/logger-protocol.ts +119 -119
  498. package/src/common/logger-watcher.ts +48 -48
  499. package/src/common/logger.spec.ts +46 -46
  500. package/src/common/logger.ts +389 -389
  501. package/src/common/lsp-types.ts +34 -34
  502. package/src/common/markdown-rendering/icon-utilities.ts +30 -30
  503. package/src/common/markdown-rendering/index.ts +18 -18
  504. package/src/common/markdown-rendering/markdown-string.ts +152 -152
  505. package/src/common/menu/action-menu-node.ts +65 -65
  506. package/src/common/menu/composite-menu-node.spec.ts +67 -67
  507. package/src/common/menu/composite-menu-node.ts +114 -114
  508. package/src/common/menu/index.ts +21 -21
  509. package/src/common/menu/menu-adapter.ts +103 -103
  510. package/src/common/menu/menu-model-registry.ts +374 -374
  511. package/src/common/menu/menu-types.ts +220 -219
  512. package/src/common/menu/menu.spec.ts +101 -101
  513. package/src/common/message-rpc/channel.spec.ts +88 -88
  514. package/src/common/message-rpc/channel.ts +300 -300
  515. package/src/common/message-rpc/index.ts +22 -22
  516. package/src/common/message-rpc/message-buffer.ts +105 -105
  517. package/src/common/message-rpc/msg-pack-extension-manager.ts +70 -70
  518. package/src/common/message-rpc/rpc-message-encoder.spec.ts +65 -65
  519. package/src/common/message-rpc/rpc-message-encoder.ts +190 -190
  520. package/src/common/message-rpc/rpc-protocol.ts +255 -255
  521. package/src/common/message-rpc/uint8-array-message-buffer.spec.ts +41 -41
  522. package/src/common/message-rpc/uint8-array-message-buffer.ts +213 -213
  523. package/src/common/message-service-protocol.ts +148 -148
  524. package/src/common/message-service.ts +226 -226
  525. package/src/common/messaging/connection-error-handler.ts +73 -73
  526. package/src/common/messaging/connection-management.ts +43 -43
  527. package/src/common/messaging/handler.ts +26 -26
  528. package/src/common/messaging/index.ts +19 -19
  529. package/src/common/messaging/proxy-factory.spec.ts +108 -108
  530. package/src/common/messaging/proxy-factory.ts +336 -336
  531. package/src/common/messaging/socket-write-buffer.ts +52 -52
  532. package/src/common/messaging/web-socket-channel.ts +76 -76
  533. package/src/common/nls.ts +151 -151
  534. package/src/common/numbers.ts +21 -21
  535. package/src/common/objects.spec.ts +112 -112
  536. package/src/common/objects.ts +123 -123
  537. package/src/common/os.ts +82 -82
  538. package/src/common/path.spec.ts +415 -415
  539. package/src/common/path.ts +334 -334
  540. package/src/common/paths.ts +250 -250
  541. package/src/common/performance/index.ts +19 -19
  542. package/src/common/performance/measurement-protocol.ts +104 -104
  543. package/src/common/performance/measurement.ts +130 -130
  544. package/src/common/performance/stopwatch.ts +183 -183
  545. package/src/common/preferences/preference-schema.ts +101 -101
  546. package/src/common/preferences/preference-scope.spec.ts +48 -48
  547. package/src/common/preferences/preference-scope.ts +68 -68
  548. package/src/common/prioritizeable.ts +58 -58
  549. package/src/common/progress-service-protocol.ts +35 -35
  550. package/src/common/progress-service.ts +82 -82
  551. package/src/common/promise-util.spec.ts +102 -102
  552. package/src/common/promise-util.ts +143 -143
  553. package/src/common/quick-pick-service.ts +353 -353
  554. package/src/common/reference.spec.ts +145 -145
  555. package/src/common/reference.ts +230 -230
  556. package/src/common/resource.ts +430 -430
  557. package/src/common/selection-command-handler.ts +101 -101
  558. package/src/common/selection-service.spec.ts +43 -43
  559. package/src/common/selection-service.ts +49 -49
  560. package/src/common/selection.ts +50 -50
  561. package/src/common/severity.ts +111 -111
  562. package/src/common/stream.ts +718 -718
  563. package/src/common/strings.ts +231 -231
  564. package/src/common/telemetry.ts +45 -45
  565. package/src/common/ternary-search-tree.ts +417 -417
  566. package/src/common/test/expect.ts +34 -34
  567. package/src/common/test/mock-logger.ts +118 -118
  568. package/src/common/test/mock-menu.ts +35 -35
  569. package/src/common/test/mock-resource-provider.ts +33 -33
  570. package/src/common/theme.ts +68 -68
  571. package/src/common/types.spec.ts +86 -86
  572. package/src/common/types.ts +140 -140
  573. package/src/common/uri-command-handler.spec.ts +90 -90
  574. package/src/common/uri-command-handler.ts +148 -148
  575. package/src/common/uri.spec.ts +278 -278
  576. package/src/common/uri.ts +279 -279
  577. package/src/common/uuid.ts +45 -45
  578. package/src/common/version.ts +17 -17
  579. package/src/common/view-column.ts +33 -33
  580. package/src/common/window.ts +34 -34
  581. package/src/electron-browser/electron-clipboard-service.ts +32 -32
  582. package/src/electron-browser/electron-uri-handler.ts +42 -0
  583. package/src/electron-browser/keyboard/electron-keyboard-layout-change-notifier.ts +39 -39
  584. package/src/electron-browser/keyboard/electron-keyboard-module.ts +28 -28
  585. package/src/electron-browser/menu/electron-context-menu-renderer.ts +122 -122
  586. package/src/electron-browser/menu/electron-main-menu-factory.ts +339 -338
  587. package/src/electron-browser/menu/electron-menu-contribution.ts +506 -506
  588. package/src/electron-browser/menu/electron-menu-module.ts +40 -40
  589. package/src/electron-browser/menu/electron-menu-style.css +110 -110
  590. package/src/electron-browser/messaging/electron-frontend-id-provider.ts +25 -25
  591. package/src/electron-browser/messaging/electron-ipc-connection-source.ts +65 -65
  592. package/src/electron-browser/messaging/electron-local-ws-connection-source.ts +45 -45
  593. package/src/electron-browser/messaging/electron-messaging-frontend-module.ts +78 -78
  594. package/src/electron-browser/messaging/electron-ws-connection-source.ts +38 -38
  595. package/src/electron-browser/preload.ts +264 -249
  596. package/src/electron-browser/request/electron-browser-request-module.ts +26 -26
  597. package/src/electron-browser/token/electron-token-frontend-module.ts +22 -22
  598. package/src/electron-browser/window/electron-frontend-application-state.ts +26 -26
  599. package/src/electron-browser/window/electron-secondary-window-service.ts +35 -35
  600. package/src/electron-browser/window/electron-window-module.ts +48 -45
  601. package/src/electron-browser/window/electron-window-preferences.ts +76 -76
  602. package/src/electron-browser/window/electron-window-service.ts +109 -109
  603. package/src/electron-browser/window/external-app-open-handler.ts +42 -42
  604. package/src/electron-common/electron-api.ts +157 -154
  605. package/src/electron-common/electron-main-window-service.ts +24 -24
  606. package/src/electron-common/electron-token.ts +27 -27
  607. package/src/electron-main/electron-api-main.ts +373 -347
  608. package/src/electron-main/electron-main-application-module.ts +65 -65
  609. package/src/electron-main/electron-main-application.ts +860 -818
  610. package/src/electron-main/electron-main-constants.ts +23 -23
  611. package/src/electron-main/electron-main-window-service-impl.ts +44 -44
  612. package/src/electron-main/electron-security-token-service.ts +36 -36
  613. package/src/electron-main/event-utils.ts +36 -36
  614. package/src/electron-main/messaging/electron-connection-handler.ts +21 -21
  615. package/src/electron-main/messaging/electron-messaging-contribution.ts +143 -143
  616. package/src/electron-main/messaging/electron-messaging-service.ts +35 -35
  617. package/src/electron-main/theia-electron-window.ts +219 -214
  618. package/src/electron-node/cli/electron-backend-cli-module.ts +24 -24
  619. package/src/electron-node/cli/electron-cli-contribution.ts +35 -35
  620. package/src/electron-node/hosting/electron-backend-hosting-module.ts +24 -24
  621. package/src/electron-node/hosting/electron-ws-origin-validator.ts +37 -37
  622. package/src/electron-node/keyboard/electron-backend-keyboard-module.ts +30 -30
  623. package/src/electron-node/keyboard/electron-keyboard-layout-provider.ts +35 -35
  624. package/src/electron-node/request/electron-backend-request-module.ts +23 -23
  625. package/src/electron-node/request/electron-backend-request-service.ts +78 -78
  626. package/src/electron-node/token/electron-token-backend-contribution.ts +48 -48
  627. package/src/electron-node/token/electron-token-backend-module.ts +28 -28
  628. package/src/electron-node/token/electron-token-validator.ts +93 -93
  629. package/src/node/application-server.ts +59 -59
  630. package/src/node/backend-application-config-provider.spec.ts +29 -29
  631. package/src/node/backend-application-config-provider.ts +48 -48
  632. package/src/node/backend-application-module.ts +139 -139
  633. package/src/node/backend-application.ts +374 -374
  634. package/src/node/cli.spec.ts +94 -94
  635. package/src/node/cli.ts +63 -63
  636. package/src/node/console-logger-server.spec.ts +59 -59
  637. package/src/node/console-logger-server.ts +76 -76
  638. package/src/node/debug.ts +30 -30
  639. package/src/node/dynamic-require.ts +56 -56
  640. package/src/node/env-variables/env-variables-server.ts +123 -123
  641. package/src/node/env-variables/index.ts +17 -17
  642. package/src/node/environment-utils.spec.ts +92 -92
  643. package/src/node/environment-utils.ts +66 -66
  644. package/src/node/file-uri.spec.ts +76 -76
  645. package/src/node/filesystem-locking.ts +77 -77
  646. package/src/node/hosting/backend-application-hosts.ts +60 -60
  647. package/src/node/hosting/backend-hosting-module.ts +26 -26
  648. package/src/node/hosting/ws-origin-validator.ts +36 -36
  649. package/src/node/i18n/i18n-backend-module.ts +42 -42
  650. package/src/node/i18n/localization-contribution.ts +112 -112
  651. package/src/node/i18n/localization-provider.ts +125 -125
  652. package/src/node/i18n/localization-server.ts +52 -52
  653. package/src/node/i18n/theia-localization-contribution.ts +40 -36
  654. package/src/node/index.ts +22 -22
  655. package/src/node/key-store-server.ts +162 -162
  656. package/src/node/logger-backend-module.ts +88 -88
  657. package/src/node/logger-cli-contribution.spec.ts +245 -245
  658. package/src/node/logger-cli-contribution.ts +168 -168
  659. package/src/node/main.ts +33 -33
  660. package/src/node/messaging/binary-message-pipe.ts +168 -168
  661. package/src/node/messaging/connection-container-module.ts +96 -96
  662. package/src/node/messaging/default-messaging-service.ts +129 -129
  663. package/src/node/messaging/frontend-connection-service.ts +24 -24
  664. package/src/node/messaging/index.ts +19 -19
  665. package/src/node/messaging/ipc-bootstrap.ts +27 -27
  666. package/src/node/messaging/ipc-channel.ts +77 -77
  667. package/src/node/messaging/ipc-connection-provider.ts +107 -107
  668. package/src/node/messaging/ipc-protocol.ts +76 -76
  669. package/src/node/messaging/messaging-backend-module.ts +52 -52
  670. package/src/node/messaging/messaging-listeners.ts +52 -52
  671. package/src/node/messaging/messaging-service.ts +46 -46
  672. package/src/node/messaging/test/test-web-socket-channel.ts +61 -61
  673. package/src/node/messaging/websocket-endpoint.ts +79 -79
  674. package/src/node/messaging/websocket-frontend-connection-service.ts +186 -186
  675. package/src/node/os-backend-provider.ts +25 -25
  676. package/src/node/performance/index.ts +18 -18
  677. package/src/node/performance/measurement-backend-bindings.ts +35 -35
  678. package/src/node/performance/node-stopwatch.ts +40 -40
  679. package/src/node/process-utils.spec.ts +48 -48
  680. package/src/node/process-utils.ts +102 -102
  681. package/src/node/remote/backend-remote-service.ts +25 -25
  682. package/src/node/remote/remote-cli-contribution.ts +34 -34
  683. package/src/node/remote/remote-copy-contribution.ts +45 -45
  684. package/src/node/request/backend-request-facade.ts +39 -39
  685. package/src/node/request/backend-request-module.ts +25 -25
  686. package/src/node/request/proxy-cli-contribution.ts +65 -65
  687. package/src/node/ws-request-validators.ts +56 -56
  688. package/src/typings/native-keymap.d.ts +108 -108
  689. package/i18n/nls.pt-pt.json +0 -552
@@ -1,1640 +1,1640 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2018-2019 TypeFox and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { interfaces, injectable, inject, postConstruct } from 'inversify';
18
- import { IIterator, toArray, find, some, every, map, ArrayExt } from '@phosphor/algorithm';
19
- import {
20
- Widget, EXPANSION_TOGGLE_CLASS, COLLAPSED_CLASS, CODICON_TREE_ITEM_CLASSES, MessageLoop, Message, SplitPanel,
21
- BaseWidget, addEventListener, SplitLayout, LayoutItem, PanelLayout, addKeyListener, waitForRevealed, UnsafeWidgetUtilities, DockPanel, PINNED_CLASS
22
- } from './widgets';
23
- import { Event as CommonEvent, Emitter } from '../common/event';
24
- import { Disposable, DisposableCollection } from '../common/disposable';
25
- import { CommandRegistry } from '../common/command';
26
- import { MenuModelRegistry, MenuPath, MenuAction } from '../common/menu';
27
- import { ApplicationShell, StatefulWidget, SplitPositionHandler, SplitPositionOptions, SIDE_PANEL_TOOLBAR_CONTEXT_MENU } from './shell';
28
- import { MAIN_AREA_ID, BOTTOM_AREA_ID } from './shell/theia-dock-panel';
29
- import { FrontendApplicationStateService } from './frontend-application-state';
30
- import { ContextMenuRenderer, Anchor } from './context-menu-renderer';
31
- import { parseCssMagnitude } from './browser';
32
- import { TabBarToolbarRegistry, TabBarToolbarFactory, TabBarToolbar, TabBarDelegator, TabBarToolbarItem } from './shell/tab-bar-toolbar';
33
- import { isEmpty, isObject, nls } from '../common';
34
- import { WidgetManager } from './widget-manager';
35
- import { Key } from './keys';
36
- import { ProgressBarFactory } from './progress-bar-factory';
37
- import { Drag, IDragEvent } from '@phosphor/dragdrop';
38
- import { MimeData } from '@phosphor/coreutils';
39
- import { ElementExt } from '@phosphor/domutils';
40
- import { TabBarDecoratorService } from './shell/tab-bar-decorator';
41
-
42
- export interface ViewContainerTitleOptions {
43
- label: string;
44
- caption?: string;
45
- iconClass?: string;
46
- closeable?: boolean;
47
- }
48
-
49
- @injectable()
50
- export class ViewContainerIdentifier {
51
- id: string;
52
- progressLocationId?: string;
53
- }
54
-
55
- export interface DescriptionWidget {
56
- description: string;
57
- onDidChangeDescription: CommonEvent<void>;
58
- }
59
-
60
- export interface BadgeWidget {
61
- badge?: number;
62
- badgeTooltip?: string;
63
- onDidChangeBadge: CommonEvent<void>;
64
- onDidChangeBadgeTooltip: CommonEvent<void>;
65
- }
66
-
67
- export namespace DescriptionWidget {
68
- export function is(arg: unknown): arg is DescriptionWidget {
69
- return isObject(arg) && 'onDidChangeDescription' in arg;
70
- }
71
- }
72
-
73
- export namespace BadgeWidget {
74
- export function is(arg: unknown): arg is BadgeWidget {
75
- return isObject(arg) && 'onDidChangeBadge' in arg && 'onDidChangeBadgeTooltip' in arg;
76
- }
77
- }
78
-
79
- /**
80
- * A widget that may change it's internal structure dynamically.
81
- * Current use is to update the toolbar when a contributed view is constructed "lazily".
82
- */
83
- export interface DynamicToolbarWidget {
84
- onDidChangeToolbarItems: CommonEvent<void>;
85
- }
86
-
87
- export namespace DynamicToolbarWidget {
88
- export function is(arg: unknown): arg is DynamicToolbarWidget {
89
- return isObject(arg) && 'onDidChangeToolbarItems' in arg;
90
- }
91
- }
92
-
93
- /**
94
- * A view container holds an arbitrary number of widgets inside a split panel.
95
- * Each widget is wrapped in a _part_ that displays the widget title and toolbar
96
- * and allows to collapse / expand the widget content.
97
- */
98
- @injectable()
99
- export class ViewContainer extends BaseWidget implements StatefulWidget, ApplicationShell.TrackableWidgetProvider, TabBarDelegator {
100
-
101
- protected panel: SplitPanel;
102
-
103
- protected currentPart: ViewContainerPart | undefined;
104
-
105
- /**
106
- * Disable dragging parts from/to this view container.
107
- */
108
- disableDNDBetweenContainers = false;
109
-
110
- @inject(FrontendApplicationStateService)
111
- protected readonly applicationStateService: FrontendApplicationStateService;
112
-
113
- @inject(ContextMenuRenderer)
114
- protected readonly contextMenuRenderer: ContextMenuRenderer;
115
-
116
- @inject(CommandRegistry)
117
- protected readonly commandRegistry: CommandRegistry;
118
-
119
- @inject(MenuModelRegistry)
120
- protected readonly menuRegistry: MenuModelRegistry;
121
-
122
- @inject(WidgetManager)
123
- protected readonly widgetManager: WidgetManager;
124
-
125
- @inject(SplitPositionHandler)
126
- protected readonly splitPositionHandler: SplitPositionHandler;
127
-
128
- @inject(ViewContainerIdentifier)
129
- readonly options: ViewContainerIdentifier;
130
-
131
- @inject(TabBarToolbarRegistry)
132
- protected readonly toolbarRegistry: TabBarToolbarRegistry;
133
-
134
- @inject(TabBarToolbarFactory)
135
- protected readonly toolbarFactory: TabBarToolbarFactory;
136
-
137
- protected readonly onDidChangeTrackableWidgetsEmitter = new Emitter<Widget[]>();
138
- readonly onDidChangeTrackableWidgets = this.onDidChangeTrackableWidgetsEmitter.event;
139
-
140
- @inject(ProgressBarFactory)
141
- protected readonly progressBarFactory: ProgressBarFactory;
142
-
143
- @inject(ApplicationShell)
144
- protected readonly shell: ApplicationShell;
145
-
146
- @inject(TabBarDecoratorService)
147
- protected readonly decoratorService: TabBarDecoratorService;
148
-
149
- @postConstruct()
150
- protected init(): void {
151
- this.id = this.options.id;
152
- this.addClass('theia-view-container');
153
- const layout = new PanelLayout();
154
- this.layout = layout;
155
- this.panel = new SplitPanel({
156
- layout: new ViewContainerLayout({
157
- renderer: SplitPanel.defaultRenderer,
158
- orientation: this.orientation,
159
- spacing: 2,
160
- headerSize: ViewContainerPart.HEADER_HEIGHT,
161
- animationDuration: 200
162
- }, this.splitPositionHandler)
163
- });
164
- this.panel.node.tabIndex = -1;
165
- this.configureLayout(layout);
166
-
167
- const { commandRegistry, menuRegistry, contextMenuRenderer } = this;
168
- this.toDispose.pushAll([
169
- addEventListener(this.node, 'contextmenu', event => {
170
- if (event.button === 2 && every(this.containerLayout.iter(), part => !!part.isHidden)) {
171
- event.stopPropagation();
172
- event.preventDefault();
173
- contextMenuRenderer.render({ menuPath: this.contextMenuPath, anchor: event });
174
- }
175
- }),
176
- commandRegistry.registerCommand({ id: this.globalHideCommandId }, {
177
- execute: (anchor: Anchor) => {
178
- const toHide = this.findPartForAnchor(anchor);
179
- if (toHide && toHide.canHide) {
180
- toHide.hide();
181
- }
182
- },
183
- isVisible: (anchor: Anchor) => {
184
- const toHide = this.findPartForAnchor(anchor);
185
- if (toHide) {
186
- return toHide.canHide && !toHide.isHidden;
187
- } else {
188
- return some(this.containerLayout.iter(), part => !part.isHidden);
189
- }
190
- }
191
- }),
192
- menuRegistry.registerMenuAction([...this.contextMenuPath, '0_global'], {
193
- commandId: this.globalHideCommandId,
194
- label: nls.localizeByDefault('Hide')
195
- }),
196
- this.onDidChangeTrackableWidgetsEmitter,
197
- this.onDidChangeTrackableWidgets(() => this.decoratorService.fireDidChangeDecorations())
198
- ]);
199
- if (this.options.progressLocationId) {
200
- this.toDispose.push(this.progressBarFactory({ container: this.node, insertMode: 'prepend', locationId: this.options.progressLocationId }));
201
- }
202
- }
203
-
204
- protected configureLayout(layout: PanelLayout): void {
205
- layout.addWidget(this.panel);
206
- }
207
-
208
- protected readonly toDisposeOnCurrentPart = new DisposableCollection();
209
-
210
- protected updateCurrentPart(part?: ViewContainerPart): void {
211
- if (part && this.getParts().indexOf(part) !== -1) {
212
- this.currentPart = part;
213
- }
214
- if (this.currentPart && !this.currentPart.isDisposed) {
215
- return;
216
- }
217
- const visibleParts = this.getParts().filter(p => !p.isHidden);
218
- const expandedParts = visibleParts.filter(p => !p.collapsed);
219
- this.currentPart = expandedParts[0] || visibleParts[0];
220
- }
221
-
222
- protected updateSplitterVisibility(): void {
223
- const className = 'p-first-visible';
224
- let firstFound = false;
225
- for (const part of this.getParts()) {
226
- if (!part.isHidden && !firstFound) {
227
- part.addClass(className);
228
- firstFound = true;
229
- } else {
230
- part.removeClass(className);
231
- }
232
- }
233
- }
234
-
235
- protected titleOptions: ViewContainerTitleOptions | undefined;
236
-
237
- setTitleOptions(titleOptions: ViewContainerTitleOptions | undefined): void {
238
- this.titleOptions = titleOptions;
239
- this.updateTitle();
240
- }
241
-
242
- protected readonly toDisposeOnUpdateTitle = new DisposableCollection();
243
-
244
- protected _tabBarDelegate: Widget = this;
245
- updateTabBarDelegate(): void {
246
- const visibleParts = this.getParts().filter(part => !part.isHidden);
247
- if (visibleParts.length === 1) {
248
- this._tabBarDelegate = visibleParts[0].wrapped;
249
- } else {
250
- this._tabBarDelegate = this;
251
- }
252
- }
253
-
254
- getTabBarDelegate(): Widget | undefined {
255
- return this._tabBarDelegate;
256
- }
257
-
258
- protected updateTitle(): void {
259
- this.toDisposeOnUpdateTitle.dispose();
260
- this.toDispose.push(this.toDisposeOnUpdateTitle);
261
- this.updateTabBarDelegate();
262
- let title = Object.assign({}, this.titleOptions);
263
- if (isEmpty(title)) {
264
- return;
265
- }
266
- const allParts = this.getParts();
267
- const visibleParts = allParts.filter(part => !part.isHidden);
268
- this.title.label = title.label;
269
- // If there's only one visible part - inline it's title into the container title except in case the part
270
- // isn't originally belongs to this container but there are other **original** hidden parts.
271
- if (visibleParts.length === 1 && (visibleParts[0].originalContainerId === this.id || !this.findOriginalPart())) {
272
- const part = visibleParts[0];
273
- this.toDisposeOnUpdateTitle.push(part.onTitleChanged(() => this.updateTitle()));
274
- const partLabel = part.wrapped.title.label;
275
- // Change the container title if it contains only one part that originally belongs to another container.
276
- if (allParts.length === 1 && part.originalContainerId !== this.id && !this.isCurrentTitle(part.originalContainerTitle)) {
277
- title = Object.assign({}, part.originalContainerTitle);
278
- this.setTitleOptions(title);
279
- return;
280
- }
281
- if (partLabel) {
282
- if (this.title.label && this.title.label !== partLabel) {
283
- this.title.label += ': ' + partLabel;
284
- } else {
285
- this.title.label = partLabel;
286
- }
287
- }
288
- part.collapsed = false;
289
- part.hideTitle();
290
- } else {
291
- visibleParts.forEach(part => part.showTitle());
292
- // If at least one part originally belongs to this container the title should return to its original value.
293
- const originalPart = this.findOriginalPart();
294
- if (originalPart && !this.isCurrentTitle(originalPart.originalContainerTitle)) {
295
- title = Object.assign({}, originalPart.originalContainerTitle);
296
- this.setTitleOptions(title);
297
- return;
298
- }
299
- }
300
- this.updateToolbarItems(allParts);
301
- this.title.caption = title?.caption || title?.label;
302
- if (title.iconClass) {
303
- this.title.iconClass = title.iconClass;
304
- }
305
- if (this.title.className.includes(PINNED_CLASS)) {
306
- this.title.closable &&= false;
307
- } else if (title.closeable !== undefined) {
308
- this.title.closable = title.closeable;
309
- }
310
- }
311
-
312
- protected updateToolbarItems(allParts: ViewContainerPart[]): void {
313
- if (allParts.length > 1) {
314
- const group = this.getToggleVisibilityGroupLabel();
315
- for (const part of allParts) {
316
- const existingId = this.toggleVisibilityCommandId(part);
317
- const { caption, label, dataset: { visibilityCommandLabel } } = part.wrapped.title;
318
- this.registerToolbarItem(existingId, { tooltip: visibilityCommandLabel || caption || label, group });
319
- }
320
- }
321
- }
322
-
323
- protected getToggleVisibilityGroupLabel(): string {
324
- return 'view';
325
- }
326
-
327
- protected registerToolbarItem(commandId: string, options?: Partial<Omit<TabBarToolbarItem, 'id' | 'command'>>): void {
328
- const newId = `${this.id}-tabbar-toolbar-${commandId}`;
329
- const existingHandler = this.commandRegistry.getAllHandlers(commandId)[0];
330
- const existingCommand = this.commandRegistry.getCommand(commandId);
331
- if (existingHandler && existingCommand) {
332
- this.toDisposeOnUpdateTitle.push(this.commandRegistry.registerCommand({ ...existingCommand, id: newId }, {
333
- execute: (_widget, ...args) => this.commandRegistry.executeCommand(commandId, ...args),
334
- isToggled: (_widget, ...args) => this.commandRegistry.isToggled(commandId, ...args),
335
- isEnabled: (_widget, ...args) => this.commandRegistry.isEnabled(commandId, ...args),
336
- isVisible: (widget, ...args) => widget === this.getTabBarDelegate() && this.commandRegistry.isVisible(commandId, ...args),
337
- }));
338
- this.toDisposeOnUpdateTitle.push(this.toolbarRegistry.registerItem({
339
- ...options,
340
- id: newId,
341
- command: newId,
342
- }));
343
- }
344
- }
345
-
346
- protected findOriginalPart(): ViewContainerPart | undefined {
347
- return this.getParts().find(part => part.originalContainerId === this.id);
348
- }
349
-
350
- protected isCurrentTitle(titleOptions: ViewContainerTitleOptions | undefined): boolean {
351
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
352
- return (!!titleOptions && !!this.titleOptions && Object.keys(titleOptions).every(key => (titleOptions as any)[key] === (this.titleOptions as any)[key]))
353
- || (!titleOptions && !this.titleOptions);
354
- }
355
-
356
- protected findPartForAnchor(anchor: Anchor): ViewContainerPart | undefined {
357
- const element = document.elementFromPoint(anchor.x, anchor.y);
358
- if (element instanceof Element) {
359
- const closestPart = ViewContainerPart.closestPart(element);
360
- if (closestPart && closestPart.id) {
361
- return find(this.containerLayout.iter(), part => part.id === closestPart.id);
362
- }
363
- }
364
- return undefined;
365
- }
366
-
367
- protected readonly toRemoveWidgets = new Map<string, DisposableCollection>();
368
-
369
- protected createPartId(widget: Widget): string {
370
- const description = this.widgetManager.getDescription(widget);
371
- return widget.id || JSON.stringify(description);
372
- }
373
-
374
- addWidget(widget: Widget, options?: ViewContainer.Factory.WidgetOptions, originalContainerId?: string, originalContainerTitle?: ViewContainerTitleOptions): Disposable {
375
- const existing = this.toRemoveWidgets.get(widget.id);
376
- if (existing) {
377
- return existing;
378
- }
379
- const partId = this.createPartId(widget);
380
- const newPart = this.createPart(widget, partId, originalContainerId || this.id, originalContainerTitle || this.titleOptions, options);
381
- return this.attachNewPart(newPart);
382
- }
383
-
384
- protected attachNewPart(newPart: ViewContainerPart, insertIndex?: number): Disposable {
385
- const toRemoveWidget = new DisposableCollection();
386
- this.toDispose.push(toRemoveWidget);
387
- this.toRemoveWidgets.set(newPart.wrapped.id, toRemoveWidget);
388
- toRemoveWidget.push(Disposable.create(() => this.toRemoveWidgets.delete(newPart.wrapped.id)));
389
- this.registerPart(newPart);
390
- if (insertIndex !== undefined || (newPart.options && newPart.options.order !== undefined)) {
391
- const index = insertIndex ?? this.getParts().findIndex(part => part.options.order === undefined || part.options.order > newPart.options.order!);
392
- if (index >= 0) {
393
- this.containerLayout.insertWidget(index, newPart);
394
- } else {
395
- this.containerLayout.addWidget(newPart);
396
- }
397
- } else {
398
- this.containerLayout.addWidget(newPart);
399
- }
400
- this.refreshMenu(newPart);
401
- this.updateTitle();
402
- this.updateCurrentPart();
403
- this.updateSplitterVisibility();
404
- this.update();
405
- this.fireDidChangeTrackableWidgets();
406
- toRemoveWidget.pushAll([
407
- Disposable.create(() => {
408
- if (newPart.currentViewContainerId === this.id) {
409
- newPart.dispose();
410
- }
411
- this.unregisterPart(newPart);
412
- if (!newPart.isDisposed && this.getPartIndex(newPart.id) > -1) {
413
- this.containerLayout.removeWidget(newPart);
414
- }
415
- if (!this.isDisposed) {
416
- this.update();
417
- this.updateTitle();
418
- this.updateCurrentPart();
419
- this.updateSplitterVisibility();
420
- this.fireDidChangeTrackableWidgets();
421
- }
422
- }),
423
- this.registerDND(newPart),
424
- newPart.onDidChangeVisibility(() => {
425
- this.updateTitle();
426
- this.updateCurrentPart();
427
- this.updateSplitterVisibility();
428
- this.containerLayout.updateSashes();
429
- }),
430
- newPart.onCollapsed(() => {
431
- this.containerLayout.updateCollapsed(newPart, this.enableAnimation);
432
- this.containerLayout.updateSashes();
433
- this.updateCurrentPart();
434
- }),
435
- newPart.onContextMenu(event => {
436
- if (event.button === 2) {
437
- event.preventDefault();
438
- event.stopPropagation();
439
- this.contextMenuRenderer.render({ menuPath: this.contextMenuPath, anchor: event });
440
- }
441
- }),
442
- newPart.onTitleChanged(() => this.refreshMenu(newPart)),
443
- newPart.onDidFocus(() => this.updateCurrentPart(newPart))
444
- ]);
445
-
446
- newPart.disposed.connect(() => toRemoveWidget.dispose());
447
- return toRemoveWidget;
448
- }
449
-
450
- protected createPart(widget: Widget, partId: string, originalContainerId: string, originalContainerTitle?: ViewContainerTitleOptions,
451
- options?: ViewContainer.Factory.WidgetOptions): ViewContainerPart {
452
-
453
- return new ViewContainerPart(widget, partId, this.id, originalContainerId, originalContainerTitle, this.toolbarRegistry, this.toolbarFactory, options);
454
- }
455
-
456
- removeWidget(widget: Widget): boolean {
457
- const disposable = this.toRemoveWidgets.get(widget.id);
458
- if (disposable) {
459
- disposable.dispose();
460
- return true;
461
- }
462
- return false;
463
- }
464
-
465
- getParts(): ViewContainerPart[] {
466
- return this.containerLayout.widgets;
467
- }
468
-
469
- protected getPartIndex(partId: string | undefined): number {
470
- if (partId) {
471
- return this.getParts().findIndex(part => part.id === partId);
472
- }
473
- return -1;
474
- }
475
-
476
- getPartFor(widget: Widget): ViewContainerPart | undefined {
477
- return this.getParts().find(p => p.wrapped.id === widget.id);
478
- }
479
-
480
- get containerLayout(): ViewContainerLayout {
481
- const layout = this.panel.layout;
482
- if (layout instanceof ViewContainerLayout) {
483
- return layout;
484
- }
485
- throw new Error('view container is disposed');
486
- }
487
-
488
- protected get orientation(): SplitLayout.Orientation {
489
- return ViewContainer.getOrientation(this.node);
490
- }
491
-
492
- protected get enableAnimation(): boolean {
493
- return this.applicationStateService.state === 'ready';
494
- }
495
-
496
- protected lastVisibleState: ViewContainer.State | undefined;
497
-
498
- storeState(): ViewContainer.State {
499
- if (!this.isVisible && this.lastVisibleState) {
500
- return this.lastVisibleState;
501
- }
502
- return this.doStoreState();
503
- }
504
- protected doStoreState(): ViewContainer.State {
505
- const parts = this.getParts();
506
- const availableSize = this.containerLayout.getAvailableSize();
507
- const orientation = this.orientation;
508
- const partStates = parts.map(part => {
509
- let size = this.containerLayout.getPartSize(part);
510
- if (size && size > ViewContainerPart.HEADER_HEIGHT && orientation === 'vertical') {
511
- size -= ViewContainerPart.HEADER_HEIGHT;
512
- }
513
- return <ViewContainerPart.State>{
514
- widget: part.wrapped,
515
- partId: part.partId,
516
- collapsed: part.collapsed,
517
- hidden: part.isHidden,
518
- relativeSize: size && availableSize ? size / availableSize : undefined,
519
- originalContainerId: part.originalContainerId,
520
- originalContainerTitle: part.originalContainerTitle
521
- };
522
- });
523
- return { parts: partStates, title: this.titleOptions };
524
- }
525
-
526
- restoreState(state: ViewContainer.State): void {
527
- this.lastVisibleState = state;
528
- this.doRestoreState(state);
529
- }
530
- protected doRestoreState(state: ViewContainer.State): void {
531
- this.setTitleOptions(state.title);
532
- // restore widgets
533
- for (const part of state.parts) {
534
- if (part.widget) {
535
- this.addWidget(part.widget, undefined, part.originalContainerId, part.originalContainerTitle || {} as ViewContainerTitleOptions);
536
- }
537
- }
538
- const partStates = state.parts.filter(partState => some(this.containerLayout.iter(), p => p.partId === partState.partId));
539
-
540
- // Reorder the parts according to the stored state
541
- for (let index = 0; index < partStates.length; index++) {
542
- const partState = partStates[index];
543
- const widget = this.getParts().find(part => part.partId === partState.partId);
544
- if (widget) {
545
- this.containerLayout.insertWidget(index, widget);
546
- }
547
- }
548
-
549
- // Restore visibility and collapsed state
550
- const parts = this.getParts();
551
- for (let index = 0; index < parts.length; index++) {
552
- const part = parts[index];
553
- const partState = partStates.find(s => part.partId === s.partId);
554
- if (partState) {
555
- part.setHidden(partState.hidden);
556
- part.collapsed = partState.collapsed || !partState.relativeSize;
557
- } else if (part.canHide) {
558
- part.hide();
559
- }
560
- this.refreshMenu(part);
561
- }
562
-
563
- // Restore part sizes
564
- waitForRevealed(this).then(() => {
565
- this.containerLayout.setPartSizes(partStates.map(partState => partState.relativeSize));
566
- this.updateSplitterVisibility();
567
- });
568
- }
569
-
570
- /**
571
- * Register a command to toggle the visibility of the new part.
572
- */
573
- protected registerPart(toRegister: ViewContainerPart): void {
574
- const commandId = this.toggleVisibilityCommandId(toRegister);
575
- this.commandRegistry.registerCommand({ id: commandId }, {
576
- execute: () => {
577
- const toHide = find(this.containerLayout.iter(), part => part.id === toRegister.id);
578
- if (toHide) {
579
- toHide.setHidden(!toHide.isHidden);
580
- }
581
- },
582
- isToggled: () => {
583
- if (!toRegister.canHide) {
584
- return true;
585
- }
586
- const widgetToToggle = find(this.containerLayout.iter(), part => part.id === toRegister.id);
587
- if (widgetToToggle) {
588
- return !widgetToToggle.isHidden;
589
- }
590
- return false;
591
- },
592
- isEnabled: arg => toRegister.canHide && (!this.titleOptions || !(arg instanceof Widget) || (arg instanceof ViewContainer && arg.id === this.id)),
593
- isVisible: arg => !this.titleOptions || !(arg instanceof Widget) || (arg instanceof ViewContainer && arg.id === this.id)
594
- });
595
- }
596
-
597
- /**
598
- * Register a menu action to toggle the visibility of the new part.
599
- * The menu action is unregistered first to enable refreshing the order of menu actions.
600
- */
601
- protected refreshMenu(part: ViewContainerPart): void {
602
- const commandId = this.toggleVisibilityCommandId(part);
603
- this.menuRegistry.unregisterMenuAction(commandId);
604
- if (!part.wrapped.title.label) {
605
- return;
606
- }
607
- const { dataset: { visibilityCommandLabel }, caption, label } = part.wrapped.title;
608
- const action: MenuAction = {
609
- commandId: commandId,
610
- label: visibilityCommandLabel || caption || label,
611
- order: this.getParts().indexOf(part).toString()
612
- };
613
- this.menuRegistry.registerMenuAction([...this.contextMenuPath, '1_widgets'], action);
614
- if (this.titleOptions) {
615
- this.menuRegistry.registerMenuAction([...SIDE_PANEL_TOOLBAR_CONTEXT_MENU, 'navigation'], action);
616
- }
617
- }
618
-
619
- protected unregisterPart(part: ViewContainerPart): void {
620
- const commandId = this.toggleVisibilityCommandId(part);
621
- this.commandRegistry.unregisterCommand(commandId);
622
- this.menuRegistry.unregisterMenuAction(commandId);
623
- }
624
-
625
- protected get contextMenuPath(): MenuPath {
626
- return [`${this.id}-context-menu`];
627
- }
628
-
629
- protected toggleVisibilityCommandId(part: ViewContainerPart): string {
630
- return `${this.id}:toggle-visibility-${part.id}`;
631
- }
632
-
633
- protected get globalHideCommandId(): string {
634
- return `${this.id}:toggle-visibility`;
635
- }
636
-
637
- protected moveBefore(toMovedId: string, moveBeforeThisId: string): void {
638
- const parts = this.getParts();
639
- const indexToMove = parts.findIndex(part => part.id === toMovedId);
640
- const targetIndex = parts.findIndex(part => part.id === moveBeforeThisId);
641
- if (indexToMove >= 0 && targetIndex >= 0) {
642
- this.containerLayout.insertWidget(targetIndex, parts[indexToMove]);
643
- for (let index = Math.min(indexToMove, targetIndex); index < parts.length; index++) {
644
- this.refreshMenu(parts[index]);
645
- this.activate();
646
- }
647
- }
648
- this.updateSplitterVisibility();
649
- }
650
-
651
- getTrackableWidgets(): Widget[] {
652
- return this.getParts().map(w => w.wrapped);
653
- }
654
-
655
- protected fireDidChangeTrackableWidgets(): void {
656
- this.onDidChangeTrackableWidgetsEmitter.fire(this.getTrackableWidgets());
657
- }
658
-
659
- activateWidget(id: string): Widget | undefined {
660
- const part = this.revealPart(id);
661
- if (!part) {
662
- return undefined;
663
- }
664
- this.updateCurrentPart(part);
665
- part.collapsed = false;
666
- return part.wrapped;
667
- }
668
-
669
- revealWidget(id: string): Widget | undefined {
670
- const part = this.revealPart(id);
671
- return part && part.wrapped;
672
- }
673
-
674
- protected revealPart(id: string): ViewContainerPart | undefined {
675
- const part = this.getParts().find(p => p.wrapped.id === id);
676
- if (!part) {
677
- return undefined;
678
- }
679
- part.setHidden(false);
680
- return part;
681
- }
682
-
683
- protected override onActivateRequest(msg: Message): void {
684
- super.onActivateRequest(msg);
685
- if (this.currentPart) {
686
- this.currentPart.activate();
687
- } else {
688
- this.panel.node.focus({ preventScroll: true });
689
- }
690
- }
691
-
692
- protected override onAfterAttach(msg: Message): void {
693
- const orientation = this.orientation;
694
- this.containerLayout.orientation = orientation;
695
- if (orientation === 'horizontal') {
696
- for (const part of this.getParts()) {
697
- part.collapsed = false;
698
- }
699
- }
700
- super.onAfterAttach(msg);
701
- }
702
-
703
- protected override onBeforeHide(msg: Message): void {
704
- super.onBeforeHide(msg);
705
- this.lastVisibleState = this.storeState();
706
- }
707
-
708
- protected override onAfterShow(msg: Message): void {
709
- super.onAfterShow(msg);
710
- this.updateTitle();
711
- this.lastVisibleState = undefined;
712
- }
713
-
714
- protected override onBeforeAttach(msg: Message): void {
715
- super.onBeforeAttach(msg);
716
- this.node.addEventListener('p-dragenter', this, true);
717
- this.node.addEventListener('p-dragover', this, true);
718
- this.node.addEventListener('p-dragleave', this, true);
719
- this.node.addEventListener('p-drop', this, true);
720
- }
721
-
722
- protected override onAfterDetach(msg: Message): void {
723
- super.onAfterDetach(msg);
724
- this.node.removeEventListener('p-dragenter', this, true);
725
- this.node.removeEventListener('p-dragover', this, true);
726
- this.node.removeEventListener('p-dragleave', this, true);
727
- this.node.removeEventListener('p-drop', this, true);
728
- }
729
-
730
- handleEvent(event: Event): void {
731
- switch (event.type) {
732
- case 'p-dragenter':
733
- this.handleDragEnter(event as IDragEvent);
734
- break;
735
- case 'p-dragover':
736
- this.handleDragOver(event as IDragEvent);
737
- break;
738
- case 'p-dragleave':
739
- this.handleDragLeave(event as IDragEvent);
740
- break;
741
- case 'p-drop':
742
- this.handleDrop(event as IDragEvent);
743
- break;
744
- }
745
- }
746
-
747
- handleDragEnter(event: IDragEvent): void {
748
- if (event.mimeData.hasData('application/vnd.phosphor.view-container-factory')) {
749
- event.preventDefault();
750
- event.stopPropagation();
751
- }
752
- }
753
-
754
- toDisposeOnDragEnd = new DisposableCollection();
755
- handleDragOver(event: IDragEvent): void {
756
- const factory = event.mimeData.getData('application/vnd.phosphor.view-container-factory');
757
- const widget = factory && factory();
758
- if (!(widget instanceof ViewContainerPart)) {
759
- return;
760
- }
761
- event.preventDefault();
762
- event.stopPropagation();
763
-
764
- const sameContainers = this.id === widget.currentViewContainerId;
765
- const targetPart = ArrayExt.findFirstValue(this.getParts(), (p => ElementExt.hitTest(p.node, event.clientX, event.clientY)));
766
- if (!targetPart && sameContainers) {
767
- event.dropAction = 'none';
768
- return;
769
- }
770
- if (targetPart) {
771
- // add overlay class style to the `targetPart` node.
772
- targetPart.node.classList.add('drop-target');
773
- this.toDisposeOnDragEnd.push(Disposable.create(() => targetPart.node.classList.remove('drop-target')));
774
- } else {
775
- // show panel overlay.
776
- const dockPanel = this.getDockPanel();
777
- if (dockPanel) {
778
- dockPanel.overlay.show({ top: 0, bottom: 0, right: 0, left: 0 });
779
- this.toDisposeOnDragEnd.push(Disposable.create(() => dockPanel.overlay.hide(100)));
780
- }
781
- }
782
-
783
- const isDraggingOutsideDisabled = this.disableDNDBetweenContainers || widget.viewContainer?.disableDNDBetweenContainers
784
- || widget.options.disableDraggingToOtherContainers;
785
- if (isDraggingOutsideDisabled && !sameContainers) {
786
- const { target } = event;
787
- if (target instanceof HTMLElement) {
788
- target.classList.add('theia-cursor-no-drop');
789
- this.toDisposeOnDragEnd.push(Disposable.create(() => {
790
- target.classList.remove('theia-cursor-no-drop');
791
- }));
792
- }
793
- event.dropAction = 'none';
794
- return;
795
- };
796
-
797
- event.dropAction = event.proposedAction;
798
- };
799
-
800
- handleDragLeave(event: IDragEvent): void {
801
- this.toDisposeOnDragEnd.dispose();
802
- if (event.mimeData.hasData('application/vnd.phosphor.view-container-factory')) {
803
- event.preventDefault();
804
- event.stopPropagation();
805
- }
806
- };
807
-
808
- handleDrop(event: IDragEvent): void {
809
- this.toDisposeOnDragEnd.dispose();
810
- const factory = event.mimeData.getData('application/vnd.phosphor.view-container-factory');
811
- const draggedPart = factory && factory();
812
- if (!(draggedPart instanceof ViewContainerPart)) {
813
- event.dropAction = 'none';
814
- return;
815
- }
816
- event.preventDefault();
817
- event.stopPropagation();
818
- const parts = this.getParts();
819
- const toIndex = ArrayExt.findFirstIndex(parts, part => ElementExt.hitTest(part.node, event.clientX, event.clientY));
820
- if (draggedPart.currentViewContainerId !== this.id) {
821
- this.attachNewPart(draggedPart, toIndex > -1 ? toIndex + 1 : toIndex);
822
- draggedPart.onPartMoved(this);
823
- } else {
824
- this.moveBefore(draggedPart.id, parts[toIndex].id);
825
- }
826
- event.dropAction = event.proposedAction;
827
- }
828
-
829
- protected registerDND(part: ViewContainerPart): Disposable {
830
- part.headerElement.draggable = true;
831
-
832
- return new DisposableCollection(
833
- addEventListener(part.headerElement, 'dragstart',
834
- event => {
835
- event.preventDefault();
836
- const mimeData = new MimeData();
837
- mimeData.setData('application/vnd.phosphor.view-container-factory', () => part);
838
- const clonedHeader = part.headerElement.cloneNode(true) as HTMLElement;
839
- clonedHeader.style.width = part.node.style.width;
840
- clonedHeader.style.opacity = '0.6';
841
- const drag = new Drag({
842
- mimeData,
843
- dragImage: clonedHeader,
844
- proposedAction: 'move',
845
- supportedActions: 'move'
846
- });
847
- part.node.classList.add('p-mod-hidden');
848
- drag.start(event.clientX, event.clientY).then(dropAction => {
849
- // The promise is resolved when the drag has ended
850
- if (dropAction === 'move' && part.currentViewContainerId !== this.id) {
851
- this.removeWidget(part.wrapped);
852
- this.lastVisibleState = this.doStoreState();
853
- }
854
- });
855
- setTimeout(() => { part.node.classList.remove('p-mod-hidden'); }, 0);
856
- }, false));
857
- }
858
-
859
- protected getDockPanel(): DockPanel | undefined {
860
- let panel: DockPanel | undefined;
861
- let parent = this.parent;
862
- while (!panel && parent) {
863
- if (this.isSideDockPanel(parent)) {
864
- panel = parent as DockPanel;
865
- } else {
866
- parent = parent.parent;
867
- }
868
- }
869
- return panel;
870
- }
871
-
872
- protected isSideDockPanel(widget: Widget): boolean {
873
- const { leftPanelHandler, rightPanelHandler } = this.shell;
874
- if (widget instanceof DockPanel && (widget.id === rightPanelHandler.dockPanel.id || widget.id === leftPanelHandler.dockPanel.id)) {
875
- return true;
876
- }
877
- return false;
878
- }
879
-
880
- }
881
-
882
- export namespace ViewContainer {
883
-
884
- export const Factory = Symbol('ViewContainerFactory');
885
- export interface Factory {
886
- (options: ViewContainerIdentifier): ViewContainer;
887
- }
888
-
889
- export namespace Factory {
890
-
891
- export interface WidgetOptions {
892
- readonly order?: number;
893
- readonly weight?: number;
894
- readonly initiallyCollapsed?: boolean;
895
- readonly canHide?: boolean;
896
- readonly initiallyHidden?: boolean;
897
- /**
898
- * Disable dragging this part from its original container to other containers,
899
- * But allow dropping parts from other containers on it,
900
- * This option only applies to the `ViewContainerPart` and has no effect on the ViewContainer.
901
- */
902
- readonly disableDraggingToOtherContainers?: boolean;
903
- }
904
-
905
- export interface WidgetDescriptor {
906
- readonly widget: Widget | interfaces.ServiceIdentifier<Widget>;
907
- readonly options?: WidgetOptions;
908
- }
909
-
910
- }
911
-
912
- export interface State {
913
- title?: ViewContainerTitleOptions;
914
- parts: ViewContainerPart.State[]
915
- }
916
-
917
- export function getOrientation(node: HTMLElement): 'horizontal' | 'vertical' {
918
- if (node.closest(`#${MAIN_AREA_ID}`) || node.closest(`#${BOTTOM_AREA_ID}`)) {
919
- return 'horizontal';
920
- }
921
- return 'vertical';
922
- }
923
- }
924
-
925
- /**
926
- * Wrapper around a widget held by a view container. Adds a header to display the
927
- * title, toolbar, and collapse / expand handle.
928
- */
929
- export class ViewContainerPart extends BaseWidget {
930
-
931
- protected readonly header: HTMLElement;
932
- protected readonly body: HTMLElement;
933
- protected readonly collapsedEmitter = new Emitter<boolean>();
934
- protected readonly contextMenuEmitter = new Emitter<MouseEvent>();
935
-
936
- protected readonly onTitleChangedEmitter = new Emitter<void>();
937
- readonly onTitleChanged = this.onTitleChangedEmitter.event;
938
- protected readonly onDidFocusEmitter = new Emitter<this>();
939
- readonly onDidFocus = this.onDidFocusEmitter.event;
940
- protected readonly onPartMovedEmitter = new Emitter<ViewContainer>();
941
- readonly onDidMove = this.onPartMovedEmitter.event;
942
- protected readonly onDidChangeDescriptionEmitter = new Emitter<void>();
943
- readonly onDidChangeDescription = this.onDidChangeDescriptionEmitter.event;
944
- protected readonly onDidChangeBadgeEmitter = new Emitter<void>();
945
- readonly onDidChangeBadge = this.onDidChangeBadgeEmitter.event;
946
- protected readonly onDidChangeBadgeTooltipEmitter = new Emitter<void>();
947
- readonly onDidChangeBadgeTooltip = this.onDidChangeBadgeTooltipEmitter.event;
948
-
949
- protected readonly toolbar: TabBarToolbar;
950
-
951
- protected _collapsed: boolean;
952
-
953
- uncollapsedSize: number | undefined;
954
- animatedSize: number | undefined;
955
-
956
- protected readonly toNoDisposeWrapped: Disposable;
957
-
958
- constructor(
959
- readonly wrapped: Widget,
960
- readonly partId: string,
961
- protected currentContainerId: string,
962
- readonly originalContainerId: string,
963
- readonly originalContainerTitle: ViewContainerTitleOptions | undefined,
964
- protected readonly toolbarRegistry: TabBarToolbarRegistry,
965
- protected readonly toolbarFactory: TabBarToolbarFactory,
966
- readonly options: ViewContainer.Factory.WidgetOptions = {}
967
- ) {
968
- super();
969
- wrapped.parent = this;
970
- wrapped.disposed.connect(() => this.dispose());
971
- this.id = `${originalContainerId}--${wrapped.id}`;
972
- this.addClass('part');
973
-
974
- const fireTitleChanged = () => this.onTitleChangedEmitter.fire(undefined);
975
- this.wrapped.title.changed.connect(fireTitleChanged);
976
- this.toDispose.push(Disposable.create(() => this.wrapped.title.changed.disconnect(fireTitleChanged)));
977
-
978
- if (DescriptionWidget.is(this.wrapped)) {
979
- this.wrapped?.onDidChangeDescription(() => this.onDidChangeDescriptionEmitter.fire(), undefined, this.toDispose);
980
- }
981
-
982
- if (BadgeWidget.is(this.wrapped)) {
983
- this.wrapped.onDidChangeBadge(() => this.onDidChangeBadgeEmitter.fire(), undefined, this.toDispose);
984
- this.wrapped.onDidChangeBadgeTooltip(() => this.onDidChangeBadgeTooltipEmitter.fire(), undefined, this.toDispose);
985
- }
986
-
987
- if (DynamicToolbarWidget.is(this.wrapped)) {
988
- this.wrapped.onDidChangeToolbarItems(() => {
989
- this.toolbar.updateTarget(this.wrapped);
990
- this.viewContainer?.update();
991
- });
992
- }
993
-
994
- const { header, body, disposable } = this.createContent();
995
- this.header = header;
996
- this.body = body;
997
-
998
- this.toNoDisposeWrapped = this.toDispose.push(wrapped);
999
- this.toolbar = this.toolbarFactory();
1000
- this.toolbar.addClass('theia-view-container-part-title');
1001
-
1002
- this.toDispose.pushAll([
1003
- disposable,
1004
- this.toolbar,
1005
- this.toolbarRegistry.onDidChange(() => this.toolbar.updateTarget(this.wrapped)),
1006
- this.collapsedEmitter,
1007
- this.contextMenuEmitter,
1008
- this.onTitleChangedEmitter,
1009
- this.onDidChangeDescriptionEmitter,
1010
- this.onDidChangeBadgeEmitter,
1011
- this.onDidChangeBadgeTooltipEmitter,
1012
- this.registerContextMenu(),
1013
- this.onDidFocusEmitter,
1014
- // focus event does not bubble, capture it
1015
- addEventListener(this.node, 'focus', () => this.onDidFocusEmitter.fire(this), true)
1016
- ]);
1017
- this.scrollOptions = {
1018
- suppressScrollX: true,
1019
- minScrollbarLength: 35
1020
- };
1021
- this.collapsed = !!options.initiallyCollapsed;
1022
- if (options.initiallyHidden && this.canHide) {
1023
- this.hide();
1024
- }
1025
- }
1026
-
1027
- get viewContainer(): ViewContainer | undefined {
1028
- return this.parent ? this.parent.parent as ViewContainer : undefined;
1029
- }
1030
-
1031
- get currentViewContainerId(): string {
1032
- return this.currentContainerId;
1033
- }
1034
-
1035
- get headerElement(): HTMLElement {
1036
- return this.header;
1037
- }
1038
-
1039
- get collapsed(): boolean {
1040
- return this._collapsed;
1041
- }
1042
-
1043
- set collapsed(collapsed: boolean) {
1044
- // Cannot collapse/expand if the orientation of the container is `horizontal`.
1045
- const orientation = ViewContainer.getOrientation(this.node);
1046
- if (this._collapsed === collapsed || (orientation === 'horizontal' && collapsed)) {
1047
- return;
1048
- }
1049
- this._collapsed = collapsed;
1050
- this.node.classList.toggle('collapsed', collapsed);
1051
-
1052
- if (collapsed && this.wrapped.node.contains(document.activeElement)) {
1053
- this.header.focus();
1054
- }
1055
- this.wrapped.setHidden(collapsed);
1056
- const toggleIcon = this.header.querySelector(`span.${EXPANSION_TOGGLE_CLASS}`);
1057
- if (toggleIcon) {
1058
- if (collapsed) {
1059
- toggleIcon.classList.add(COLLAPSED_CLASS);
1060
- } else {
1061
- toggleIcon.classList.remove(COLLAPSED_CLASS);
1062
- }
1063
- }
1064
- this.update();
1065
- this.collapsedEmitter.fire(collapsed);
1066
- }
1067
-
1068
- onPartMoved(newContainer: ViewContainer): void {
1069
- this.currentContainerId = newContainer.id;
1070
- this.onPartMovedEmitter.fire(newContainer);
1071
- }
1072
-
1073
- override setHidden(hidden: boolean): void {
1074
- if (!this.canHide) {
1075
- return;
1076
- }
1077
- super.setHidden(hidden);
1078
- }
1079
-
1080
- get canHide(): boolean {
1081
- return this.options.canHide === undefined || this.options.canHide;
1082
- }
1083
-
1084
- get onCollapsed(): CommonEvent<boolean> {
1085
- return this.collapsedEmitter.event;
1086
- }
1087
-
1088
- get onContextMenu(): CommonEvent<MouseEvent> {
1089
- return this.contextMenuEmitter.event;
1090
- }
1091
-
1092
- get minSize(): number {
1093
- const style = getComputedStyle(this.body);
1094
- if (ViewContainer.getOrientation(this.node) === 'horizontal') {
1095
- return parseCssMagnitude(style.minWidth, 0);
1096
- } else {
1097
- return parseCssMagnitude(style.minHeight, 0);
1098
- }
1099
- }
1100
-
1101
- protected readonly toShowHeader = new DisposableCollection();
1102
- showTitle(): void {
1103
- this.toShowHeader.dispose();
1104
- }
1105
-
1106
- hideTitle(): void {
1107
- if (this.titleHidden) {
1108
- return;
1109
- }
1110
- const display = this.header.style.display;
1111
- const height = this.body.style.height;
1112
- this.body.style.height = '100%';
1113
- this.header.style.display = 'none';
1114
- this.toShowHeader.push(Disposable.create(() => {
1115
- this.header.style.display = display;
1116
- this.body.style.height = height;
1117
- }));
1118
- }
1119
-
1120
- get titleHidden(): boolean {
1121
- return !this.toShowHeader.disposed || this.collapsed;
1122
- }
1123
-
1124
- protected override getScrollContainer(): HTMLElement {
1125
- return this.body;
1126
- }
1127
-
1128
- protected registerContextMenu(): Disposable {
1129
- return new DisposableCollection(
1130
- addEventListener(this.header, 'contextmenu', event => {
1131
- this.contextMenuEmitter.fire(event);
1132
- })
1133
- );
1134
- }
1135
-
1136
- protected createContent(): { header: HTMLElement, body: HTMLElement, disposable: Disposable } {
1137
- const disposable = new DisposableCollection();
1138
- const { header, disposable: headerDisposable } = this.createHeader();
1139
- const body = document.createElement('div');
1140
- body.classList.add('body');
1141
- this.node.appendChild(header);
1142
- this.node.appendChild(body);
1143
- disposable.push(headerDisposable);
1144
- return {
1145
- header,
1146
- body,
1147
- disposable,
1148
- };
1149
- }
1150
-
1151
- protected createHeader(): { header: HTMLElement, disposable: Disposable } {
1152
- const disposable = new DisposableCollection();
1153
- const header = document.createElement('div');
1154
- header.tabIndex = 0;
1155
- header.classList.add('theia-header', 'header', 'theia-view-container-part-header');
1156
- disposable.push(addEventListener(header, 'click', event => {
1157
- if (this.toolbar && this.toolbar.shouldHandleMouseEvent(event)) {
1158
- return;
1159
- }
1160
- this.collapsed = !this.collapsed;
1161
- }));
1162
- disposable.push(addKeyListener(header, Key.ARROW_LEFT, () => this.collapsed = true));
1163
- disposable.push(addKeyListener(header, Key.ARROW_RIGHT, () => this.collapsed = false));
1164
- disposable.push(addKeyListener(header, Key.ENTER, () => this.collapsed = !this.collapsed));
1165
-
1166
- const toggleIcon = document.createElement('span');
1167
- toggleIcon.classList.add(EXPANSION_TOGGLE_CLASS, ...CODICON_TREE_ITEM_CLASSES);
1168
- if (this.collapsed) {
1169
- toggleIcon.classList.add(COLLAPSED_CLASS);
1170
- }
1171
- header.appendChild(toggleIcon);
1172
-
1173
- const title = document.createElement('span');
1174
- title.classList.add('label', 'noselect');
1175
-
1176
- const description = document.createElement('span');
1177
- description.classList.add('description');
1178
-
1179
- const badgeSpan = document.createElement('span');
1180
- badgeSpan.classList.add('notification-count');
1181
-
1182
- const badgeContainer = document.createElement('div');
1183
- badgeContainer.classList.add('notification-count-container');
1184
- badgeContainer.appendChild(badgeSpan);
1185
- const badgeContainerDisplay = badgeContainer.style.display;
1186
-
1187
- const updateTitle = () => {
1188
- if (this.currentContainerId !== this.originalContainerId && this.originalContainerTitle?.label) {
1189
- // Creating a title in format: <original_container_title>: <part_title>.
1190
- title.innerText = this.originalContainerTitle.label + ': ' + this.wrapped.title.label;
1191
- } else {
1192
- title.innerText = this.wrapped.title.label;
1193
- }
1194
- };
1195
- const updateCaption = () => title.title = this.wrapped.title.caption || this.wrapped.title.label;
1196
- const updateDescription = () => {
1197
- description.innerText = DescriptionWidget.is(this.wrapped) && !this.collapsed && this.wrapped.description || '';
1198
- };
1199
- const updateBadge = () => {
1200
- if (BadgeWidget.is(this.wrapped)) {
1201
- const visibleToolBarItems = this.toolbarRegistry.visibleItems(this.wrapped).length > 0;
1202
- const badge = this.wrapped.badge;
1203
- if (badge && !visibleToolBarItems) {
1204
- badgeSpan.innerText = badge.toString();
1205
- badgeSpan.title = this.wrapped.badgeTooltip || '';
1206
- badgeContainer.style.display = badgeContainerDisplay;
1207
- return;
1208
- }
1209
- }
1210
- badgeContainer.style.display = 'none';
1211
- };
1212
-
1213
- updateTitle();
1214
- updateCaption();
1215
- updateDescription();
1216
- updateBadge();
1217
-
1218
- disposable.pushAll([
1219
- this.onTitleChanged(updateTitle),
1220
- this.onTitleChanged(updateCaption),
1221
- this.onDidMove(updateTitle),
1222
- this.onDidChangeDescription(updateDescription),
1223
- this.onDidChangeBadge(updateBadge),
1224
- this.onDidChangeBadgeTooltip(updateBadge),
1225
- this.onCollapsed(updateDescription)
1226
- ]);
1227
- header.appendChild(title);
1228
- header.appendChild(description);
1229
- header.appendChild(badgeContainer);
1230
-
1231
- return {
1232
- header,
1233
- disposable
1234
- };
1235
- }
1236
-
1237
- protected handleResize(): void {
1238
- const handleMouseEnter = () => {
1239
- this.node?.classList.add('no-pointer-events');
1240
- setTimeout(() => {
1241
- this.node?.classList.remove('no-pointer-events');
1242
- this.node?.removeEventListener('mouseenter', handleMouseEnter);
1243
- }, 100);
1244
- };
1245
- this.node?.addEventListener('mouseenter', handleMouseEnter);
1246
- }
1247
-
1248
- protected override onResize(msg: Widget.ResizeMessage): void {
1249
- this.handleResize();
1250
- if (this.wrapped.isAttached && !this.collapsed) {
1251
- MessageLoop.sendMessage(this.wrapped, Widget.ResizeMessage.UnknownSize);
1252
- }
1253
- super.onResize(msg);
1254
- }
1255
-
1256
- protected override onUpdateRequest(msg: Message): void {
1257
- if (this.wrapped.isAttached && !this.collapsed) {
1258
- MessageLoop.sendMessage(this.wrapped, msg);
1259
- }
1260
- super.onUpdateRequest(msg);
1261
- }
1262
-
1263
- protected override onAfterAttach(msg: Message): void {
1264
- if (!this.wrapped.isAttached) {
1265
- UnsafeWidgetUtilities.attach(this.wrapped, this.body);
1266
- }
1267
- UnsafeWidgetUtilities.attach(this.toolbar, this.header);
1268
- super.onAfterAttach(msg);
1269
- }
1270
-
1271
- protected override onBeforeDetach(msg: Message): void {
1272
- super.onBeforeDetach(msg);
1273
- if (this.toolbar.isAttached) {
1274
- Widget.detach(this.toolbar);
1275
- }
1276
- if (this.wrapped.isAttached) {
1277
- UnsafeWidgetUtilities.detach(this.wrapped);
1278
- }
1279
- }
1280
-
1281
- protected override onBeforeShow(msg: Message): void {
1282
- if (this.wrapped.isAttached && !this.collapsed) {
1283
- MessageLoop.sendMessage(this.wrapped, msg);
1284
- }
1285
- super.onBeforeShow(msg);
1286
- }
1287
-
1288
- protected override onAfterShow(msg: Message): void {
1289
- super.onAfterShow(msg);
1290
- if (this.wrapped.isAttached && !this.collapsed) {
1291
- MessageLoop.sendMessage(this.wrapped, msg);
1292
- }
1293
- }
1294
-
1295
- protected override onBeforeHide(msg: Message): void {
1296
- if (this.wrapped.isAttached && !this.collapsed) {
1297
- MessageLoop.sendMessage(this.wrapped, msg);
1298
- }
1299
- super.onBeforeShow(msg);
1300
- }
1301
-
1302
- protected override onAfterHide(msg: Message): void {
1303
- super.onAfterHide(msg);
1304
- if (this.wrapped.isAttached && !this.collapsed) {
1305
- MessageLoop.sendMessage(this.wrapped, msg);
1306
- }
1307
- }
1308
-
1309
- protected override onChildRemoved(msg: Widget.ChildMessage): void {
1310
- super.onChildRemoved(msg);
1311
- // if wrapped is not disposed, but detached then we should not dispose it, but only get rid of this part
1312
- this.toNoDisposeWrapped.dispose();
1313
- this.dispose();
1314
- }
1315
-
1316
- protected override onActivateRequest(msg: Message): void {
1317
- super.onActivateRequest(msg);
1318
- if (this.collapsed) {
1319
- this.header.focus();
1320
- } else {
1321
- this.wrapped.activate();
1322
- }
1323
- }
1324
- }
1325
-
1326
- export namespace ViewContainerPart {
1327
-
1328
- /**
1329
- * Make sure to adjust the `line-height` of the `.theia-view-container .part > .header` CSS class when modifying this, and vice versa.
1330
- */
1331
- export const HEADER_HEIGHT = 22;
1332
-
1333
- export interface State {
1334
- widget?: Widget
1335
- partId: string;
1336
- collapsed: boolean;
1337
- hidden: boolean;
1338
- relativeSize?: number;
1339
- description?: string;
1340
- /** The original container to which this part belongs */
1341
- originalContainerId: string;
1342
- originalContainerTitle?: ViewContainerTitleOptions;
1343
- }
1344
-
1345
- export function closestPart(element: Element | EventTarget | null, selector: string = 'div.part'): Element | undefined {
1346
- if (element instanceof Element) {
1347
- const part = element.closest(selector);
1348
- if (part instanceof Element) {
1349
- return part;
1350
- }
1351
- }
1352
- return undefined;
1353
- }
1354
- }
1355
-
1356
- export class ViewContainerLayout extends SplitLayout {
1357
-
1358
- constructor(protected options: ViewContainerLayout.Options, protected readonly splitPositionHandler: SplitPositionHandler) {
1359
- super(options);
1360
- }
1361
-
1362
- protected get items(): ReadonlyArray<LayoutItem & ViewContainerLayout.Item> {
1363
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
1364
- return (this as any)._items as Array<LayoutItem & ViewContainerLayout.Item>;
1365
- }
1366
-
1367
- override iter(): IIterator<ViewContainerPart> {
1368
- return map(this.items, item => item.widget);
1369
- }
1370
-
1371
- // @ts-expect-error TS2611 `SplitLayout.widgets` is declared as `readonly widgets` but is implemented as a getter.
1372
- get widgets(): ViewContainerPart[] {
1373
- return toArray(this.iter());
1374
- }
1375
-
1376
- override attachWidget(index: number, widget: ViewContainerPart): void {
1377
- super.attachWidget(index, widget);
1378
- if (index > -1 && this.parent && this.parent.node.contains(this.widgets[index + 1]?.node)) {
1379
- // Set the correct attach index to the DOM elements.
1380
- const ref = this.widgets[index + 1].node;
1381
- this.parent.node.insertBefore(widget.node, ref);
1382
- this.parent.node.insertBefore(this.handles[index], ref);
1383
- this.parent.fit();
1384
- }
1385
- }
1386
-
1387
- getPartSize(part: ViewContainerPart): number | undefined {
1388
- if (part.collapsed || part.isHidden) {
1389
- return part.uncollapsedSize;
1390
- }
1391
- if (this.orientation === 'horizontal') {
1392
- return part.node.offsetWidth;
1393
- } else {
1394
- return part.node.offsetHeight;
1395
- }
1396
- }
1397
-
1398
- /**
1399
- * Set the sizes of the view container parts according to the given weights
1400
- * by moving the split handles. This is similar to `setRelativeSizes` defined
1401
- * in `SplitLayout`, but here we properly consider the collapsed / expanded state.
1402
- */
1403
- setPartSizes(weights: (number | undefined)[]): void {
1404
- const parts = this.widgets;
1405
- const availableSize = this.getAvailableSize();
1406
-
1407
- // Sum up the weights of visible parts
1408
- let totalWeight = 0;
1409
- let weightCount = 0;
1410
- for (let index = 0; index < weights.length && index < parts.length; index++) {
1411
- const part = parts[index];
1412
- const weight = weights[index];
1413
- if (weight && !part.isHidden && !part.collapsed) {
1414
- totalWeight += weight;
1415
- weightCount++;
1416
- }
1417
- }
1418
- if (weightCount === 0 || availableSize === 0) {
1419
- return;
1420
- }
1421
-
1422
- // Add the average weight for visible parts without weight
1423
- const averageWeight = totalWeight / weightCount;
1424
- for (let index = 0; index < weights.length && index < parts.length; index++) {
1425
- const part = parts[index];
1426
- const weight = weights[index];
1427
- if (!weight && !part.isHidden && !part.collapsed) {
1428
- totalWeight += averageWeight;
1429
- }
1430
- }
1431
-
1432
- // Apply the weights to compute actual sizes
1433
- let position = 0;
1434
- for (let index = 0; index < weights.length && index < parts.length - 1; index++) {
1435
- const part = parts[index];
1436
- if (!part.isHidden) {
1437
- if (this.orientation === 'vertical') {
1438
- position += this.options.headerSize;
1439
- }
1440
- const weight = weights[index];
1441
- if (part.collapsed) {
1442
- if (weight) {
1443
- part.uncollapsedSize = weight / totalWeight * availableSize;
1444
- }
1445
- } else {
1446
- let contentSize = (weight || averageWeight) / totalWeight * availableSize;
1447
- const minSize = part.minSize;
1448
- if (contentSize < minSize) {
1449
- contentSize = minSize;
1450
- }
1451
- position += contentSize;
1452
- }
1453
- this.setHandlePosition(index, position);
1454
- position += this.spacing;
1455
- }
1456
- }
1457
- }
1458
-
1459
- /**
1460
- * Determine the size of the split panel area that is available for widget content,
1461
- * i.e. excluding part headers and split handles.
1462
- */
1463
- getAvailableSize(): number {
1464
- if (!this.parent || !this.parent.isAttached) {
1465
- return 0;
1466
- }
1467
- const parts = this.widgets;
1468
- const visiblePartCount = parts.filter(part => !part.isHidden).length;
1469
- let availableSize: number;
1470
- if (this.orientation === 'horizontal') {
1471
- availableSize = this.parent.node.offsetWidth;
1472
- } else {
1473
- availableSize = this.parent.node.offsetHeight;
1474
- availableSize -= visiblePartCount * this.options.headerSize;
1475
- }
1476
- availableSize -= (visiblePartCount - 1) * this.spacing;
1477
- if (availableSize < 0) {
1478
- return 0;
1479
- }
1480
- return availableSize;
1481
- }
1482
-
1483
- /**
1484
- * Update a view container part that has been collapsed or expanded. The transition
1485
- * to the new state is animated.
1486
- */
1487
- updateCollapsed(part: ViewContainerPart, enableAnimation: boolean): void {
1488
- const index = this.items.findIndex(item => item.widget === part);
1489
- if (index < 0 || !this.parent || part.isHidden) {
1490
- return;
1491
- }
1492
- // Do not store the height of the "stretched item". Otherwise, we mess up the "hint height".
1493
- // Store the height only if there are other expanded items.
1494
- const currentSize = this.orientation === 'horizontal' ? part.node.offsetWidth : part.node.offsetHeight;
1495
- if (part.collapsed && this.items.some(item => !item.widget.collapsed && !item.widget.isHidden)) {
1496
- part.uncollapsedSize = currentSize;
1497
- }
1498
-
1499
- if (!enableAnimation || this.options.animationDuration <= 0) {
1500
- MessageLoop.postMessage(this.parent, Widget.Msg.FitRequest);
1501
- return;
1502
- }
1503
- let startTime: number | undefined = undefined;
1504
- const duration = this.options.animationDuration;
1505
- const direction = part.collapsed ? 'collapse' : 'expand';
1506
- let fullSize: number;
1507
- if (direction === 'collapse') {
1508
- fullSize = currentSize - this.options.headerSize;
1509
- } else {
1510
- fullSize = Math.max((part.uncollapsedSize || 0) - this.options.headerSize, part.minSize);
1511
- if (this.items.filter(item => !item.widget.collapsed && !item.widget.isHidden).length === 1) {
1512
- // Expand to full available size
1513
- fullSize = Math.max(fullSize, this.getAvailableSize());
1514
- }
1515
- }
1516
-
1517
- // The update function is called on every animation frame until the predefined duration has elapsed.
1518
- const updateFunc = (time: number) => {
1519
- if (!this.parent) {
1520
- part.animatedSize = undefined;
1521
- return;
1522
- }
1523
- if (startTime === undefined) {
1524
- startTime = time;
1525
- }
1526
- if (time - startTime < duration) {
1527
- // Render an intermediate state for the animation
1528
- const t = this.tween((time - startTime) / duration);
1529
- if (direction === 'collapse') {
1530
- part.animatedSize = (1 - t) * fullSize;
1531
- } else {
1532
- part.animatedSize = t * fullSize;
1533
- }
1534
- requestAnimationFrame(updateFunc);
1535
- } else {
1536
- // The animation is finished
1537
- if (direction === 'collapse') {
1538
- part.animatedSize = undefined;
1539
- } else {
1540
- part.animatedSize = fullSize;
1541
- // Request another frame to reset the part to variable size
1542
- requestAnimationFrame(() => {
1543
- part.animatedSize = undefined;
1544
- if (this.parent) {
1545
- MessageLoop.sendMessage(this.parent, Widget.Msg.FitRequest);
1546
- }
1547
- });
1548
- }
1549
- }
1550
- MessageLoop.sendMessage(this.parent, Widget.Msg.FitRequest);
1551
- };
1552
- requestAnimationFrame(updateFunc);
1553
- }
1554
-
1555
- updateSashes(): void {
1556
- const { widgets, handles } = this;
1557
- if (widgets.length !== handles.length) {
1558
- console.warn('Unexpected mismatch between number of widgets and number of handles.');
1559
- return;
1560
- }
1561
- const firstUncollapsed = this.getFirstUncollapsedWidgetIndex();
1562
- const lastUncollapsed = firstUncollapsed === undefined ? undefined : this.getLastUncollapsedWidgetIndex();
1563
- const allHidden = firstUncollapsed === lastUncollapsed;
1564
- for (const [index, handle] of this.handles.entries()) {
1565
- // The or clauses are added for type checking. If they're true, allHidden will also have been true.
1566
- if (allHidden || firstUncollapsed === undefined || lastUncollapsed === undefined) {
1567
- handle.classList.add('sash-hidden');
1568
- } else if (index < lastUncollapsed && index >= firstUncollapsed) {
1569
- handle.classList.remove('sash-hidden');
1570
- } else {
1571
- handle.classList.add('sash-hidden');
1572
- }
1573
- }
1574
- }
1575
-
1576
- protected getFirstUncollapsedWidgetIndex(): number | undefined {
1577
- const index = this.widgets.findIndex(widget => !widget.collapsed && !widget.isHidden);
1578
- return index === -1 ? undefined : index;
1579
- }
1580
-
1581
- protected getLastUncollapsedWidgetIndex(): number | undefined {
1582
- for (let i = this.widgets.length - 1; i >= 0; i--) {
1583
- if (!this.widgets[i].collapsed && !this.widgets[i].isHidden) {
1584
- return i;
1585
- }
1586
- }
1587
- }
1588
-
1589
- protected override onFitRequest(msg: Message): void {
1590
- for (const part of this.widgets) {
1591
- const style = part.node.style;
1592
- if (part.animatedSize !== undefined) {
1593
- // The part size has been fixed for animating the transition to collapsed / expanded state
1594
- const fixedSize = `${this.options.headerSize + part.animatedSize}px`;
1595
- style.minHeight = fixedSize;
1596
- style.maxHeight = fixedSize;
1597
- } else if (part.collapsed) {
1598
- // The part size is fixed to the header size
1599
- const fixedSize = `${this.options.headerSize}px`;
1600
- style.minHeight = fixedSize;
1601
- style.maxHeight = fixedSize;
1602
- } else {
1603
- const minSize = `${this.options.headerSize + part.minSize}px`;
1604
- style.minHeight = minSize;
1605
- style.maxHeight = '';
1606
- }
1607
- }
1608
- super.onFitRequest(msg);
1609
- }
1610
-
1611
- /**
1612
- * Sinusoidal tween function for smooth animation.
1613
- */
1614
- protected tween(t: number): number {
1615
- return 0.5 * (1 - Math.cos(Math.PI * t));
1616
- }
1617
-
1618
- setHandlePosition(index: number, position: number): Promise<void> {
1619
- const options: SplitPositionOptions = {
1620
- referenceWidget: this.widgets[index],
1621
- duration: 0
1622
- };
1623
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
1624
- return this.splitPositionHandler.setSplitHandlePosition(this.parent as SplitPanel, index, position, options) as Promise<any>;
1625
- }
1626
-
1627
- }
1628
-
1629
- export namespace ViewContainerLayout {
1630
-
1631
- export interface Options extends SplitLayout.IOptions {
1632
- headerSize: number;
1633
- animationDuration: number;
1634
- }
1635
-
1636
- export interface Item {
1637
- readonly widget: ViewContainerPart;
1638
- }
1639
-
1640
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2018-2019 TypeFox and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { interfaces, injectable, inject, postConstruct } from 'inversify';
18
+ import { IIterator, toArray, find, some, every, map, ArrayExt } from '@phosphor/algorithm';
19
+ import {
20
+ Widget, EXPANSION_TOGGLE_CLASS, COLLAPSED_CLASS, CODICON_TREE_ITEM_CLASSES, MessageLoop, Message, SplitPanel,
21
+ BaseWidget, addEventListener, SplitLayout, LayoutItem, PanelLayout, addKeyListener, waitForRevealed, UnsafeWidgetUtilities, DockPanel, PINNED_CLASS
22
+ } from './widgets';
23
+ import { Event as CommonEvent, Emitter } from '../common/event';
24
+ import { Disposable, DisposableCollection } from '../common/disposable';
25
+ import { CommandRegistry } from '../common/command';
26
+ import { MenuModelRegistry, MenuPath, MenuAction } from '../common/menu';
27
+ import { ApplicationShell, StatefulWidget, SplitPositionHandler, SplitPositionOptions, SIDE_PANEL_TOOLBAR_CONTEXT_MENU } from './shell';
28
+ import { MAIN_AREA_ID, BOTTOM_AREA_ID } from './shell/theia-dock-panel';
29
+ import { FrontendApplicationStateService } from './frontend-application-state';
30
+ import { ContextMenuRenderer, Anchor } from './context-menu-renderer';
31
+ import { parseCssMagnitude } from './browser';
32
+ import { TabBarToolbarRegistry, TabBarToolbarFactory, TabBarToolbar, TabBarDelegator, RenderedToolbarItem } from './shell/tab-bar-toolbar';
33
+ import { isEmpty, isObject, nls } from '../common';
34
+ import { WidgetManager } from './widget-manager';
35
+ import { Key } from './keys';
36
+ import { ProgressBarFactory } from './progress-bar-factory';
37
+ import { Drag, IDragEvent } from '@phosphor/dragdrop';
38
+ import { MimeData } from '@phosphor/coreutils';
39
+ import { ElementExt } from '@phosphor/domutils';
40
+ import { TabBarDecoratorService } from './shell/tab-bar-decorator';
41
+
42
+ export interface ViewContainerTitleOptions {
43
+ label: string;
44
+ caption?: string;
45
+ iconClass?: string;
46
+ closeable?: boolean;
47
+ }
48
+
49
+ @injectable()
50
+ export class ViewContainerIdentifier {
51
+ id: string;
52
+ progressLocationId?: string;
53
+ }
54
+
55
+ export interface DescriptionWidget {
56
+ description: string;
57
+ onDidChangeDescription: CommonEvent<void>;
58
+ }
59
+
60
+ export interface BadgeWidget {
61
+ badge?: number;
62
+ badgeTooltip?: string;
63
+ onDidChangeBadge: CommonEvent<void>;
64
+ onDidChangeBadgeTooltip: CommonEvent<void>;
65
+ }
66
+
67
+ export namespace DescriptionWidget {
68
+ export function is(arg: unknown): arg is DescriptionWidget {
69
+ return isObject(arg) && 'onDidChangeDescription' in arg;
70
+ }
71
+ }
72
+
73
+ export namespace BadgeWidget {
74
+ export function is(arg: unknown): arg is BadgeWidget {
75
+ return isObject(arg) && 'onDidChangeBadge' in arg && 'onDidChangeBadgeTooltip' in arg;
76
+ }
77
+ }
78
+
79
+ /**
80
+ * A widget that may change it's internal structure dynamically.
81
+ * Current use is to update the toolbar when a contributed view is constructed "lazily".
82
+ */
83
+ export interface DynamicToolbarWidget {
84
+ onDidChangeToolbarItems: CommonEvent<void>;
85
+ }
86
+
87
+ export namespace DynamicToolbarWidget {
88
+ export function is(arg: unknown): arg is DynamicToolbarWidget {
89
+ return isObject(arg) && 'onDidChangeToolbarItems' in arg;
90
+ }
91
+ }
92
+
93
+ /**
94
+ * A view container holds an arbitrary number of widgets inside a split panel.
95
+ * Each widget is wrapped in a _part_ that displays the widget title and toolbar
96
+ * and allows to collapse / expand the widget content.
97
+ */
98
+ @injectable()
99
+ export class ViewContainer extends BaseWidget implements StatefulWidget, ApplicationShell.TrackableWidgetProvider, TabBarDelegator {
100
+
101
+ protected panel: SplitPanel;
102
+
103
+ protected currentPart: ViewContainerPart | undefined;
104
+
105
+ /**
106
+ * Disable dragging parts from/to this view container.
107
+ */
108
+ disableDNDBetweenContainers = false;
109
+
110
+ @inject(FrontendApplicationStateService)
111
+ protected readonly applicationStateService: FrontendApplicationStateService;
112
+
113
+ @inject(ContextMenuRenderer)
114
+ protected readonly contextMenuRenderer: ContextMenuRenderer;
115
+
116
+ @inject(CommandRegistry)
117
+ protected readonly commandRegistry: CommandRegistry;
118
+
119
+ @inject(MenuModelRegistry)
120
+ protected readonly menuRegistry: MenuModelRegistry;
121
+
122
+ @inject(WidgetManager)
123
+ protected readonly widgetManager: WidgetManager;
124
+
125
+ @inject(SplitPositionHandler)
126
+ protected readonly splitPositionHandler: SplitPositionHandler;
127
+
128
+ @inject(ViewContainerIdentifier)
129
+ readonly options: ViewContainerIdentifier;
130
+
131
+ @inject(TabBarToolbarRegistry)
132
+ protected readonly toolbarRegistry: TabBarToolbarRegistry;
133
+
134
+ @inject(TabBarToolbarFactory)
135
+ protected readonly toolbarFactory: TabBarToolbarFactory;
136
+
137
+ protected readonly onDidChangeTrackableWidgetsEmitter = new Emitter<Widget[]>();
138
+ readonly onDidChangeTrackableWidgets = this.onDidChangeTrackableWidgetsEmitter.event;
139
+
140
+ @inject(ProgressBarFactory)
141
+ protected readonly progressBarFactory: ProgressBarFactory;
142
+
143
+ @inject(ApplicationShell)
144
+ protected readonly shell: ApplicationShell;
145
+
146
+ @inject(TabBarDecoratorService)
147
+ protected readonly decoratorService: TabBarDecoratorService;
148
+
149
+ @postConstruct()
150
+ protected init(): void {
151
+ this.id = this.options.id;
152
+ this.addClass('theia-view-container');
153
+ const layout = new PanelLayout();
154
+ this.layout = layout;
155
+ this.panel = new SplitPanel({
156
+ layout: new ViewContainerLayout({
157
+ renderer: SplitPanel.defaultRenderer,
158
+ orientation: this.orientation,
159
+ spacing: 2,
160
+ headerSize: ViewContainerPart.HEADER_HEIGHT,
161
+ animationDuration: 200
162
+ }, this.splitPositionHandler)
163
+ });
164
+ this.panel.node.tabIndex = -1;
165
+ this.configureLayout(layout);
166
+
167
+ const { commandRegistry, menuRegistry, contextMenuRenderer } = this;
168
+ this.toDispose.pushAll([
169
+ addEventListener(this.node, 'contextmenu', event => {
170
+ if (event.button === 2 && every(this.containerLayout.iter(), part => !!part.isHidden)) {
171
+ event.stopPropagation();
172
+ event.preventDefault();
173
+ contextMenuRenderer.render({ menuPath: this.contextMenuPath, anchor: event });
174
+ }
175
+ }),
176
+ commandRegistry.registerCommand({ id: this.globalHideCommandId }, {
177
+ execute: (anchor: Anchor) => {
178
+ const toHide = this.findPartForAnchor(anchor);
179
+ if (toHide && toHide.canHide) {
180
+ toHide.hide();
181
+ }
182
+ },
183
+ isVisible: (anchor: Anchor) => {
184
+ const toHide = this.findPartForAnchor(anchor);
185
+ if (toHide) {
186
+ return toHide.canHide && !toHide.isHidden;
187
+ } else {
188
+ return some(this.containerLayout.iter(), part => !part.isHidden);
189
+ }
190
+ }
191
+ }),
192
+ menuRegistry.registerMenuAction([...this.contextMenuPath, '0_global'], {
193
+ commandId: this.globalHideCommandId,
194
+ label: nls.localizeByDefault('Hide')
195
+ }),
196
+ this.onDidChangeTrackableWidgetsEmitter,
197
+ this.onDidChangeTrackableWidgets(() => this.decoratorService.fireDidChangeDecorations())
198
+ ]);
199
+ if (this.options.progressLocationId) {
200
+ this.toDispose.push(this.progressBarFactory({ container: this.node, insertMode: 'prepend', locationId: this.options.progressLocationId }));
201
+ }
202
+ }
203
+
204
+ protected configureLayout(layout: PanelLayout): void {
205
+ layout.addWidget(this.panel);
206
+ }
207
+
208
+ protected readonly toDisposeOnCurrentPart = new DisposableCollection();
209
+
210
+ protected updateCurrentPart(part?: ViewContainerPart): void {
211
+ if (part && this.getParts().indexOf(part) !== -1) {
212
+ this.currentPart = part;
213
+ }
214
+ if (this.currentPart && !this.currentPart.isDisposed) {
215
+ return;
216
+ }
217
+ const visibleParts = this.getParts().filter(p => !p.isHidden);
218
+ const expandedParts = visibleParts.filter(p => !p.collapsed);
219
+ this.currentPart = expandedParts[0] || visibleParts[0];
220
+ }
221
+
222
+ protected updateSplitterVisibility(): void {
223
+ const className = 'p-first-visible';
224
+ let firstFound = false;
225
+ for (const part of this.getParts()) {
226
+ if (!part.isHidden && !firstFound) {
227
+ part.addClass(className);
228
+ firstFound = true;
229
+ } else {
230
+ part.removeClass(className);
231
+ }
232
+ }
233
+ }
234
+
235
+ protected titleOptions: ViewContainerTitleOptions | undefined;
236
+
237
+ setTitleOptions(titleOptions: ViewContainerTitleOptions | undefined): void {
238
+ this.titleOptions = titleOptions;
239
+ this.updateTitle();
240
+ }
241
+
242
+ protected readonly toDisposeOnUpdateTitle = new DisposableCollection();
243
+
244
+ protected _tabBarDelegate: Widget = this;
245
+ updateTabBarDelegate(): void {
246
+ const visibleParts = this.getParts().filter(part => !part.isHidden);
247
+ if (visibleParts.length === 1) {
248
+ this._tabBarDelegate = visibleParts[0].wrapped;
249
+ } else {
250
+ this._tabBarDelegate = this;
251
+ }
252
+ }
253
+
254
+ getTabBarDelegate(): Widget | undefined {
255
+ return this._tabBarDelegate;
256
+ }
257
+
258
+ protected updateTitle(): void {
259
+ this.toDisposeOnUpdateTitle.dispose();
260
+ this.toDispose.push(this.toDisposeOnUpdateTitle);
261
+ this.updateTabBarDelegate();
262
+ let title = Object.assign({}, this.titleOptions);
263
+ if (isEmpty(title)) {
264
+ return;
265
+ }
266
+ const allParts = this.getParts();
267
+ const visibleParts = allParts.filter(part => !part.isHidden);
268
+ this.title.label = title.label;
269
+ // If there's only one visible part - inline it's title into the container title except in case the part
270
+ // isn't originally belongs to this container but there are other **original** hidden parts.
271
+ if (visibleParts.length === 1 && (visibleParts[0].originalContainerId === this.id || !this.findOriginalPart())) {
272
+ const part = visibleParts[0];
273
+ this.toDisposeOnUpdateTitle.push(part.onTitleChanged(() => this.updateTitle()));
274
+ const partLabel = part.wrapped.title.label;
275
+ // Change the container title if it contains only one part that originally belongs to another container.
276
+ if (allParts.length === 1 && part.originalContainerId !== this.id && !this.isCurrentTitle(part.originalContainerTitle)) {
277
+ title = Object.assign({}, part.originalContainerTitle);
278
+ this.setTitleOptions(title);
279
+ return;
280
+ }
281
+ if (partLabel) {
282
+ if (this.title.label && this.title.label !== partLabel) {
283
+ this.title.label += ': ' + partLabel;
284
+ } else {
285
+ this.title.label = partLabel;
286
+ }
287
+ }
288
+ part.collapsed = false;
289
+ part.hideTitle();
290
+ } else {
291
+ visibleParts.forEach(part => part.showTitle());
292
+ // If at least one part originally belongs to this container the title should return to its original value.
293
+ const originalPart = this.findOriginalPart();
294
+ if (originalPart && !this.isCurrentTitle(originalPart.originalContainerTitle)) {
295
+ title = Object.assign({}, originalPart.originalContainerTitle);
296
+ this.setTitleOptions(title);
297
+ return;
298
+ }
299
+ }
300
+ this.updateToolbarItems(allParts);
301
+ this.title.caption = title?.caption || title?.label;
302
+ if (title.iconClass) {
303
+ this.title.iconClass = title.iconClass;
304
+ }
305
+ if (this.title.className.includes(PINNED_CLASS)) {
306
+ this.title.closable &&= false;
307
+ } else if (title.closeable !== undefined) {
308
+ this.title.closable = title.closeable;
309
+ }
310
+ }
311
+
312
+ protected updateToolbarItems(allParts: ViewContainerPart[]): void {
313
+ if (allParts.length > 1) {
314
+ const group = this.getToggleVisibilityGroupLabel();
315
+ for (const part of allParts) {
316
+ const existingId = this.toggleVisibilityCommandId(part);
317
+ const { caption, label, dataset: { visibilityCommandLabel } } = part.wrapped.title;
318
+ this.registerToolbarItem(existingId, { tooltip: visibilityCommandLabel || caption || label, group });
319
+ }
320
+ }
321
+ }
322
+
323
+ protected getToggleVisibilityGroupLabel(): string {
324
+ return 'view';
325
+ }
326
+
327
+ protected registerToolbarItem(commandId: string, options?: Partial<Omit<RenderedToolbarItem, 'id' | 'command'>>): void {
328
+ const newId = `${this.id}-tabbar-toolbar-${commandId}`;
329
+ const existingHandler = this.commandRegistry.getAllHandlers(commandId)[0];
330
+ const existingCommand = this.commandRegistry.getCommand(commandId);
331
+ if (existingHandler && existingCommand) {
332
+ this.toDisposeOnUpdateTitle.push(this.commandRegistry.registerCommand({ ...existingCommand, id: newId }, {
333
+ execute: (_widget, ...args) => this.commandRegistry.executeCommand(commandId, ...args),
334
+ isToggled: (_widget, ...args) => this.commandRegistry.isToggled(commandId, ...args),
335
+ isEnabled: (_widget, ...args) => this.commandRegistry.isEnabled(commandId, ...args),
336
+ isVisible: (widget, ...args) => widget === this.getTabBarDelegate() && this.commandRegistry.isVisible(commandId, ...args),
337
+ }));
338
+ this.toDisposeOnUpdateTitle.push(this.toolbarRegistry.registerItem({
339
+ ...options,
340
+ id: newId,
341
+ command: newId,
342
+ }));
343
+ }
344
+ }
345
+
346
+ protected findOriginalPart(): ViewContainerPart | undefined {
347
+ return this.getParts().find(part => part.originalContainerId === this.id);
348
+ }
349
+
350
+ protected isCurrentTitle(titleOptions: ViewContainerTitleOptions | undefined): boolean {
351
+ // eslint-disable-next-line @typescript-eslint/no-explicit-any
352
+ return (!!titleOptions && !!this.titleOptions && Object.keys(titleOptions).every(key => (titleOptions as any)[key] === (this.titleOptions as any)[key]))
353
+ || (!titleOptions && !this.titleOptions);
354
+ }
355
+
356
+ protected findPartForAnchor(anchor: Anchor): ViewContainerPart | undefined {
357
+ const element = document.elementFromPoint(anchor.x, anchor.y);
358
+ if (element instanceof Element) {
359
+ const closestPart = ViewContainerPart.closestPart(element);
360
+ if (closestPart && closestPart.id) {
361
+ return find(this.containerLayout.iter(), part => part.id === closestPart.id);
362
+ }
363
+ }
364
+ return undefined;
365
+ }
366
+
367
+ protected readonly toRemoveWidgets = new Map<string, DisposableCollection>();
368
+
369
+ protected createPartId(widget: Widget): string {
370
+ const description = this.widgetManager.getDescription(widget);
371
+ return widget.id || JSON.stringify(description);
372
+ }
373
+
374
+ addWidget(widget: Widget, options?: ViewContainer.Factory.WidgetOptions, originalContainerId?: string, originalContainerTitle?: ViewContainerTitleOptions): Disposable {
375
+ const existing = this.toRemoveWidgets.get(widget.id);
376
+ if (existing) {
377
+ return existing;
378
+ }
379
+ const partId = this.createPartId(widget);
380
+ const newPart = this.createPart(widget, partId, originalContainerId || this.id, originalContainerTitle || this.titleOptions, options);
381
+ return this.attachNewPart(newPart);
382
+ }
383
+
384
+ protected attachNewPart(newPart: ViewContainerPart, insertIndex?: number): Disposable {
385
+ const toRemoveWidget = new DisposableCollection();
386
+ this.toDispose.push(toRemoveWidget);
387
+ this.toRemoveWidgets.set(newPart.wrapped.id, toRemoveWidget);
388
+ toRemoveWidget.push(Disposable.create(() => this.toRemoveWidgets.delete(newPart.wrapped.id)));
389
+ this.registerPart(newPart);
390
+ if (insertIndex !== undefined || (newPart.options && newPart.options.order !== undefined)) {
391
+ const index = insertIndex ?? this.getParts().findIndex(part => part.options.order === undefined || part.options.order > newPart.options.order!);
392
+ if (index >= 0) {
393
+ this.containerLayout.insertWidget(index, newPart);
394
+ } else {
395
+ this.containerLayout.addWidget(newPart);
396
+ }
397
+ } else {
398
+ this.containerLayout.addWidget(newPart);
399
+ }
400
+ this.refreshMenu(newPart);
401
+ this.updateTitle();
402
+ this.updateCurrentPart();
403
+ this.updateSplitterVisibility();
404
+ this.update();
405
+ this.fireDidChangeTrackableWidgets();
406
+ toRemoveWidget.pushAll([
407
+ Disposable.create(() => {
408
+ if (newPart.currentViewContainerId === this.id) {
409
+ newPart.dispose();
410
+ }
411
+ this.unregisterPart(newPart);
412
+ if (!newPart.isDisposed && this.getPartIndex(newPart.id) > -1) {
413
+ this.containerLayout.removeWidget(newPart);
414
+ }
415
+ if (!this.isDisposed) {
416
+ this.update();
417
+ this.updateTitle();
418
+ this.updateCurrentPart();
419
+ this.updateSplitterVisibility();
420
+ this.fireDidChangeTrackableWidgets();
421
+ }
422
+ }),
423
+ this.registerDND(newPart),
424
+ newPart.onDidChangeVisibility(() => {
425
+ this.updateTitle();
426
+ this.updateCurrentPart();
427
+ this.updateSplitterVisibility();
428
+ this.containerLayout.updateSashes();
429
+ }),
430
+ newPart.onCollapsed(() => {
431
+ this.containerLayout.updateCollapsed(newPart, this.enableAnimation);
432
+ this.containerLayout.updateSashes();
433
+ this.updateCurrentPart();
434
+ }),
435
+ newPart.onContextMenu(event => {
436
+ if (event.button === 2) {
437
+ event.preventDefault();
438
+ event.stopPropagation();
439
+ this.contextMenuRenderer.render({ menuPath: this.contextMenuPath, anchor: event });
440
+ }
441
+ }),
442
+ newPart.onTitleChanged(() => this.refreshMenu(newPart)),
443
+ newPart.onDidFocus(() => this.updateCurrentPart(newPart))
444
+ ]);
445
+
446
+ newPart.disposed.connect(() => toRemoveWidget.dispose());
447
+ return toRemoveWidget;
448
+ }
449
+
450
+ protected createPart(widget: Widget, partId: string, originalContainerId: string, originalContainerTitle?: ViewContainerTitleOptions,
451
+ options?: ViewContainer.Factory.WidgetOptions): ViewContainerPart {
452
+
453
+ return new ViewContainerPart(widget, partId, this.id, originalContainerId, originalContainerTitle, this.toolbarRegistry, this.toolbarFactory, options);
454
+ }
455
+
456
+ removeWidget(widget: Widget): boolean {
457
+ const disposable = this.toRemoveWidgets.get(widget.id);
458
+ if (disposable) {
459
+ disposable.dispose();
460
+ return true;
461
+ }
462
+ return false;
463
+ }
464
+
465
+ getParts(): ViewContainerPart[] {
466
+ return this.containerLayout.widgets;
467
+ }
468
+
469
+ protected getPartIndex(partId: string | undefined): number {
470
+ if (partId) {
471
+ return this.getParts().findIndex(part => part.id === partId);
472
+ }
473
+ return -1;
474
+ }
475
+
476
+ getPartFor(widget: Widget): ViewContainerPart | undefined {
477
+ return this.getParts().find(p => p.wrapped.id === widget.id);
478
+ }
479
+
480
+ get containerLayout(): ViewContainerLayout {
481
+ const layout = this.panel.layout;
482
+ if (layout instanceof ViewContainerLayout) {
483
+ return layout;
484
+ }
485
+ throw new Error('view container is disposed');
486
+ }
487
+
488
+ protected get orientation(): SplitLayout.Orientation {
489
+ return ViewContainer.getOrientation(this.node);
490
+ }
491
+
492
+ protected get enableAnimation(): boolean {
493
+ return this.applicationStateService.state === 'ready';
494
+ }
495
+
496
+ protected lastVisibleState: ViewContainer.State | undefined;
497
+
498
+ storeState(): ViewContainer.State {
499
+ if (!this.isVisible && this.lastVisibleState) {
500
+ return this.lastVisibleState;
501
+ }
502
+ return this.doStoreState();
503
+ }
504
+ protected doStoreState(): ViewContainer.State {
505
+ const parts = this.getParts();
506
+ const availableSize = this.containerLayout.getAvailableSize();
507
+ const orientation = this.orientation;
508
+ const partStates = parts.map(part => {
509
+ let size = this.containerLayout.getPartSize(part);
510
+ if (size && size > ViewContainerPart.HEADER_HEIGHT && orientation === 'vertical') {
511
+ size -= ViewContainerPart.HEADER_HEIGHT;
512
+ }
513
+ return <ViewContainerPart.State>{
514
+ widget: part.wrapped,
515
+ partId: part.partId,
516
+ collapsed: part.collapsed,
517
+ hidden: part.isHidden,
518
+ relativeSize: size && availableSize ? size / availableSize : undefined,
519
+ originalContainerId: part.originalContainerId,
520
+ originalContainerTitle: part.originalContainerTitle
521
+ };
522
+ });
523
+ return { parts: partStates, title: this.titleOptions };
524
+ }
525
+
526
+ restoreState(state: ViewContainer.State): void {
527
+ this.lastVisibleState = state;
528
+ this.doRestoreState(state);
529
+ }
530
+ protected doRestoreState(state: ViewContainer.State): void {
531
+ this.setTitleOptions(state.title);
532
+ // restore widgets
533
+ for (const part of state.parts) {
534
+ if (part.widget) {
535
+ this.addWidget(part.widget, undefined, part.originalContainerId, part.originalContainerTitle || {} as ViewContainerTitleOptions);
536
+ }
537
+ }
538
+ const partStates = state.parts.filter(partState => some(this.containerLayout.iter(), p => p.partId === partState.partId));
539
+
540
+ // Reorder the parts according to the stored state
541
+ for (let index = 0; index < partStates.length; index++) {
542
+ const partState = partStates[index];
543
+ const widget = this.getParts().find(part => part.partId === partState.partId);
544
+ if (widget) {
545
+ this.containerLayout.insertWidget(index, widget);
546
+ }
547
+ }
548
+
549
+ // Restore visibility and collapsed state
550
+ const parts = this.getParts();
551
+ for (let index = 0; index < parts.length; index++) {
552
+ const part = parts[index];
553
+ const partState = partStates.find(s => part.partId === s.partId);
554
+ if (partState) {
555
+ part.setHidden(partState.hidden);
556
+ part.collapsed = partState.collapsed || !partState.relativeSize;
557
+ } else if (part.canHide) {
558
+ part.hide();
559
+ }
560
+ this.refreshMenu(part);
561
+ }
562
+
563
+ // Restore part sizes
564
+ waitForRevealed(this).then(() => {
565
+ this.containerLayout.setPartSizes(partStates.map(partState => partState.relativeSize));
566
+ this.updateSplitterVisibility();
567
+ });
568
+ }
569
+
570
+ /**
571
+ * Register a command to toggle the visibility of the new part.
572
+ */
573
+ protected registerPart(toRegister: ViewContainerPart): void {
574
+ const commandId = this.toggleVisibilityCommandId(toRegister);
575
+ this.commandRegistry.registerCommand({ id: commandId }, {
576
+ execute: () => {
577
+ const toHide = find(this.containerLayout.iter(), part => part.id === toRegister.id);
578
+ if (toHide) {
579
+ toHide.setHidden(!toHide.isHidden);
580
+ }
581
+ },
582
+ isToggled: () => {
583
+ if (!toRegister.canHide) {
584
+ return true;
585
+ }
586
+ const widgetToToggle = find(this.containerLayout.iter(), part => part.id === toRegister.id);
587
+ if (widgetToToggle) {
588
+ return !widgetToToggle.isHidden;
589
+ }
590
+ return false;
591
+ },
592
+ isEnabled: arg => toRegister.canHide && (!this.titleOptions || !(arg instanceof Widget) || (arg instanceof ViewContainer && arg.id === this.id)),
593
+ isVisible: arg => !this.titleOptions || !(arg instanceof Widget) || (arg instanceof ViewContainer && arg.id === this.id)
594
+ });
595
+ }
596
+
597
+ /**
598
+ * Register a menu action to toggle the visibility of the new part.
599
+ * The menu action is unregistered first to enable refreshing the order of menu actions.
600
+ */
601
+ protected refreshMenu(part: ViewContainerPart): void {
602
+ const commandId = this.toggleVisibilityCommandId(part);
603
+ this.menuRegistry.unregisterMenuAction(commandId);
604
+ if (!part.wrapped.title.label) {
605
+ return;
606
+ }
607
+ const { dataset: { visibilityCommandLabel }, caption, label } = part.wrapped.title;
608
+ const action: MenuAction = {
609
+ commandId: commandId,
610
+ label: visibilityCommandLabel || caption || label,
611
+ order: this.getParts().indexOf(part).toString()
612
+ };
613
+ this.menuRegistry.registerMenuAction([...this.contextMenuPath, '1_widgets'], action);
614
+ if (this.titleOptions) {
615
+ this.menuRegistry.registerMenuAction([...SIDE_PANEL_TOOLBAR_CONTEXT_MENU, 'navigation'], action);
616
+ }
617
+ }
618
+
619
+ protected unregisterPart(part: ViewContainerPart): void {
620
+ const commandId = this.toggleVisibilityCommandId(part);
621
+ this.commandRegistry.unregisterCommand(commandId);
622
+ this.menuRegistry.unregisterMenuAction(commandId);
623
+ }
624
+
625
+ protected get contextMenuPath(): MenuPath {
626
+ return [`${this.id}-context-menu`];
627
+ }
628
+
629
+ protected toggleVisibilityCommandId(part: ViewContainerPart): string {
630
+ return `${this.id}:toggle-visibility-${part.id}`;
631
+ }
632
+
633
+ protected get globalHideCommandId(): string {
634
+ return `${this.id}:toggle-visibility`;
635
+ }
636
+
637
+ protected moveBefore(toMovedId: string, moveBeforeThisId: string): void {
638
+ const parts = this.getParts();
639
+ const indexToMove = parts.findIndex(part => part.id === toMovedId);
640
+ const targetIndex = parts.findIndex(part => part.id === moveBeforeThisId);
641
+ if (indexToMove >= 0 && targetIndex >= 0) {
642
+ this.containerLayout.insertWidget(targetIndex, parts[indexToMove]);
643
+ for (let index = Math.min(indexToMove, targetIndex); index < parts.length; index++) {
644
+ this.refreshMenu(parts[index]);
645
+ this.activate();
646
+ }
647
+ }
648
+ this.updateSplitterVisibility();
649
+ }
650
+
651
+ getTrackableWidgets(): Widget[] {
652
+ return this.getParts().map(w => w.wrapped);
653
+ }
654
+
655
+ protected fireDidChangeTrackableWidgets(): void {
656
+ this.onDidChangeTrackableWidgetsEmitter.fire(this.getTrackableWidgets());
657
+ }
658
+
659
+ activateWidget(id: string): Widget | undefined {
660
+ const part = this.revealPart(id);
661
+ if (!part) {
662
+ return undefined;
663
+ }
664
+ this.updateCurrentPart(part);
665
+ part.collapsed = false;
666
+ return part.wrapped;
667
+ }
668
+
669
+ revealWidget(id: string): Widget | undefined {
670
+ const part = this.revealPart(id);
671
+ return part && part.wrapped;
672
+ }
673
+
674
+ protected revealPart(id: string): ViewContainerPart | undefined {
675
+ const part = this.getParts().find(p => p.wrapped.id === id);
676
+ if (!part) {
677
+ return undefined;
678
+ }
679
+ part.setHidden(false);
680
+ return part;
681
+ }
682
+
683
+ protected override onActivateRequest(msg: Message): void {
684
+ super.onActivateRequest(msg);
685
+ if (this.currentPart) {
686
+ this.currentPart.activate();
687
+ } else {
688
+ this.panel.node.focus({ preventScroll: true });
689
+ }
690
+ }
691
+
692
+ protected override onAfterAttach(msg: Message): void {
693
+ const orientation = this.orientation;
694
+ this.containerLayout.orientation = orientation;
695
+ if (orientation === 'horizontal') {
696
+ for (const part of this.getParts()) {
697
+ part.collapsed = false;
698
+ }
699
+ }
700
+ super.onAfterAttach(msg);
701
+ }
702
+
703
+ protected override onBeforeHide(msg: Message): void {
704
+ super.onBeforeHide(msg);
705
+ this.lastVisibleState = this.storeState();
706
+ }
707
+
708
+ protected override onAfterShow(msg: Message): void {
709
+ super.onAfterShow(msg);
710
+ this.updateTitle();
711
+ this.lastVisibleState = undefined;
712
+ }
713
+
714
+ protected override onBeforeAttach(msg: Message): void {
715
+ super.onBeforeAttach(msg);
716
+ this.node.addEventListener('p-dragenter', this, true);
717
+ this.node.addEventListener('p-dragover', this, true);
718
+ this.node.addEventListener('p-dragleave', this, true);
719
+ this.node.addEventListener('p-drop', this, true);
720
+ }
721
+
722
+ protected override onAfterDetach(msg: Message): void {
723
+ super.onAfterDetach(msg);
724
+ this.node.removeEventListener('p-dragenter', this, true);
725
+ this.node.removeEventListener('p-dragover', this, true);
726
+ this.node.removeEventListener('p-dragleave', this, true);
727
+ this.node.removeEventListener('p-drop', this, true);
728
+ }
729
+
730
+ handleEvent(event: Event): void {
731
+ switch (event.type) {
732
+ case 'p-dragenter':
733
+ this.handleDragEnter(event as IDragEvent);
734
+ break;
735
+ case 'p-dragover':
736
+ this.handleDragOver(event as IDragEvent);
737
+ break;
738
+ case 'p-dragleave':
739
+ this.handleDragLeave(event as IDragEvent);
740
+ break;
741
+ case 'p-drop':
742
+ this.handleDrop(event as IDragEvent);
743
+ break;
744
+ }
745
+ }
746
+
747
+ handleDragEnter(event: IDragEvent): void {
748
+ if (event.mimeData.hasData('application/vnd.phosphor.view-container-factory')) {
749
+ event.preventDefault();
750
+ event.stopPropagation();
751
+ }
752
+ }
753
+
754
+ toDisposeOnDragEnd = new DisposableCollection();
755
+ handleDragOver(event: IDragEvent): void {
756
+ const factory = event.mimeData.getData('application/vnd.phosphor.view-container-factory');
757
+ const widget = factory && factory();
758
+ if (!(widget instanceof ViewContainerPart)) {
759
+ return;
760
+ }
761
+ event.preventDefault();
762
+ event.stopPropagation();
763
+
764
+ const sameContainers = this.id === widget.currentViewContainerId;
765
+ const targetPart = ArrayExt.findFirstValue(this.getParts(), (p => ElementExt.hitTest(p.node, event.clientX, event.clientY)));
766
+ if (!targetPart && sameContainers) {
767
+ event.dropAction = 'none';
768
+ return;
769
+ }
770
+ if (targetPart) {
771
+ // add overlay class style to the `targetPart` node.
772
+ targetPart.node.classList.add('drop-target');
773
+ this.toDisposeOnDragEnd.push(Disposable.create(() => targetPart.node.classList.remove('drop-target')));
774
+ } else {
775
+ // show panel overlay.
776
+ const dockPanel = this.getDockPanel();
777
+ if (dockPanel) {
778
+ dockPanel.overlay.show({ top: 0, bottom: 0, right: 0, left: 0 });
779
+ this.toDisposeOnDragEnd.push(Disposable.create(() => dockPanel.overlay.hide(100)));
780
+ }
781
+ }
782
+
783
+ const isDraggingOutsideDisabled = this.disableDNDBetweenContainers || widget.viewContainer?.disableDNDBetweenContainers
784
+ || widget.options.disableDraggingToOtherContainers;
785
+ if (isDraggingOutsideDisabled && !sameContainers) {
786
+ const { target } = event;
787
+ if (target instanceof HTMLElement) {
788
+ target.classList.add('theia-cursor-no-drop');
789
+ this.toDisposeOnDragEnd.push(Disposable.create(() => {
790
+ target.classList.remove('theia-cursor-no-drop');
791
+ }));
792
+ }
793
+ event.dropAction = 'none';
794
+ return;
795
+ };
796
+
797
+ event.dropAction = event.proposedAction;
798
+ };
799
+
800
+ handleDragLeave(event: IDragEvent): void {
801
+ this.toDisposeOnDragEnd.dispose();
802
+ if (event.mimeData.hasData('application/vnd.phosphor.view-container-factory')) {
803
+ event.preventDefault();
804
+ event.stopPropagation();
805
+ }
806
+ };
807
+
808
+ handleDrop(event: IDragEvent): void {
809
+ this.toDisposeOnDragEnd.dispose();
810
+ const factory = event.mimeData.getData('application/vnd.phosphor.view-container-factory');
811
+ const draggedPart = factory && factory();
812
+ if (!(draggedPart instanceof ViewContainerPart)) {
813
+ event.dropAction = 'none';
814
+ return;
815
+ }
816
+ event.preventDefault();
817
+ event.stopPropagation();
818
+ const parts = this.getParts();
819
+ const toIndex = ArrayExt.findFirstIndex(parts, part => ElementExt.hitTest(part.node, event.clientX, event.clientY));
820
+ if (draggedPart.currentViewContainerId !== this.id) {
821
+ this.attachNewPart(draggedPart, toIndex > -1 ? toIndex + 1 : toIndex);
822
+ draggedPart.onPartMoved(this);
823
+ } else {
824
+ this.moveBefore(draggedPart.id, parts[toIndex].id);
825
+ }
826
+ event.dropAction = event.proposedAction;
827
+ }
828
+
829
+ protected registerDND(part: ViewContainerPart): Disposable {
830
+ part.headerElement.draggable = true;
831
+
832
+ return new DisposableCollection(
833
+ addEventListener(part.headerElement, 'dragstart',
834
+ event => {
835
+ event.preventDefault();
836
+ const mimeData = new MimeData();
837
+ mimeData.setData('application/vnd.phosphor.view-container-factory', () => part);
838
+ const clonedHeader = part.headerElement.cloneNode(true) as HTMLElement;
839
+ clonedHeader.style.width = part.node.style.width;
840
+ clonedHeader.style.opacity = '0.6';
841
+ const drag = new Drag({
842
+ mimeData,
843
+ dragImage: clonedHeader,
844
+ proposedAction: 'move',
845
+ supportedActions: 'move'
846
+ });
847
+ part.node.classList.add('p-mod-hidden');
848
+ drag.start(event.clientX, event.clientY).then(dropAction => {
849
+ // The promise is resolved when the drag has ended
850
+ if (dropAction === 'move' && part.currentViewContainerId !== this.id) {
851
+ this.removeWidget(part.wrapped);
852
+ this.lastVisibleState = this.doStoreState();
853
+ }
854
+ });
855
+ setTimeout(() => { part.node.classList.remove('p-mod-hidden'); }, 0);
856
+ }, false));
857
+ }
858
+
859
+ protected getDockPanel(): DockPanel | undefined {
860
+ let panel: DockPanel | undefined;
861
+ let parent = this.parent;
862
+ while (!panel && parent) {
863
+ if (this.isSideDockPanel(parent)) {
864
+ panel = parent as DockPanel;
865
+ } else {
866
+ parent = parent.parent;
867
+ }
868
+ }
869
+ return panel;
870
+ }
871
+
872
+ protected isSideDockPanel(widget: Widget): boolean {
873
+ const { leftPanelHandler, rightPanelHandler } = this.shell;
874
+ if (widget instanceof DockPanel && (widget.id === rightPanelHandler.dockPanel.id || widget.id === leftPanelHandler.dockPanel.id)) {
875
+ return true;
876
+ }
877
+ return false;
878
+ }
879
+
880
+ }
881
+
882
+ export namespace ViewContainer {
883
+
884
+ export const Factory = Symbol('ViewContainerFactory');
885
+ export interface Factory {
886
+ (options: ViewContainerIdentifier): ViewContainer;
887
+ }
888
+
889
+ export namespace Factory {
890
+
891
+ export interface WidgetOptions {
892
+ readonly order?: number;
893
+ readonly weight?: number;
894
+ readonly initiallyCollapsed?: boolean;
895
+ readonly canHide?: boolean;
896
+ readonly initiallyHidden?: boolean;
897
+ /**
898
+ * Disable dragging this part from its original container to other containers,
899
+ * But allow dropping parts from other containers on it,
900
+ * This option only applies to the `ViewContainerPart` and has no effect on the ViewContainer.
901
+ */
902
+ readonly disableDraggingToOtherContainers?: boolean;
903
+ }
904
+
905
+ export interface WidgetDescriptor {
906
+ readonly widget: Widget | interfaces.ServiceIdentifier<Widget>;
907
+ readonly options?: WidgetOptions;
908
+ }
909
+
910
+ }
911
+
912
+ export interface State {
913
+ title?: ViewContainerTitleOptions;
914
+ parts: ViewContainerPart.State[]
915
+ }
916
+
917
+ export function getOrientation(node: HTMLElement): 'horizontal' | 'vertical' {
918
+ if (node.closest(`#${MAIN_AREA_ID}`) || node.closest(`#${BOTTOM_AREA_ID}`)) {
919
+ return 'horizontal';
920
+ }
921
+ return 'vertical';
922
+ }
923
+ }
924
+
925
+ /**
926
+ * Wrapper around a widget held by a view container. Adds a header to display the
927
+ * title, toolbar, and collapse / expand handle.
928
+ */
929
+ export class ViewContainerPart extends BaseWidget {
930
+
931
+ protected readonly header: HTMLElement;
932
+ protected readonly body: HTMLElement;
933
+ protected readonly collapsedEmitter = new Emitter<boolean>();
934
+ protected readonly contextMenuEmitter = new Emitter<MouseEvent>();
935
+
936
+ protected readonly onTitleChangedEmitter = new Emitter<void>();
937
+ readonly onTitleChanged = this.onTitleChangedEmitter.event;
938
+ protected readonly onDidFocusEmitter = new Emitter<this>();
939
+ readonly onDidFocus = this.onDidFocusEmitter.event;
940
+ protected readonly onPartMovedEmitter = new Emitter<ViewContainer>();
941
+ readonly onDidMove = this.onPartMovedEmitter.event;
942
+ protected readonly onDidChangeDescriptionEmitter = new Emitter<void>();
943
+ readonly onDidChangeDescription = this.onDidChangeDescriptionEmitter.event;
944
+ protected readonly onDidChangeBadgeEmitter = new Emitter<void>();
945
+ readonly onDidChangeBadge = this.onDidChangeBadgeEmitter.event;
946
+ protected readonly onDidChangeBadgeTooltipEmitter = new Emitter<void>();
947
+ readonly onDidChangeBadgeTooltip = this.onDidChangeBadgeTooltipEmitter.event;
948
+
949
+ protected readonly toolbar: TabBarToolbar;
950
+
951
+ protected _collapsed: boolean;
952
+
953
+ uncollapsedSize: number | undefined;
954
+ animatedSize: number | undefined;
955
+
956
+ protected readonly toNoDisposeWrapped: Disposable;
957
+
958
+ constructor(
959
+ readonly wrapped: Widget,
960
+ readonly partId: string,
961
+ protected currentContainerId: string,
962
+ readonly originalContainerId: string,
963
+ readonly originalContainerTitle: ViewContainerTitleOptions | undefined,
964
+ protected readonly toolbarRegistry: TabBarToolbarRegistry,
965
+ protected readonly toolbarFactory: TabBarToolbarFactory,
966
+ readonly options: ViewContainer.Factory.WidgetOptions = {}
967
+ ) {
968
+ super();
969
+ wrapped.parent = this;
970
+ wrapped.disposed.connect(() => this.dispose());
971
+ this.id = `${originalContainerId}--${wrapped.id}`;
972
+ this.addClass('part');
973
+
974
+ const fireTitleChanged = () => this.onTitleChangedEmitter.fire(undefined);
975
+ this.wrapped.title.changed.connect(fireTitleChanged);
976
+ this.toDispose.push(Disposable.create(() => this.wrapped.title.changed.disconnect(fireTitleChanged)));
977
+
978
+ if (DescriptionWidget.is(this.wrapped)) {
979
+ this.wrapped?.onDidChangeDescription(() => this.onDidChangeDescriptionEmitter.fire(), undefined, this.toDispose);
980
+ }
981
+
982
+ if (BadgeWidget.is(this.wrapped)) {
983
+ this.wrapped.onDidChangeBadge(() => this.onDidChangeBadgeEmitter.fire(), undefined, this.toDispose);
984
+ this.wrapped.onDidChangeBadgeTooltip(() => this.onDidChangeBadgeTooltipEmitter.fire(), undefined, this.toDispose);
985
+ }
986
+
987
+ if (DynamicToolbarWidget.is(this.wrapped)) {
988
+ this.wrapped.onDidChangeToolbarItems(() => {
989
+ this.toolbar.updateTarget(this.wrapped);
990
+ this.viewContainer?.update();
991
+ });
992
+ }
993
+
994
+ const { header, body, disposable } = this.createContent();
995
+ this.header = header;
996
+ this.body = body;
997
+
998
+ this.toNoDisposeWrapped = this.toDispose.push(wrapped);
999
+ this.toolbar = this.toolbarFactory();
1000
+ this.toolbar.addClass('theia-view-container-part-title');
1001
+
1002
+ this.toDispose.pushAll([
1003
+ disposable,
1004
+ this.toolbar,
1005
+ this.toolbarRegistry.onDidChange(() => this.toolbar.updateTarget(this.wrapped)),
1006
+ this.collapsedEmitter,
1007
+ this.contextMenuEmitter,
1008
+ this.onTitleChangedEmitter,
1009
+ this.onDidChangeDescriptionEmitter,
1010
+ this.onDidChangeBadgeEmitter,
1011
+ this.onDidChangeBadgeTooltipEmitter,
1012
+ this.registerContextMenu(),
1013
+ this.onDidFocusEmitter,
1014
+ // focus event does not bubble, capture it
1015
+ addEventListener(this.node, 'focus', () => this.onDidFocusEmitter.fire(this), true)
1016
+ ]);
1017
+ this.scrollOptions = {
1018
+ suppressScrollX: true,
1019
+ minScrollbarLength: 35
1020
+ };
1021
+ this.collapsed = !!options.initiallyCollapsed;
1022
+ if (options.initiallyHidden && this.canHide) {
1023
+ this.hide();
1024
+ }
1025
+ }
1026
+
1027
+ get viewContainer(): ViewContainer | undefined {
1028
+ return this.parent ? this.parent.parent as ViewContainer : undefined;
1029
+ }
1030
+
1031
+ get currentViewContainerId(): string {
1032
+ return this.currentContainerId;
1033
+ }
1034
+
1035
+ get headerElement(): HTMLElement {
1036
+ return this.header;
1037
+ }
1038
+
1039
+ get collapsed(): boolean {
1040
+ return this._collapsed;
1041
+ }
1042
+
1043
+ set collapsed(collapsed: boolean) {
1044
+ // Cannot collapse/expand if the orientation of the container is `horizontal`.
1045
+ const orientation = ViewContainer.getOrientation(this.node);
1046
+ if (this._collapsed === collapsed || (orientation === 'horizontal' && collapsed)) {
1047
+ return;
1048
+ }
1049
+ this._collapsed = collapsed;
1050
+ this.node.classList.toggle('collapsed', collapsed);
1051
+
1052
+ if (collapsed && this.wrapped.node.contains(document.activeElement)) {
1053
+ this.header.focus();
1054
+ }
1055
+ this.wrapped.setHidden(collapsed);
1056
+ const toggleIcon = this.header.querySelector(`span.${EXPANSION_TOGGLE_CLASS}`);
1057
+ if (toggleIcon) {
1058
+ if (collapsed) {
1059
+ toggleIcon.classList.add(COLLAPSED_CLASS);
1060
+ } else {
1061
+ toggleIcon.classList.remove(COLLAPSED_CLASS);
1062
+ }
1063
+ }
1064
+ this.update();
1065
+ this.collapsedEmitter.fire(collapsed);
1066
+ }
1067
+
1068
+ onPartMoved(newContainer: ViewContainer): void {
1069
+ this.currentContainerId = newContainer.id;
1070
+ this.onPartMovedEmitter.fire(newContainer);
1071
+ }
1072
+
1073
+ override setHidden(hidden: boolean): void {
1074
+ if (!this.canHide) {
1075
+ return;
1076
+ }
1077
+ super.setHidden(hidden);
1078
+ }
1079
+
1080
+ get canHide(): boolean {
1081
+ return this.options.canHide === undefined || this.options.canHide;
1082
+ }
1083
+
1084
+ get onCollapsed(): CommonEvent<boolean> {
1085
+ return this.collapsedEmitter.event;
1086
+ }
1087
+
1088
+ get onContextMenu(): CommonEvent<MouseEvent> {
1089
+ return this.contextMenuEmitter.event;
1090
+ }
1091
+
1092
+ get minSize(): number {
1093
+ const style = getComputedStyle(this.body);
1094
+ if (ViewContainer.getOrientation(this.node) === 'horizontal') {
1095
+ return parseCssMagnitude(style.minWidth, 0);
1096
+ } else {
1097
+ return parseCssMagnitude(style.minHeight, 0);
1098
+ }
1099
+ }
1100
+
1101
+ protected readonly toShowHeader = new DisposableCollection();
1102
+ showTitle(): void {
1103
+ this.toShowHeader.dispose();
1104
+ }
1105
+
1106
+ hideTitle(): void {
1107
+ if (this.titleHidden) {
1108
+ return;
1109
+ }
1110
+ const display = this.header.style.display;
1111
+ const height = this.body.style.height;
1112
+ this.body.style.height = '100%';
1113
+ this.header.style.display = 'none';
1114
+ this.toShowHeader.push(Disposable.create(() => {
1115
+ this.header.style.display = display;
1116
+ this.body.style.height = height;
1117
+ }));
1118
+ }
1119
+
1120
+ get titleHidden(): boolean {
1121
+ return !this.toShowHeader.disposed || this.collapsed;
1122
+ }
1123
+
1124
+ protected override getScrollContainer(): HTMLElement {
1125
+ return this.body;
1126
+ }
1127
+
1128
+ protected registerContextMenu(): Disposable {
1129
+ return new DisposableCollection(
1130
+ addEventListener(this.header, 'contextmenu', event => {
1131
+ this.contextMenuEmitter.fire(event);
1132
+ })
1133
+ );
1134
+ }
1135
+
1136
+ protected createContent(): { header: HTMLElement, body: HTMLElement, disposable: Disposable } {
1137
+ const disposable = new DisposableCollection();
1138
+ const { header, disposable: headerDisposable } = this.createHeader();
1139
+ const body = document.createElement('div');
1140
+ body.classList.add('body');
1141
+ this.node.appendChild(header);
1142
+ this.node.appendChild(body);
1143
+ disposable.push(headerDisposable);
1144
+ return {
1145
+ header,
1146
+ body,
1147
+ disposable,
1148
+ };
1149
+ }
1150
+
1151
+ protected createHeader(): { header: HTMLElement, disposable: Disposable } {
1152
+ const disposable = new DisposableCollection();
1153
+ const header = document.createElement('div');
1154
+ header.tabIndex = 0;
1155
+ header.classList.add('theia-header', 'header', 'theia-view-container-part-header');
1156
+ disposable.push(addEventListener(header, 'click', event => {
1157
+ if (this.toolbar && this.toolbar.shouldHandleMouseEvent(event)) {
1158
+ return;
1159
+ }
1160
+ this.collapsed = !this.collapsed;
1161
+ }));
1162
+ disposable.push(addKeyListener(header, Key.ARROW_LEFT, () => this.collapsed = true));
1163
+ disposable.push(addKeyListener(header, Key.ARROW_RIGHT, () => this.collapsed = false));
1164
+ disposable.push(addKeyListener(header, Key.ENTER, () => this.collapsed = !this.collapsed));
1165
+
1166
+ const toggleIcon = document.createElement('span');
1167
+ toggleIcon.classList.add(EXPANSION_TOGGLE_CLASS, ...CODICON_TREE_ITEM_CLASSES);
1168
+ if (this.collapsed) {
1169
+ toggleIcon.classList.add(COLLAPSED_CLASS);
1170
+ }
1171
+ header.appendChild(toggleIcon);
1172
+
1173
+ const title = document.createElement('span');
1174
+ title.classList.add('label', 'noselect');
1175
+
1176
+ const description = document.createElement('span');
1177
+ description.classList.add('description');
1178
+
1179
+ const badgeSpan = document.createElement('span');
1180
+ badgeSpan.classList.add('notification-count');
1181
+
1182
+ const badgeContainer = document.createElement('div');
1183
+ badgeContainer.classList.add('notification-count-container');
1184
+ badgeContainer.appendChild(badgeSpan);
1185
+ const badgeContainerDisplay = badgeContainer.style.display;
1186
+
1187
+ const updateTitle = () => {
1188
+ if (this.currentContainerId !== this.originalContainerId && this.originalContainerTitle?.label) {
1189
+ // Creating a title in format: <original_container_title>: <part_title>.
1190
+ title.innerText = this.originalContainerTitle.label + ': ' + this.wrapped.title.label;
1191
+ } else {
1192
+ title.innerText = this.wrapped.title.label;
1193
+ }
1194
+ };
1195
+ const updateCaption = () => title.title = this.wrapped.title.caption || this.wrapped.title.label;
1196
+ const updateDescription = () => {
1197
+ description.innerText = DescriptionWidget.is(this.wrapped) && !this.collapsed && this.wrapped.description || '';
1198
+ };
1199
+ const updateBadge = () => {
1200
+ if (BadgeWidget.is(this.wrapped)) {
1201
+ const visibleToolBarItems = this.toolbarRegistry.visibleItems(this.wrapped).length > 0;
1202
+ const badge = this.wrapped.badge;
1203
+ if (badge && !visibleToolBarItems) {
1204
+ badgeSpan.innerText = badge.toString();
1205
+ badgeSpan.title = this.wrapped.badgeTooltip || '';
1206
+ badgeContainer.style.display = badgeContainerDisplay;
1207
+ return;
1208
+ }
1209
+ }
1210
+ badgeContainer.style.display = 'none';
1211
+ };
1212
+
1213
+ updateTitle();
1214
+ updateCaption();
1215
+ updateDescription();
1216
+ updateBadge();
1217
+
1218
+ disposable.pushAll([
1219
+ this.onTitleChanged(updateTitle),
1220
+ this.onTitleChanged(updateCaption),
1221
+ this.onDidMove(updateTitle),
1222
+ this.onDidChangeDescription(updateDescription),
1223
+ this.onDidChangeBadge(updateBadge),
1224
+ this.onDidChangeBadgeTooltip(updateBadge),
1225
+ this.onCollapsed(updateDescription)
1226
+ ]);
1227
+ header.appendChild(title);
1228
+ header.appendChild(description);
1229
+ header.appendChild(badgeContainer);
1230
+
1231
+ return {
1232
+ header,
1233
+ disposable
1234
+ };
1235
+ }
1236
+
1237
+ protected handleResize(): void {
1238
+ const handleMouseEnter = () => {
1239
+ this.node?.classList.add('no-pointer-events');
1240
+ setTimeout(() => {
1241
+ this.node?.classList.remove('no-pointer-events');
1242
+ this.node?.removeEventListener('mouseenter', handleMouseEnter);
1243
+ }, 100);
1244
+ };
1245
+ this.node?.addEventListener('mouseenter', handleMouseEnter);
1246
+ }
1247
+
1248
+ protected override onResize(msg: Widget.ResizeMessage): void {
1249
+ this.handleResize();
1250
+ if (this.wrapped.isAttached && !this.collapsed) {
1251
+ MessageLoop.sendMessage(this.wrapped, Widget.ResizeMessage.UnknownSize);
1252
+ }
1253
+ super.onResize(msg);
1254
+ }
1255
+
1256
+ protected override onUpdateRequest(msg: Message): void {
1257
+ if (this.wrapped.isAttached && !this.collapsed) {
1258
+ MessageLoop.sendMessage(this.wrapped, msg);
1259
+ }
1260
+ super.onUpdateRequest(msg);
1261
+ }
1262
+
1263
+ protected override onAfterAttach(msg: Message): void {
1264
+ if (!this.wrapped.isAttached) {
1265
+ UnsafeWidgetUtilities.attach(this.wrapped, this.body);
1266
+ }
1267
+ UnsafeWidgetUtilities.attach(this.toolbar, this.header);
1268
+ super.onAfterAttach(msg);
1269
+ }
1270
+
1271
+ protected override onBeforeDetach(msg: Message): void {
1272
+ super.onBeforeDetach(msg);
1273
+ if (this.toolbar.isAttached) {
1274
+ Widget.detach(this.toolbar);
1275
+ }
1276
+ if (this.wrapped.isAttached) {
1277
+ UnsafeWidgetUtilities.detach(this.wrapped);
1278
+ }
1279
+ }
1280
+
1281
+ protected override onBeforeShow(msg: Message): void {
1282
+ if (this.wrapped.isAttached && !this.collapsed) {
1283
+ MessageLoop.sendMessage(this.wrapped, msg);
1284
+ }
1285
+ super.onBeforeShow(msg);
1286
+ }
1287
+
1288
+ protected override onAfterShow(msg: Message): void {
1289
+ super.onAfterShow(msg);
1290
+ if (this.wrapped.isAttached && !this.collapsed) {
1291
+ MessageLoop.sendMessage(this.wrapped, msg);
1292
+ }
1293
+ }
1294
+
1295
+ protected override onBeforeHide(msg: Message): void {
1296
+ if (this.wrapped.isAttached && !this.collapsed) {
1297
+ MessageLoop.sendMessage(this.wrapped, msg);
1298
+ }
1299
+ super.onBeforeShow(msg);
1300
+ }
1301
+
1302
+ protected override onAfterHide(msg: Message): void {
1303
+ super.onAfterHide(msg);
1304
+ if (this.wrapped.isAttached && !this.collapsed) {
1305
+ MessageLoop.sendMessage(this.wrapped, msg);
1306
+ }
1307
+ }
1308
+
1309
+ protected override onChildRemoved(msg: Widget.ChildMessage): void {
1310
+ super.onChildRemoved(msg);
1311
+ // if wrapped is not disposed, but detached then we should not dispose it, but only get rid of this part
1312
+ this.toNoDisposeWrapped.dispose();
1313
+ this.dispose();
1314
+ }
1315
+
1316
+ protected override onActivateRequest(msg: Message): void {
1317
+ super.onActivateRequest(msg);
1318
+ if (this.collapsed) {
1319
+ this.header.focus();
1320
+ } else {
1321
+ this.wrapped.activate();
1322
+ }
1323
+ }
1324
+ }
1325
+
1326
+ export namespace ViewContainerPart {
1327
+
1328
+ /**
1329
+ * Make sure to adjust the `line-height` of the `.theia-view-container .part > .header` CSS class when modifying this, and vice versa.
1330
+ */
1331
+ export const HEADER_HEIGHT = 22;
1332
+
1333
+ export interface State {
1334
+ widget?: Widget
1335
+ partId: string;
1336
+ collapsed: boolean;
1337
+ hidden: boolean;
1338
+ relativeSize?: number;
1339
+ description?: string;
1340
+ /** The original container to which this part belongs */
1341
+ originalContainerId: string;
1342
+ originalContainerTitle?: ViewContainerTitleOptions;
1343
+ }
1344
+
1345
+ export function closestPart(element: Element | EventTarget | null, selector: string = 'div.part'): Element | undefined {
1346
+ if (element instanceof Element) {
1347
+ const part = element.closest(selector);
1348
+ if (part instanceof Element) {
1349
+ return part;
1350
+ }
1351
+ }
1352
+ return undefined;
1353
+ }
1354
+ }
1355
+
1356
+ export class ViewContainerLayout extends SplitLayout {
1357
+
1358
+ constructor(protected options: ViewContainerLayout.Options, protected readonly splitPositionHandler: SplitPositionHandler) {
1359
+ super(options);
1360
+ }
1361
+
1362
+ protected get items(): ReadonlyArray<LayoutItem & ViewContainerLayout.Item> {
1363
+ // eslint-disable-next-line @typescript-eslint/no-explicit-any
1364
+ return (this as any)._items as Array<LayoutItem & ViewContainerLayout.Item>;
1365
+ }
1366
+
1367
+ override iter(): IIterator<ViewContainerPart> {
1368
+ return map(this.items, item => item.widget);
1369
+ }
1370
+
1371
+ // @ts-expect-error TS2611 `SplitLayout.widgets` is declared as `readonly widgets` but is implemented as a getter.
1372
+ get widgets(): ViewContainerPart[] {
1373
+ return toArray(this.iter());
1374
+ }
1375
+
1376
+ override attachWidget(index: number, widget: ViewContainerPart): void {
1377
+ super.attachWidget(index, widget);
1378
+ if (index > -1 && this.parent && this.parent.node.contains(this.widgets[index + 1]?.node)) {
1379
+ // Set the correct attach index to the DOM elements.
1380
+ const ref = this.widgets[index + 1].node;
1381
+ this.parent.node.insertBefore(widget.node, ref);
1382
+ this.parent.node.insertBefore(this.handles[index], ref);
1383
+ this.parent.fit();
1384
+ }
1385
+ }
1386
+
1387
+ getPartSize(part: ViewContainerPart): number | undefined {
1388
+ if (part.collapsed || part.isHidden) {
1389
+ return part.uncollapsedSize;
1390
+ }
1391
+ if (this.orientation === 'horizontal') {
1392
+ return part.node.offsetWidth;
1393
+ } else {
1394
+ return part.node.offsetHeight;
1395
+ }
1396
+ }
1397
+
1398
+ /**
1399
+ * Set the sizes of the view container parts according to the given weights
1400
+ * by moving the split handles. This is similar to `setRelativeSizes` defined
1401
+ * in `SplitLayout`, but here we properly consider the collapsed / expanded state.
1402
+ */
1403
+ setPartSizes(weights: (number | undefined)[]): void {
1404
+ const parts = this.widgets;
1405
+ const availableSize = this.getAvailableSize();
1406
+
1407
+ // Sum up the weights of visible parts
1408
+ let totalWeight = 0;
1409
+ let weightCount = 0;
1410
+ for (let index = 0; index < weights.length && index < parts.length; index++) {
1411
+ const part = parts[index];
1412
+ const weight = weights[index];
1413
+ if (weight && !part.isHidden && !part.collapsed) {
1414
+ totalWeight += weight;
1415
+ weightCount++;
1416
+ }
1417
+ }
1418
+ if (weightCount === 0 || availableSize === 0) {
1419
+ return;
1420
+ }
1421
+
1422
+ // Add the average weight for visible parts without weight
1423
+ const averageWeight = totalWeight / weightCount;
1424
+ for (let index = 0; index < weights.length && index < parts.length; index++) {
1425
+ const part = parts[index];
1426
+ const weight = weights[index];
1427
+ if (!weight && !part.isHidden && !part.collapsed) {
1428
+ totalWeight += averageWeight;
1429
+ }
1430
+ }
1431
+
1432
+ // Apply the weights to compute actual sizes
1433
+ let position = 0;
1434
+ for (let index = 0; index < weights.length && index < parts.length - 1; index++) {
1435
+ const part = parts[index];
1436
+ if (!part.isHidden) {
1437
+ if (this.orientation === 'vertical') {
1438
+ position += this.options.headerSize;
1439
+ }
1440
+ const weight = weights[index];
1441
+ if (part.collapsed) {
1442
+ if (weight) {
1443
+ part.uncollapsedSize = weight / totalWeight * availableSize;
1444
+ }
1445
+ } else {
1446
+ let contentSize = (weight || averageWeight) / totalWeight * availableSize;
1447
+ const minSize = part.minSize;
1448
+ if (contentSize < minSize) {
1449
+ contentSize = minSize;
1450
+ }
1451
+ position += contentSize;
1452
+ }
1453
+ this.setHandlePosition(index, position);
1454
+ position += this.spacing;
1455
+ }
1456
+ }
1457
+ }
1458
+
1459
+ /**
1460
+ * Determine the size of the split panel area that is available for widget content,
1461
+ * i.e. excluding part headers and split handles.
1462
+ */
1463
+ getAvailableSize(): number {
1464
+ if (!this.parent || !this.parent.isAttached) {
1465
+ return 0;
1466
+ }
1467
+ const parts = this.widgets;
1468
+ const visiblePartCount = parts.filter(part => !part.isHidden).length;
1469
+ let availableSize: number;
1470
+ if (this.orientation === 'horizontal') {
1471
+ availableSize = this.parent.node.offsetWidth;
1472
+ } else {
1473
+ availableSize = this.parent.node.offsetHeight;
1474
+ availableSize -= visiblePartCount * this.options.headerSize;
1475
+ }
1476
+ availableSize -= (visiblePartCount - 1) * this.spacing;
1477
+ if (availableSize < 0) {
1478
+ return 0;
1479
+ }
1480
+ return availableSize;
1481
+ }
1482
+
1483
+ /**
1484
+ * Update a view container part that has been collapsed or expanded. The transition
1485
+ * to the new state is animated.
1486
+ */
1487
+ updateCollapsed(part: ViewContainerPart, enableAnimation: boolean): void {
1488
+ const index = this.items.findIndex(item => item.widget === part);
1489
+ if (index < 0 || !this.parent || part.isHidden) {
1490
+ return;
1491
+ }
1492
+ // Do not store the height of the "stretched item". Otherwise, we mess up the "hint height".
1493
+ // Store the height only if there are other expanded items.
1494
+ const currentSize = this.orientation === 'horizontal' ? part.node.offsetWidth : part.node.offsetHeight;
1495
+ if (part.collapsed && this.items.some(item => !item.widget.collapsed && !item.widget.isHidden)) {
1496
+ part.uncollapsedSize = currentSize;
1497
+ }
1498
+
1499
+ if (!enableAnimation || this.options.animationDuration <= 0) {
1500
+ MessageLoop.postMessage(this.parent, Widget.Msg.FitRequest);
1501
+ return;
1502
+ }
1503
+ let startTime: number | undefined = undefined;
1504
+ const duration = this.options.animationDuration;
1505
+ const direction = part.collapsed ? 'collapse' : 'expand';
1506
+ let fullSize: number;
1507
+ if (direction === 'collapse') {
1508
+ fullSize = currentSize - this.options.headerSize;
1509
+ } else {
1510
+ fullSize = Math.max((part.uncollapsedSize || 0) - this.options.headerSize, part.minSize);
1511
+ if (this.items.filter(item => !item.widget.collapsed && !item.widget.isHidden).length === 1) {
1512
+ // Expand to full available size
1513
+ fullSize = Math.max(fullSize, this.getAvailableSize());
1514
+ }
1515
+ }
1516
+
1517
+ // The update function is called on every animation frame until the predefined duration has elapsed.
1518
+ const updateFunc = (time: number) => {
1519
+ if (!this.parent) {
1520
+ part.animatedSize = undefined;
1521
+ return;
1522
+ }
1523
+ if (startTime === undefined) {
1524
+ startTime = time;
1525
+ }
1526
+ if (time - startTime < duration) {
1527
+ // Render an intermediate state for the animation
1528
+ const t = this.tween((time - startTime) / duration);
1529
+ if (direction === 'collapse') {
1530
+ part.animatedSize = (1 - t) * fullSize;
1531
+ } else {
1532
+ part.animatedSize = t * fullSize;
1533
+ }
1534
+ requestAnimationFrame(updateFunc);
1535
+ } else {
1536
+ // The animation is finished
1537
+ if (direction === 'collapse') {
1538
+ part.animatedSize = undefined;
1539
+ } else {
1540
+ part.animatedSize = fullSize;
1541
+ // Request another frame to reset the part to variable size
1542
+ requestAnimationFrame(() => {
1543
+ part.animatedSize = undefined;
1544
+ if (this.parent) {
1545
+ MessageLoop.sendMessage(this.parent, Widget.Msg.FitRequest);
1546
+ }
1547
+ });
1548
+ }
1549
+ }
1550
+ MessageLoop.sendMessage(this.parent, Widget.Msg.FitRequest);
1551
+ };
1552
+ requestAnimationFrame(updateFunc);
1553
+ }
1554
+
1555
+ updateSashes(): void {
1556
+ const { widgets, handles } = this;
1557
+ if (widgets.length !== handles.length) {
1558
+ console.warn('Unexpected mismatch between number of widgets and number of handles.');
1559
+ return;
1560
+ }
1561
+ const firstUncollapsed = this.getFirstUncollapsedWidgetIndex();
1562
+ const lastUncollapsed = firstUncollapsed === undefined ? undefined : this.getLastUncollapsedWidgetIndex();
1563
+ const allHidden = firstUncollapsed === lastUncollapsed;
1564
+ for (const [index, handle] of this.handles.entries()) {
1565
+ // The or clauses are added for type checking. If they're true, allHidden will also have been true.
1566
+ if (allHidden || firstUncollapsed === undefined || lastUncollapsed === undefined) {
1567
+ handle.classList.add('sash-hidden');
1568
+ } else if (index < lastUncollapsed && index >= firstUncollapsed) {
1569
+ handle.classList.remove('sash-hidden');
1570
+ } else {
1571
+ handle.classList.add('sash-hidden');
1572
+ }
1573
+ }
1574
+ }
1575
+
1576
+ protected getFirstUncollapsedWidgetIndex(): number | undefined {
1577
+ const index = this.widgets.findIndex(widget => !widget.collapsed && !widget.isHidden);
1578
+ return index === -1 ? undefined : index;
1579
+ }
1580
+
1581
+ protected getLastUncollapsedWidgetIndex(): number | undefined {
1582
+ for (let i = this.widgets.length - 1; i >= 0; i--) {
1583
+ if (!this.widgets[i].collapsed && !this.widgets[i].isHidden) {
1584
+ return i;
1585
+ }
1586
+ }
1587
+ }
1588
+
1589
+ protected override onFitRequest(msg: Message): void {
1590
+ for (const part of this.widgets) {
1591
+ const style = part.node.style;
1592
+ if (part.animatedSize !== undefined) {
1593
+ // The part size has been fixed for animating the transition to collapsed / expanded state
1594
+ const fixedSize = `${this.options.headerSize + part.animatedSize}px`;
1595
+ style.minHeight = fixedSize;
1596
+ style.maxHeight = fixedSize;
1597
+ } else if (part.collapsed) {
1598
+ // The part size is fixed to the header size
1599
+ const fixedSize = `${this.options.headerSize}px`;
1600
+ style.minHeight = fixedSize;
1601
+ style.maxHeight = fixedSize;
1602
+ } else {
1603
+ const minSize = `${this.options.headerSize + part.minSize}px`;
1604
+ style.minHeight = minSize;
1605
+ style.maxHeight = '';
1606
+ }
1607
+ }
1608
+ super.onFitRequest(msg);
1609
+ }
1610
+
1611
+ /**
1612
+ * Sinusoidal tween function for smooth animation.
1613
+ */
1614
+ protected tween(t: number): number {
1615
+ return 0.5 * (1 - Math.cos(Math.PI * t));
1616
+ }
1617
+
1618
+ setHandlePosition(index: number, position: number): Promise<void> {
1619
+ const options: SplitPositionOptions = {
1620
+ referenceWidget: this.widgets[index],
1621
+ duration: 0
1622
+ };
1623
+ // eslint-disable-next-line @typescript-eslint/no-explicit-any
1624
+ return this.splitPositionHandler.setSplitHandlePosition(this.parent as SplitPanel, index, position, options) as Promise<any>;
1625
+ }
1626
+
1627
+ }
1628
+
1629
+ export namespace ViewContainerLayout {
1630
+
1631
+ export interface Options extends SplitLayout.IOptions {
1632
+ headerSize: number;
1633
+ animationDuration: number;
1634
+ }
1635
+
1636
+ export interface Item {
1637
+ readonly widget: ViewContainerPart;
1638
+ }
1639
+
1640
+ }