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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (581) hide show
  1. package/README.md +6 -6
  2. package/i18n/nls.cs.json +582 -582
  3. package/i18n/nls.de.json +582 -582
  4. package/i18n/nls.es.json +582 -582
  5. package/i18n/nls.fr.json +582 -582
  6. package/i18n/nls.hu.json +582 -582
  7. package/i18n/nls.it.json +582 -582
  8. package/i18n/nls.ja.json +582 -582
  9. package/i18n/nls.json +582 -582
  10. package/i18n/nls.ko.json +582 -582
  11. package/i18n/nls.pl.json +582 -582
  12. package/i18n/nls.pt-br.json +582 -582
  13. package/i18n/nls.ru.json +582 -582
  14. package/i18n/nls.tr.json +582 -582
  15. package/i18n/nls.zh-cn.json +582 -582
  16. package/i18n/nls.zh-tw.json +582 -582
  17. package/lib/browser/catalog.json +54 -6
  18. package/lib/browser/common-frontend-contribution.js +3 -3
  19. package/lib/browser/common-styling-participants.js +166 -166
  20. package/lib/browser/progress-location-service.spec.js +7 -7
  21. package/lib/browser/storage-service.js +3 -3
  22. package/lib/browser/tree/tree.spec.js +75 -75
  23. package/lib/node/process-utils.spec.js +8 -8
  24. package/package.json +4 -4
  25. package/shared/ajv/index.d.ts +2 -2
  26. package/shared/markdown-it.d.ts +2 -2
  27. package/shared/markdown-it.js +1 -1
  28. package/shared/reflect-metadata/index.d.ts +1 -1
  29. package/shared/reflect-metadata/index.js +1 -1
  30. package/shared/vscode-languageserver-types/index.d.ts +1 -1
  31. package/src/browser/about-dialog.tsx +137 -137
  32. package/src/browser/authentication-service.ts +467 -467
  33. package/src/browser/breadcrumbs/breadcrumb-popup-container.ts +101 -101
  34. package/src/browser/breadcrumbs/breadcrumb-renderer.tsx +41 -41
  35. package/src/browser/breadcrumbs/breadcrumbs-constants.ts +79 -79
  36. package/src/browser/breadcrumbs/breadcrumbs-renderer.tsx +185 -185
  37. package/src/browser/breadcrumbs/breadcrumbs-service.ts +108 -108
  38. package/src/browser/breadcrumbs/index.ts +21 -21
  39. package/src/browser/browser-clipboard-service.ts +122 -122
  40. package/src/browser/browser.ts +239 -239
  41. package/src/browser/clipboard-service.ts +23 -23
  42. package/src/browser/color-application-contribution.ts +110 -110
  43. package/src/browser/color-registry.ts +60 -60
  44. package/src/browser/command-open-handler.ts +54 -54
  45. package/src/browser/common-frontend-contribution.ts +2680 -2680
  46. package/src/browser/common-styling-participants.ts +361 -361
  47. package/src/browser/connection-status-service.spec.ts +200 -200
  48. package/src/browser/connection-status-service.ts +216 -216
  49. package/src/browser/context-key-service.ts +142 -142
  50. package/src/browser/context-menu-renderer.ts +124 -124
  51. package/src/browser/core-preferences.ts +343 -343
  52. package/src/browser/credentials-service.ts +106 -106
  53. package/src/browser/decoration-style.ts +65 -65
  54. package/src/browser/decorations-service.ts +209 -209
  55. package/src/browser/dialogs/react-dialog.tsx +56 -56
  56. package/src/browser/dialogs.ts +534 -534
  57. package/src/browser/diff-uris.ts +117 -117
  58. package/src/browser/encoding-registry.ts +97 -97
  59. package/src/browser/endpoint.spec.ts +148 -148
  60. package/src/browser/endpoint.ts +136 -136
  61. package/src/browser/external-uri-service.ts +79 -79
  62. package/src/browser/file-icons-js.d.ts +20 -20
  63. package/src/browser/frontend-application-bindings.ts +62 -62
  64. package/src/browser/frontend-application-config-provider.spec.ts +45 -45
  65. package/src/browser/frontend-application-config-provider.ts +50 -50
  66. package/src/browser/frontend-application-contribution.ts +110 -110
  67. package/src/browser/frontend-application-module.ts +474 -474
  68. package/src/browser/frontend-application-state.ts +74 -74
  69. package/src/browser/frontend-application.ts +326 -326
  70. package/src/browser/hover-service.ts +218 -218
  71. package/src/browser/http-open-handler.ts +49 -49
  72. package/src/browser/i18n/i18n-frontend-module.ts +27 -27
  73. package/src/browser/i18n/language-quick-pick-service.ts +130 -130
  74. package/src/browser/icon-registry.ts +87 -87
  75. package/src/browser/icon-theme-contribution.ts +64 -64
  76. package/src/browser/icon-theme-service.ts +217 -217
  77. package/src/browser/icons/CollapseAll.svg +7 -7
  78. package/src/browser/icons/CollapseAll_inverse.svg +7 -7
  79. package/src/browser/icons/Refresh.svg +7 -7
  80. package/src/browser/icons/Refresh_inverse.svg +7 -7
  81. package/src/browser/icons/add-inverse.svg +4 -4
  82. package/src/browser/icons/add.svg +4 -4
  83. package/src/browser/icons/arrow-down-bright.svg +6 -6
  84. package/src/browser/icons/arrow-down-dark.svg +6 -6
  85. package/src/browser/icons/arrow-up-bright.svg +6 -6
  86. package/src/browser/icons/arrow-up-dark.svg +6 -6
  87. package/src/browser/icons/case-sensitive-dark.svg +16 -16
  88. package/src/browser/icons/case-sensitive.svg +16 -16
  89. package/src/browser/icons/chevron-right-dark.svg +5 -5
  90. package/src/browser/icons/chevron-right-light.svg +6 -6
  91. package/src/browser/icons/circle-bright.svg +7 -7
  92. package/src/browser/icons/circle-dark.svg +7 -7
  93. package/src/browser/icons/clear-search-results-dark.svg +7 -7
  94. package/src/browser/icons/clear-search-results.svg +7 -7
  95. package/src/browser/icons/close-all-bright.svg +7 -7
  96. package/src/browser/icons/close-all-dark.svg +7 -7
  97. package/src/browser/icons/close-bright.svg +7 -7
  98. package/src/browser/icons/close-dark.svg +7 -7
  99. package/src/browser/icons/collapse.svg +4 -4
  100. package/src/browser/icons/edit-json-dark.svg +6 -6
  101. package/src/browser/icons/edit-json.svg +6 -6
  102. package/src/browser/icons/expand.svg +4 -4
  103. package/src/browser/icons/loading-dark.svg +6 -6
  104. package/src/browser/icons/loading-light.svg +6 -6
  105. package/src/browser/icons/open-change-bright.svg +3 -3
  106. package/src/browser/icons/open-change-dark.svg +4 -4
  107. package/src/browser/icons/open-file-bright.svg +4 -4
  108. package/src/browser/icons/open-file-dark.svg +4 -4
  109. package/src/browser/icons/preview-bright.svg +3 -3
  110. package/src/browser/icons/preview-dark.svg +3 -3
  111. package/src/browser/icons/regex-dark.svg +10 -10
  112. package/src/browser/icons/regex.svg +10 -10
  113. package/src/browser/icons/remove-all-inverse.svg +4 -4
  114. package/src/browser/icons/remove-all.svg +4 -4
  115. package/src/browser/icons/replace-all-inverse.svg +13 -13
  116. package/src/browser/icons/replace-all.svg +13 -13
  117. package/src/browser/icons/replace-inverse.svg +15 -15
  118. package/src/browser/icons/replace.svg +15 -15
  119. package/src/browser/icons/whole-word-dark.svg +19 -19
  120. package/src/browser/icons/whole-word.svg +19 -19
  121. package/src/browser/index.ts +50 -50
  122. package/src/browser/json-schema-store.ts +118 -118
  123. package/src/browser/keybinding.spec.ts +554 -554
  124. package/src/browser/keybinding.ts +759 -759
  125. package/src/browser/keyboard/browser-keyboard-frontend-contribution.ts +108 -108
  126. package/src/browser/keyboard/browser-keyboard-layout-provider.spec.ts +171 -171
  127. package/src/browser/keyboard/browser-keyboard-layout-provider.ts +469 -469
  128. package/src/browser/keyboard/browser-keyboard-module.ts +30 -30
  129. package/src/browser/keyboard/index.ts +20 -20
  130. package/src/browser/keyboard/keyboard-layout-service.spec.ts +121 -121
  131. package/src/browser/keyboard/keyboard-layout-service.ts +455 -455
  132. package/src/browser/keyboard/keys.spec.ts +258 -258
  133. package/src/browser/keyboard/keys.ts +20 -20
  134. package/src/browser/keys.ts +21 -21
  135. package/src/browser/label-parser.spec.ts +165 -165
  136. package/src/browser/label-parser.ts +108 -108
  137. package/src/browser/label-provider.spec.ts +62 -62
  138. package/src/browser/label-provider.ts +385 -385
  139. package/src/browser/language-icon-provider.ts +55 -55
  140. package/src/browser/language-service.ts +77 -77
  141. package/src/browser/logger-frontend-module.ts +65 -65
  142. package/src/browser/markdown-rendering/markdown-renderer.ts +98 -98
  143. package/src/browser/menu/browser-context-menu-renderer.ts +48 -48
  144. package/src/browser/menu/browser-menu-module.ts +28 -28
  145. package/src/browser/menu/browser-menu-plugin.ts +491 -491
  146. package/src/browser/menu/context-menu-context.ts +41 -41
  147. package/src/browser/messaging/connection-source.ts +26 -26
  148. package/src/browser/messaging/frontend-id-provider.ts +37 -37
  149. package/src/browser/messaging/index.ts +18 -18
  150. package/src/browser/messaging/messaging-frontend-module.ts +41 -41
  151. package/src/browser/messaging/service-connection-provider.ts +140 -140
  152. package/src/browser/messaging/ws-connection-provider.ts +49 -49
  153. package/src/browser/messaging/ws-connection-source.ts +230 -230
  154. package/src/browser/mime-service.ts +30 -30
  155. package/src/browser/navigatable-types.ts +81 -81
  156. package/src/browser/navigatable.ts +39 -39
  157. package/src/browser/open-with-service.ts +140 -140
  158. package/src/browser/opener-service.spec.ts +49 -49
  159. package/src/browser/opener-service.ts +169 -169
  160. package/src/browser/performance/frontend-stopwatch.ts +65 -65
  161. package/src/browser/performance/index.ts +18 -18
  162. package/src/browser/performance/measurement-frontend-bindings.ts +31 -31
  163. package/src/browser/preferences/index.ts +23 -23
  164. package/src/browser/preferences/injectable-preference-proxy.ts +283 -283
  165. package/src/browser/preferences/preference-configurations.ts +82 -82
  166. package/src/browser/preferences/preference-contribution.ts +436 -436
  167. package/src/browser/preferences/preference-language-override-service.ts +111 -111
  168. package/src/browser/preferences/preference-provider.spec.ts +36 -36
  169. package/src/browser/preferences/preference-provider.ts +277 -277
  170. package/src/browser/preferences/preference-proxy.spec.ts +367 -367
  171. package/src/browser/preferences/preference-proxy.ts +367 -367
  172. package/src/browser/preferences/preference-schema-provider.spec.ts +130 -130
  173. package/src/browser/preferences/preference-scope.ts +18 -18
  174. package/src/browser/preferences/preference-service.spec.ts +613 -613
  175. package/src/browser/preferences/preference-service.ts +594 -594
  176. package/src/browser/preferences/preference-validation-service.spec.ts +334 -334
  177. package/src/browser/preferences/preference-validation-service.ts +358 -358
  178. package/src/browser/preferences/test/index.ts +19 -19
  179. package/src/browser/preferences/test/mock-preference-provider.ts +50 -50
  180. package/src/browser/preferences/test/mock-preference-proxy.ts +48 -48
  181. package/src/browser/preferences/test/mock-preference-service.ts +63 -63
  182. package/src/browser/preload/i18n-preload-contribution.ts +50 -50
  183. package/src/browser/preload/os-preload-contribution.ts +37 -37
  184. package/src/browser/preload/preload-module.ts +45 -45
  185. package/src/browser/preload/preloader.ts +37 -37
  186. package/src/browser/preload/theme-preload-contribution.ts +31 -31
  187. package/src/browser/progress-bar-factory.ts +29 -29
  188. package/src/browser/progress-bar.ts +76 -76
  189. package/src/browser/progress-client.ts +53 -53
  190. package/src/browser/progress-location-service.spec.ts +50 -50
  191. package/src/browser/progress-location-service.ts +96 -96
  192. package/src/browser/progress-status-bar-item.ts +83 -83
  193. package/src/browser/quick-input/index.ts +23 -23
  194. package/src/browser/quick-input/quick-access.ts +75 -75
  195. package/src/browser/quick-input/quick-command-frontend-contribution.ts +89 -89
  196. package/src/browser/quick-input/quick-command-service.ts +246 -246
  197. package/src/browser/quick-input/quick-help-service.ts +87 -87
  198. package/src/browser/quick-input/quick-input-frontend-contribution.ts +33 -33
  199. package/src/browser/quick-input/quick-input-service.spec.ts +176 -176
  200. package/src/browser/quick-input/quick-input-service.ts +17 -17
  201. package/src/browser/quick-input/quick-pick-service-impl.ts +69 -69
  202. package/src/browser/quick-input/quick-view-service.ts +83 -83
  203. package/src/browser/request/browser-request-module.ts +23 -23
  204. package/src/browser/request/browser-request-service.ts +172 -172
  205. package/src/browser/resource-context-key.ts +77 -77
  206. package/src/browser/saveable-service.ts +332 -332
  207. package/src/browser/saveable.ts +395 -395
  208. package/src/browser/secondary-window-handler.ts +211 -211
  209. package/src/browser/shell/additional-views-menu-widget.tsx +71 -71
  210. package/src/browser/shell/application-shell-mouse-tracker.ts +103 -103
  211. package/src/browser/shell/application-shell.ts +2271 -2271
  212. package/src/browser/shell/current-widget-command-adapter.ts +57 -57
  213. package/src/browser/shell/index.ts +23 -23
  214. package/src/browser/shell/shell-layout-restorer.ts +399 -399
  215. package/src/browser/shell/side-panel-handler.ts +794 -794
  216. package/src/browser/shell/side-panel-toolbar.ts +111 -111
  217. package/src/browser/shell/sidebar-bottom-menu-widget.tsx +39 -39
  218. package/src/browser/shell/sidebar-menu-widget.tsx +183 -183
  219. package/src/browser/shell/sidebar-top-menu-widget.tsx +26 -26
  220. package/src/browser/shell/split-panels.ts +191 -191
  221. package/src/browser/shell/tab-bar-decorator.ts +106 -106
  222. package/src/browser/shell/tab-bar-toolbar/index.ts +19 -19
  223. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar-menu-adapters.ts +31 -31
  224. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar-registry.ts +242 -242
  225. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar-types.ts +149 -149
  226. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar.spec.ts +62 -62
  227. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar.tsx +443 -443
  228. package/src/browser/shell/tab-bars.spec.ts +63 -63
  229. package/src/browser/shell/tab-bars.ts +1468 -1468
  230. package/src/browser/shell/theia-dock-panel.ts +265 -265
  231. package/src/browser/shell/view-column-service.ts +125 -125
  232. package/src/browser/shell/view-contribution.ts +178 -178
  233. package/src/browser/source-tree/index.ts +19 -19
  234. package/src/browser/source-tree/source-tree-widget.tsx +107 -107
  235. package/src/browser/source-tree/source-tree.ts +146 -146
  236. package/src/browser/source-tree/tree-source.ts +73 -73
  237. package/src/browser/status-bar/index.ts +29 -29
  238. package/src/browser/status-bar/status-bar-types.ts +97 -97
  239. package/src/browser/status-bar/status-bar-view-model.ts +209 -209
  240. package/src/browser/status-bar/status-bar.tsx +189 -189
  241. package/src/browser/storage-service.spec.ts +76 -76
  242. package/src/browser/storage-service.ts +129 -129
  243. package/src/browser/style/about.css +36 -36
  244. package/src/browser/style/alert-messages.css +62 -62
  245. package/src/browser/style/ansi.css +88 -88
  246. package/src/browser/style/breadcrumbs.css +130 -130
  247. package/src/browser/style/dialog.css +126 -126
  248. package/src/browser/style/dockpanel.css +76 -76
  249. package/src/browser/style/hover-service.css +101 -101
  250. package/src/browser/style/icons.css +61 -61
  251. package/src/browser/style/index.css +353 -353
  252. package/src/browser/style/materialcolors.css +278 -278
  253. package/src/browser/style/menus.css +230 -230
  254. package/src/browser/style/notification.css +39 -39
  255. package/src/browser/style/os.css +87 -87
  256. package/src/browser/style/progress-bar.css +43 -43
  257. package/src/browser/style/quick-title-bar.css +45 -45
  258. package/src/browser/style/scrollbars.css +172 -172
  259. package/src/browser/style/search-box.css +123 -123
  260. package/src/browser/style/select-component.css +107 -107
  261. package/src/browser/style/sidepanel.css +367 -367
  262. package/src/browser/style/split-widget.css +38 -38
  263. package/src/browser/style/status-bar.css +127 -127
  264. package/src/browser/style/tabs.css +647 -647
  265. package/src/browser/style/tooltip.css +28 -28
  266. package/src/browser/style/tree-decorators.css +81 -81
  267. package/src/browser/style/tree.css +232 -232
  268. package/src/browser/style/view-container.css +187 -187
  269. package/src/browser/style/widget.css +19 -19
  270. package/src/browser/styling-service.ts +96 -96
  271. package/src/browser/supported-encodings.ts +262 -262
  272. package/src/browser/test/jsdom.ts +69 -69
  273. package/src/browser/test/mock-connection-status-service.ts +33 -33
  274. package/src/browser/test/mock-env-variables-server.ts +47 -47
  275. package/src/browser/test/mock-opener-service.ts +34 -34
  276. package/src/browser/test/mock-storage-service.ts +49 -49
  277. package/src/browser/theming.ts +206 -206
  278. package/src/browser/tooltip-service.tsx +96 -96
  279. package/src/browser/tree/fuzzy-search.spec.ts +99 -99
  280. package/src/browser/tree/fuzzy-search.ts +136 -136
  281. package/src/browser/tree/index.ts +29 -29
  282. package/src/browser/tree/search-box-debounce.ts +96 -96
  283. package/src/browser/tree/search-box.ts +355 -355
  284. package/src/browser/tree/test/mock-selectable-tree-model.ts +109 -109
  285. package/src/browser/tree/test/mock-tree-model.ts +136 -136
  286. package/src/browser/tree/test/tree-test-container.ts +50 -50
  287. package/src/browser/tree/tree-compression/compressed-tree-expansion-service.ts +46 -46
  288. package/src/browser/tree/tree-compression/compressed-tree-model.ts +88 -88
  289. package/src/browser/tree/tree-compression/compressed-tree-widget.tsx +203 -203
  290. package/src/browser/tree/tree-compression/index.ts +20 -20
  291. package/src/browser/tree/tree-compression/tree-compression-service.ts +125 -125
  292. package/src/browser/tree/tree-compression/tree-compression.css +28 -28
  293. package/src/browser/tree/tree-consistency.spec.ts +105 -105
  294. package/src/browser/tree/tree-container.spec.ts +45 -45
  295. package/src/browser/tree/tree-container.ts +155 -155
  296. package/src/browser/tree/tree-decorator.spec.ts +162 -162
  297. package/src/browser/tree/tree-decorator.ts +238 -238
  298. package/src/browser/tree/tree-expansion.spec.ts +173 -173
  299. package/src/browser/tree/tree-expansion.ts +165 -165
  300. package/src/browser/tree/tree-focus-service.ts +55 -55
  301. package/src/browser/tree/tree-iterator.spec.ts +170 -170
  302. package/src/browser/tree/tree-iterator.ts +256 -256
  303. package/src/browser/tree/tree-label-provider.ts +40 -40
  304. package/src/browser/tree/tree-model.ts +562 -562
  305. package/src/browser/tree/tree-navigation.ts +58 -58
  306. package/src/browser/tree/tree-preference.ts +50 -50
  307. package/src/browser/tree/tree-search.ts +128 -128
  308. package/src/browser/tree/tree-selectable.spec.ts +152 -152
  309. package/src/browser/tree/tree-selection-impl.ts +176 -176
  310. package/src/browser/tree/tree-selection-state.spec.ts +462 -462
  311. package/src/browser/tree/tree-selection-state.ts +245 -245
  312. package/src/browser/tree/tree-selection.ts +159 -159
  313. package/src/browser/tree/tree-view-welcome-widget.tsx +263 -263
  314. package/src/browser/tree/tree-widget-selection.ts +45 -45
  315. package/src/browser/tree/tree-widget.tsx +1591 -1591
  316. package/src/browser/tree/tree.spec.ts +241 -241
  317. package/src/browser/tree/tree.ts +425 -425
  318. package/src/browser/undo-redo-handler.ts +85 -85
  319. package/src/browser/user-working-directory-provider.ts +77 -77
  320. package/src/browser/view-container.ts +1640 -1640
  321. package/src/browser/widget-decoration.ts +358 -358
  322. package/src/browser/widget-manager.spec.ts +102 -102
  323. package/src/browser/widget-manager.ts +318 -318
  324. package/src/browser/widget-open-handler.ts +168 -168
  325. package/src/browser/widgets/alert-message.tsx +56 -56
  326. package/src/browser/widgets/enhanced-preview-widget.ts +27 -27
  327. package/src/browser/widgets/extractable-widget.ts +33 -33
  328. package/src/browser/widgets/index.ts +21 -21
  329. package/src/browser/widgets/previewable-widget.ts +31 -31
  330. package/src/browser/widgets/react-renderer.tsx +53 -53
  331. package/src/browser/widgets/react-widget.tsx +51 -51
  332. package/src/browser/widgets/select-component.tsx +367 -367
  333. package/src/browser/widgets/split-widget.ts +163 -163
  334. package/src/browser/widgets/widget.ts +406 -406
  335. package/src/browser/window/browser-window-module.ts +32 -32
  336. package/src/browser/window/default-secondary-window-service.ts +189 -189
  337. package/src/browser/window/default-window-service.spec.ts +78 -78
  338. package/src/browser/window/default-window-service.ts +171 -171
  339. package/src/browser/window/secondary-window-service.ts +39 -39
  340. package/src/browser/window/test/mock-window-service.ts +29 -29
  341. package/src/browser/window/window-service.ts +78 -78
  342. package/src/browser/window/window-title-service.ts +107 -107
  343. package/src/browser/window/window-title-updater.ts +95 -95
  344. package/src/browser/window-contribution.ts +64 -64
  345. package/src/browser-only/frontend-only-application-module.ts +116 -116
  346. package/src/browser-only/i18n/i18n-frontend-only-module.ts +37 -37
  347. package/src/browser-only/logger-frontend-only-module.ts +63 -63
  348. package/src/browser-only/messaging/frontend-only-service-connection-provider.ts +39 -39
  349. package/src/browser-only/messaging/messaging-frontend-only-module.ts +42 -42
  350. package/src/browser-only/preload/frontend-only-preload-module.ts +49 -49
  351. package/src/common/accessibility.ts +33 -33
  352. package/src/common/application-error.spec.ts +27 -27
  353. package/src/common/application-error.ts +76 -76
  354. package/src/common/application-protocol.ts +42 -42
  355. package/src/common/array-utils.ts +129 -129
  356. package/src/common/buffer.ts +228 -228
  357. package/src/common/cancellation.ts +163 -163
  358. package/src/common/char-code.ts +438 -438
  359. package/src/common/collections.ts +125 -125
  360. package/src/common/color.ts +103 -103
  361. package/src/common/command.spec.ts +208 -208
  362. package/src/common/command.ts +489 -489
  363. package/src/common/contribution-filter/contribution-filter-registry.ts +79 -79
  364. package/src/common/contribution-filter/contribution-filter.ts +64 -64
  365. package/src/common/contribution-filter/filter.ts +23 -23
  366. package/src/common/contribution-filter/index.ts +19 -19
  367. package/src/common/contribution-provider.ts +96 -96
  368. package/src/common/disposable.spec.ts +94 -94
  369. package/src/common/disposable.ts +188 -188
  370. package/src/common/encoding-service.ts +380 -380
  371. package/src/common/encodings.ts +24 -24
  372. package/src/common/env-variables/env-variables-protocol.ts +38 -38
  373. package/src/common/env-variables/index.ts +17 -17
  374. package/src/common/event.spec.ts +32 -32
  375. package/src/common/event.ts +493 -493
  376. package/src/common/file-uri.ts +61 -61
  377. package/src/common/frontend-application-state.ts +38 -38
  378. package/src/common/glob.ts +741 -741
  379. package/src/common/hash.ts +85 -85
  380. package/src/common/i18n/localization-server.ts +25 -25
  381. package/src/common/i18n/localization.ts +80 -80
  382. package/src/common/i18n/nls.metadata.json +34112 -34112
  383. package/src/common/index.ts +51 -51
  384. package/src/common/json-schema.ts +108 -108
  385. package/src/common/key-store.ts +26 -26
  386. package/src/common/keybinding.ts +152 -152
  387. package/src/common/keyboard/keyboard-layout-provider.ts +51 -51
  388. package/src/common/keys.ts +694 -694
  389. package/src/common/label-protocol.ts +35 -35
  390. package/src/common/logger-protocol.ts +119 -119
  391. package/src/common/logger-watcher.ts +48 -48
  392. package/src/common/logger.spec.ts +46 -46
  393. package/src/common/logger.ts +389 -389
  394. package/src/common/lsp-types.ts +34 -34
  395. package/src/common/markdown-rendering/icon-utilities.ts +30 -30
  396. package/src/common/markdown-rendering/index.ts +18 -18
  397. package/src/common/markdown-rendering/markdown-string.ts +152 -152
  398. package/src/common/menu/action-menu-node.ts +65 -65
  399. package/src/common/menu/composite-menu-node.spec.ts +67 -67
  400. package/src/common/menu/composite-menu-node.ts +114 -114
  401. package/src/common/menu/index.ts +21 -21
  402. package/src/common/menu/menu-adapter.ts +103 -103
  403. package/src/common/menu/menu-model-registry.ts +374 -374
  404. package/src/common/menu/menu-types.ts +220 -220
  405. package/src/common/menu/menu.spec.ts +101 -101
  406. package/src/common/message-rpc/channel.spec.ts +88 -88
  407. package/src/common/message-rpc/channel.ts +300 -300
  408. package/src/common/message-rpc/index.ts +22 -22
  409. package/src/common/message-rpc/message-buffer.ts +105 -105
  410. package/src/common/message-rpc/msg-pack-extension-manager.ts +70 -70
  411. package/src/common/message-rpc/rpc-message-encoder.spec.ts +65 -65
  412. package/src/common/message-rpc/rpc-message-encoder.ts +190 -190
  413. package/src/common/message-rpc/rpc-protocol.ts +255 -255
  414. package/src/common/message-rpc/uint8-array-message-buffer.spec.ts +41 -41
  415. package/src/common/message-rpc/uint8-array-message-buffer.ts +213 -213
  416. package/src/common/message-service-protocol.ts +148 -148
  417. package/src/common/message-service.ts +226 -226
  418. package/src/common/messaging/connection-error-handler.ts +73 -73
  419. package/src/common/messaging/connection-management.ts +43 -43
  420. package/src/common/messaging/handler.ts +26 -26
  421. package/src/common/messaging/index.ts +19 -19
  422. package/src/common/messaging/proxy-factory.spec.ts +108 -108
  423. package/src/common/messaging/proxy-factory.ts +336 -336
  424. package/src/common/messaging/socket-write-buffer.ts +52 -52
  425. package/src/common/messaging/web-socket-channel.ts +76 -76
  426. package/src/common/nls.ts +151 -151
  427. package/src/common/numbers.ts +21 -21
  428. package/src/common/objects.spec.ts +112 -112
  429. package/src/common/objects.ts +123 -123
  430. package/src/common/os.ts +82 -82
  431. package/src/common/path.spec.ts +415 -415
  432. package/src/common/path.ts +334 -334
  433. package/src/common/paths.ts +250 -250
  434. package/src/common/performance/index.ts +19 -19
  435. package/src/common/performance/measurement-protocol.ts +104 -104
  436. package/src/common/performance/measurement.ts +130 -130
  437. package/src/common/performance/stopwatch.ts +183 -183
  438. package/src/common/preferences/preference-schema.ts +101 -101
  439. package/src/common/preferences/preference-scope.spec.ts +48 -48
  440. package/src/common/preferences/preference-scope.ts +68 -68
  441. package/src/common/prioritizeable.ts +58 -58
  442. package/src/common/progress-service-protocol.ts +35 -35
  443. package/src/common/progress-service.ts +82 -82
  444. package/src/common/promise-util.spec.ts +102 -102
  445. package/src/common/promise-util.ts +143 -143
  446. package/src/common/quick-pick-service.ts +353 -353
  447. package/src/common/reference.spec.ts +145 -145
  448. package/src/common/reference.ts +230 -230
  449. package/src/common/resource.ts +430 -430
  450. package/src/common/selection-command-handler.ts +101 -101
  451. package/src/common/selection-service.spec.ts +43 -43
  452. package/src/common/selection-service.ts +49 -49
  453. package/src/common/selection.ts +50 -50
  454. package/src/common/severity.ts +111 -111
  455. package/src/common/stream.ts +718 -718
  456. package/src/common/strings.ts +231 -231
  457. package/src/common/telemetry.ts +45 -45
  458. package/src/common/ternary-search-tree.ts +417 -417
  459. package/src/common/test/expect.ts +34 -34
  460. package/src/common/test/mock-logger.ts +118 -118
  461. package/src/common/test/mock-menu.ts +35 -35
  462. package/src/common/test/mock-resource-provider.ts +33 -33
  463. package/src/common/theme.ts +68 -68
  464. package/src/common/types.spec.ts +86 -86
  465. package/src/common/types.ts +140 -140
  466. package/src/common/uri-command-handler.spec.ts +90 -90
  467. package/src/common/uri-command-handler.ts +148 -148
  468. package/src/common/uri.spec.ts +278 -278
  469. package/src/common/uri.ts +279 -279
  470. package/src/common/uuid.ts +45 -45
  471. package/src/common/version.ts +17 -17
  472. package/src/common/view-column.ts +33 -33
  473. package/src/common/window.ts +34 -34
  474. package/src/electron-browser/electron-clipboard-service.ts +32 -32
  475. package/src/electron-browser/electron-uri-handler.ts +42 -42
  476. package/src/electron-browser/keyboard/electron-keyboard-layout-change-notifier.ts +39 -39
  477. package/src/electron-browser/keyboard/electron-keyboard-module.ts +28 -28
  478. package/src/electron-browser/menu/electron-context-menu-renderer.ts +122 -122
  479. package/src/electron-browser/menu/electron-main-menu-factory.ts +339 -339
  480. package/src/electron-browser/menu/electron-menu-contribution.ts +506 -506
  481. package/src/electron-browser/menu/electron-menu-module.ts +40 -40
  482. package/src/electron-browser/menu/electron-menu-style.css +110 -110
  483. package/src/electron-browser/messaging/electron-frontend-id-provider.ts +25 -25
  484. package/src/electron-browser/messaging/electron-ipc-connection-source.ts +65 -65
  485. package/src/electron-browser/messaging/electron-local-ws-connection-source.ts +45 -45
  486. package/src/electron-browser/messaging/electron-messaging-frontend-module.ts +78 -78
  487. package/src/electron-browser/messaging/electron-ws-connection-source.ts +38 -38
  488. package/src/electron-browser/preload.ts +264 -264
  489. package/src/electron-browser/request/electron-browser-request-module.ts +26 -26
  490. package/src/electron-browser/token/electron-token-frontend-module.ts +22 -22
  491. package/src/electron-browser/window/electron-frontend-application-state.ts +26 -26
  492. package/src/electron-browser/window/electron-secondary-window-service.ts +35 -35
  493. package/src/electron-browser/window/electron-window-module.ts +48 -48
  494. package/src/electron-browser/window/electron-window-preferences.ts +76 -76
  495. package/src/electron-browser/window/electron-window-service.ts +109 -109
  496. package/src/electron-browser/window/external-app-open-handler.ts +42 -42
  497. package/src/electron-common/electron-api.ts +157 -157
  498. package/src/electron-common/electron-main-window-service.ts +24 -24
  499. package/src/electron-common/electron-token.ts +27 -27
  500. package/src/electron-main/electron-api-main.ts +373 -373
  501. package/src/electron-main/electron-main-application-module.ts +65 -65
  502. package/src/electron-main/electron-main-application.ts +860 -860
  503. package/src/electron-main/electron-main-constants.ts +23 -23
  504. package/src/electron-main/electron-main-window-service-impl.ts +44 -44
  505. package/src/electron-main/electron-security-token-service.ts +36 -36
  506. package/src/electron-main/event-utils.ts +36 -36
  507. package/src/electron-main/messaging/electron-connection-handler.ts +21 -21
  508. package/src/electron-main/messaging/electron-messaging-contribution.ts +143 -143
  509. package/src/electron-main/messaging/electron-messaging-service.ts +35 -35
  510. package/src/electron-main/theia-electron-window.ts +219 -219
  511. package/src/electron-node/cli/electron-backend-cli-module.ts +24 -24
  512. package/src/electron-node/cli/electron-cli-contribution.ts +35 -35
  513. package/src/electron-node/hosting/electron-backend-hosting-module.ts +24 -24
  514. package/src/electron-node/hosting/electron-ws-origin-validator.ts +37 -37
  515. package/src/electron-node/keyboard/electron-backend-keyboard-module.ts +30 -30
  516. package/src/electron-node/keyboard/electron-keyboard-layout-provider.ts +35 -35
  517. package/src/electron-node/request/electron-backend-request-module.ts +23 -23
  518. package/src/electron-node/request/electron-backend-request-service.ts +78 -78
  519. package/src/electron-node/token/electron-token-backend-contribution.ts +48 -48
  520. package/src/electron-node/token/electron-token-backend-module.ts +28 -28
  521. package/src/electron-node/token/electron-token-validator.ts +93 -93
  522. package/src/node/application-server.ts +59 -59
  523. package/src/node/backend-application-config-provider.spec.ts +29 -29
  524. package/src/node/backend-application-config-provider.ts +48 -48
  525. package/src/node/backend-application-module.ts +139 -139
  526. package/src/node/backend-application.ts +374 -374
  527. package/src/node/cli.spec.ts +94 -94
  528. package/src/node/cli.ts +63 -63
  529. package/src/node/console-logger-server.spec.ts +59 -59
  530. package/src/node/console-logger-server.ts +76 -76
  531. package/src/node/debug.ts +30 -30
  532. package/src/node/dynamic-require.ts +56 -56
  533. package/src/node/env-variables/env-variables-server.ts +123 -123
  534. package/src/node/env-variables/index.ts +17 -17
  535. package/src/node/environment-utils.spec.ts +92 -92
  536. package/src/node/environment-utils.ts +66 -66
  537. package/src/node/file-uri.spec.ts +76 -76
  538. package/src/node/filesystem-locking.ts +77 -77
  539. package/src/node/hosting/backend-application-hosts.ts +60 -60
  540. package/src/node/hosting/backend-hosting-module.ts +26 -26
  541. package/src/node/hosting/ws-origin-validator.ts +36 -36
  542. package/src/node/i18n/i18n-backend-module.ts +42 -42
  543. package/src/node/i18n/localization-contribution.ts +112 -112
  544. package/src/node/i18n/localization-provider.ts +125 -125
  545. package/src/node/i18n/localization-server.ts +52 -52
  546. package/src/node/i18n/theia-localization-contribution.ts +40 -40
  547. package/src/node/index.ts +22 -22
  548. package/src/node/key-store-server.ts +162 -162
  549. package/src/node/logger-backend-module.ts +88 -88
  550. package/src/node/logger-cli-contribution.spec.ts +245 -245
  551. package/src/node/logger-cli-contribution.ts +168 -168
  552. package/src/node/main.ts +33 -33
  553. package/src/node/messaging/binary-message-pipe.ts +168 -168
  554. package/src/node/messaging/connection-container-module.ts +96 -96
  555. package/src/node/messaging/default-messaging-service.ts +129 -129
  556. package/src/node/messaging/frontend-connection-service.ts +24 -24
  557. package/src/node/messaging/index.ts +19 -19
  558. package/src/node/messaging/ipc-bootstrap.ts +27 -27
  559. package/src/node/messaging/ipc-channel.ts +77 -77
  560. package/src/node/messaging/ipc-connection-provider.ts +107 -107
  561. package/src/node/messaging/ipc-protocol.ts +76 -76
  562. package/src/node/messaging/messaging-backend-module.ts +52 -52
  563. package/src/node/messaging/messaging-listeners.ts +52 -52
  564. package/src/node/messaging/messaging-service.ts +46 -46
  565. package/src/node/messaging/test/test-web-socket-channel.ts +61 -61
  566. package/src/node/messaging/websocket-endpoint.ts +79 -79
  567. package/src/node/messaging/websocket-frontend-connection-service.ts +186 -186
  568. package/src/node/os-backend-provider.ts +25 -25
  569. package/src/node/performance/index.ts +18 -18
  570. package/src/node/performance/measurement-backend-bindings.ts +35 -35
  571. package/src/node/performance/node-stopwatch.ts +40 -40
  572. package/src/node/process-utils.spec.ts +48 -48
  573. package/src/node/process-utils.ts +102 -102
  574. package/src/node/remote/backend-remote-service.ts +25 -25
  575. package/src/node/remote/remote-cli-contribution.ts +34 -34
  576. package/src/node/remote/remote-copy-contribution.ts +45 -45
  577. package/src/node/request/backend-request-facade.ts +39 -39
  578. package/src/node/request/backend-request-module.ts +25 -25
  579. package/src/node/request/proxy-cli-contribution.ts +65 -65
  580. package/src/node/ws-request-validators.ts +56 -56
  581. package/src/typings/native-keymap.d.ts +108 -108
@@ -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, 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
- }
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
+ }