@theia/core 1.59.0 → 1.60.0-next.47

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 (231) hide show
  1. package/README.md +10 -10
  2. package/lib/browser/about-dialog.d.ts.map +1 -1
  3. package/lib/browser/about-dialog.js +2 -1
  4. package/lib/browser/about-dialog.js.map +1 -1
  5. package/lib/browser/browser.d.ts +2 -0
  6. package/lib/browser/browser.d.ts.map +1 -1
  7. package/lib/browser/browser.js +6 -1
  8. package/lib/browser/browser.js.map +1 -1
  9. package/lib/browser/catalog.json +207 -16
  10. package/lib/browser/common-frontend-contribution.d.ts.map +1 -1
  11. package/lib/browser/common-frontend-contribution.js +24 -22
  12. package/lib/browser/common-frontend-contribution.js.map +1 -1
  13. package/lib/browser/common-styling-participants.js +25 -25
  14. package/lib/browser/menu/browser-context-menu-renderer.d.ts.map +1 -1
  15. package/lib/browser/menu/browser-context-menu-renderer.js +1 -2
  16. package/lib/browser/menu/browser-context-menu-renderer.js.map +1 -1
  17. package/lib/browser/menu/browser-menu-plugin.d.ts +5 -5
  18. package/lib/browser/menu/browser-menu-plugin.d.ts.map +1 -1
  19. package/lib/browser/menu/browser-menu-plugin.js +23 -13
  20. package/lib/browser/menu/browser-menu-plugin.js.map +1 -1
  21. package/lib/browser/preferences/injectable-preference-proxy.d.ts +1 -1
  22. package/lib/browser/preferences/injectable-preference-proxy.d.ts.map +1 -1
  23. package/lib/browser/preferences/preference-contribution.d.ts +1 -1
  24. package/lib/browser/preferences/preference-contribution.d.ts.map +1 -1
  25. package/lib/browser/preferences/preference-provider.d.ts +1 -1
  26. package/lib/browser/preferences/preference-provider.d.ts.map +1 -1
  27. package/lib/browser/preferences/preference-provider.js +1 -1
  28. package/lib/browser/preferences/preference-provider.js.map +1 -1
  29. package/lib/browser/preferences/preference-service.d.ts +1 -1
  30. package/lib/browser/preferences/preference-service.d.ts.map +1 -1
  31. package/lib/browser/preferences/preference-service.js +3 -3
  32. package/lib/browser/preferences/preference-service.js.map +1 -1
  33. package/lib/browser/preferences/preference-validation-service.d.ts +1 -1
  34. package/lib/browser/preferences/preference-validation-service.d.ts.map +1 -1
  35. package/lib/browser/saveable.d.ts +11 -3
  36. package/lib/browser/saveable.d.ts.map +1 -1
  37. package/lib/browser/saveable.js +2 -1
  38. package/lib/browser/saveable.js.map +1 -1
  39. package/lib/browser/shell/application-shell-mouse-tracker.d.ts +1 -1
  40. package/lib/browser/shell/application-shell-mouse-tracker.d.ts.map +1 -1
  41. package/lib/browser/shell/application-shell-mouse-tracker.js +3 -3
  42. package/lib/browser/shell/application-shell-mouse-tracker.js.map +1 -1
  43. package/lib/browser/shell/application-shell.d.ts +10 -7
  44. package/lib/browser/shell/application-shell.d.ts.map +1 -1
  45. package/lib/browser/shell/application-shell.js +24 -21
  46. package/lib/browser/shell/application-shell.js.map +1 -1
  47. package/lib/browser/shell/shell-layout-restorer.d.ts +1 -1
  48. package/lib/browser/shell/shell-layout-restorer.d.ts.map +1 -1
  49. package/lib/browser/shell/side-panel-handler.d.ts +2 -2
  50. package/lib/browser/shell/side-panel-handler.d.ts.map +1 -1
  51. package/lib/browser/shell/side-panel-handler.js +11 -11
  52. package/lib/browser/shell/side-panel-handler.js.map +1 -1
  53. package/lib/browser/shell/side-panel-toolbar.d.ts +2 -2
  54. package/lib/browser/shell/side-panel-toolbar.d.ts.map +1 -1
  55. package/lib/browser/shell/side-panel-toolbar.js +1 -1
  56. package/lib/browser/shell/side-panel-toolbar.js.map +1 -1
  57. package/lib/browser/shell/split-panels.d.ts +1 -1
  58. package/lib/browser/shell/split-panels.d.ts.map +1 -1
  59. package/lib/browser/shell/split-panels.js +1 -1
  60. package/lib/browser/shell/split-panels.js.map +1 -1
  61. package/lib/browser/shell/tab-bar-decorator.d.ts +1 -1
  62. package/lib/browser/shell/tab-bar-decorator.d.ts.map +1 -1
  63. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.d.ts +1 -1
  64. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.d.ts.map +1 -1
  65. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.js +1 -1
  66. package/lib/browser/shell/tab-bar-toolbar/tab-bar-toolbar.js.map +1 -1
  67. package/lib/browser/shell/tab-bars.d.ts +18 -12
  68. package/lib/browser/shell/tab-bars.d.ts.map +1 -1
  69. package/lib/browser/shell/tab-bars.js +79 -51
  70. package/lib/browser/shell/tab-bars.js.map +1 -1
  71. package/lib/browser/shell/tab-bars.spec.js +1 -1
  72. package/lib/browser/shell/tab-bars.spec.js.map +1 -1
  73. package/lib/browser/shell/theia-dock-panel.d.ts +2 -2
  74. package/lib/browser/shell/theia-dock-panel.d.ts.map +1 -1
  75. package/lib/browser/shell/theia-dock-panel.js +3 -3
  76. package/lib/browser/shell/theia-dock-panel.js.map +1 -1
  77. package/lib/browser/shell/view-column-service.d.ts +1 -1
  78. package/lib/browser/shell/view-column-service.d.ts.map +1 -1
  79. package/lib/browser/shell/view-column-service.js +1 -1
  80. package/lib/browser/shell/view-column-service.js.map +1 -1
  81. package/lib/browser/shell/view-contribution.d.ts +1 -1
  82. package/lib/browser/shell/view-contribution.d.ts.map +1 -1
  83. package/lib/browser/source-tree/source-tree.d.ts.map +1 -1
  84. package/lib/browser/source-tree/source-tree.js +3 -2
  85. package/lib/browser/source-tree/source-tree.js.map +1 -1
  86. package/lib/browser/source-tree/tree-source.d.ts +1 -0
  87. package/lib/browser/source-tree/tree-source.d.ts.map +1 -1
  88. package/lib/browser/source-tree/tree-source.js.map +1 -1
  89. package/lib/browser/tree/tree-widget.d.ts +1 -1
  90. package/lib/browser/tree/tree-widget.d.ts.map +1 -1
  91. package/lib/browser/tree/tree-widget.js +1 -1
  92. package/lib/browser/tree/tree-widget.js.map +1 -1
  93. package/lib/browser/view-container.d.ts +6 -7
  94. package/lib/browser/view-container.d.ts.map +1 -1
  95. package/lib/browser/view-container.js +25 -25
  96. package/lib/browser/view-container.js.map +1 -1
  97. package/lib/browser/widget-manager.d.ts +1 -1
  98. package/lib/browser/widget-manager.d.ts.map +1 -1
  99. package/lib/browser/widget-manager.js +1 -1
  100. package/lib/browser/widget-manager.js.map +1 -1
  101. package/lib/browser/widget-manager.spec.js +1 -1
  102. package/lib/browser/widget-manager.spec.js.map +1 -1
  103. package/lib/browser/widgets/react-widget.d.ts +1 -1
  104. package/lib/browser/widgets/react-widget.d.ts.map +1 -1
  105. package/lib/browser/widgets/react-widget.js +1 -1
  106. package/lib/browser/widgets/react-widget.js.map +1 -1
  107. package/lib/browser/widgets/widget.d.ts +9 -8
  108. package/lib/browser/widgets/widget.d.ts.map +1 -1
  109. package/lib/browser/widgets/widget.js +7 -9
  110. package/lib/browser/widgets/widget.js.map +1 -1
  111. package/lib/common/json-schema.d.ts +1 -1
  112. package/lib/common/json-schema.d.ts.map +1 -1
  113. package/lib/common/preferences/preference-schema.d.ts +4 -1
  114. package/lib/common/preferences/preference-schema.d.ts.map +1 -1
  115. package/lib/common/preferences/preference-schema.js.map +1 -1
  116. package/lib/common/theme.d.ts +2 -0
  117. package/lib/common/theme.d.ts.map +1 -1
  118. package/lib/common/theme.js +5 -1
  119. package/lib/common/theme.js.map +1 -1
  120. package/lib/electron-browser/menu/electron-menu-contribution.d.ts +1 -1
  121. package/lib/electron-browser/menu/electron-menu-contribution.d.ts.map +1 -1
  122. package/lib/electron-browser/menu/electron-menu-contribution.js +6 -4
  123. package/lib/electron-browser/menu/electron-menu-contribution.js.map +1 -1
  124. package/lib/electron-browser/preload.d.ts.map +1 -1
  125. package/lib/electron-browser/preload.js +3 -0
  126. package/lib/electron-browser/preload.js.map +1 -1
  127. package/lib/electron-common/electron-api.d.ts +3 -0
  128. package/lib/electron-common/electron-api.d.ts.map +1 -1
  129. package/lib/electron-common/electron-api.js +2 -1
  130. package/lib/electron-common/electron-api.js.map +1 -1
  131. package/lib/electron-main/electron-api-main.d.ts.map +1 -1
  132. package/lib/electron-main/electron-api-main.js +1 -0
  133. package/lib/electron-main/electron-api-main.js.map +1 -1
  134. package/lib/electron-main/electron-main-application.d.ts +2 -0
  135. package/lib/electron-main/electron-main-application.d.ts.map +1 -1
  136. package/lib/electron-main/electron-main-application.js +3 -0
  137. package/lib/electron-main/electron-main-application.js.map +1 -1
  138. package/lib/node/messaging/websocket-frontend-connection-service.js +1 -1
  139. package/package.json +24 -24
  140. package/shared/@lumino/algorithm/index.d.ts +1 -0
  141. package/shared/@lumino/algorithm/index.js +1 -0
  142. package/shared/@lumino/commands/index.d.ts +1 -0
  143. package/shared/@lumino/commands/index.js +1 -0
  144. package/shared/@lumino/coreutils/index.d.ts +1 -0
  145. package/shared/@lumino/coreutils/index.js +1 -0
  146. package/shared/@lumino/domutils/index.d.ts +1 -0
  147. package/shared/@lumino/domutils/index.js +1 -0
  148. package/shared/@lumino/dragdrop/index.d.ts +1 -0
  149. package/shared/@lumino/dragdrop/index.js +1 -0
  150. package/shared/@lumino/messaging/index.d.ts +1 -0
  151. package/shared/@lumino/messaging/index.js +1 -0
  152. package/shared/@lumino/properties/index.d.ts +1 -0
  153. package/shared/@lumino/properties/index.js +1 -0
  154. package/shared/@lumino/signaling/index.d.ts +1 -0
  155. package/shared/@lumino/signaling/index.js +1 -0
  156. package/shared/@lumino/virtualdom/index.d.ts +1 -0
  157. package/shared/@lumino/virtualdom/index.js +1 -0
  158. package/shared/@lumino/widgets/index.d.ts +1 -0
  159. package/shared/@lumino/widgets/index.js +1 -0
  160. package/src/browser/about-dialog.tsx +2 -1
  161. package/src/browser/browser.ts +6 -1
  162. package/src/browser/common-frontend-contribution.ts +24 -22
  163. package/src/browser/common-styling-participants.ts +25 -25
  164. package/src/browser/menu/browser-context-menu-renderer.ts +1 -2
  165. package/src/browser/menu/browser-menu-plugin.ts +24 -14
  166. package/src/browser/preferences/injectable-preference-proxy.ts +1 -1
  167. package/src/browser/preferences/preference-contribution.ts +1 -1
  168. package/src/browser/preferences/preference-provider.ts +1 -1
  169. package/src/browser/preferences/preference-service.ts +1 -1
  170. package/src/browser/preferences/preference-validation-service.spec.ts +1 -1
  171. package/src/browser/preferences/preference-validation-service.ts +1 -1
  172. package/src/browser/saveable.ts +13 -3
  173. package/src/browser/shell/application-shell-mouse-tracker.ts +3 -3
  174. package/src/browser/shell/application-shell.ts +36 -32
  175. package/src/browser/shell/shell-layout-restorer.ts +1 -1
  176. package/src/browser/shell/side-panel-handler.ts +11 -11
  177. package/src/browser/shell/side-panel-toolbar.ts +2 -2
  178. package/src/browser/shell/split-panels.ts +1 -1
  179. package/src/browser/shell/tab-bar-decorator.ts +1 -1
  180. package/src/browser/shell/tab-bar-toolbar/tab-bar-toolbar.tsx +1 -1
  181. package/src/browser/shell/tab-bars.spec.ts +1 -1
  182. package/src/browser/shell/tab-bars.ts +92 -57
  183. package/src/browser/shell/theia-dock-panel.ts +3 -3
  184. package/src/browser/shell/view-column-service.ts +2 -2
  185. package/src/browser/shell/view-contribution.ts +1 -1
  186. package/src/browser/source-tree/source-tree.ts +3 -2
  187. package/src/browser/source-tree/tree-source.ts +1 -0
  188. package/src/browser/style/dialog.css +12 -12
  189. package/src/browser/style/dockpanel.css +19 -19
  190. package/src/browser/style/hover-service.css +1 -0
  191. package/src/browser/style/index.css +5 -3
  192. package/src/browser/style/menus.css +34 -31
  193. package/src/browser/style/sidepanel.css +52 -48
  194. package/src/browser/style/split-widget.css +5 -5
  195. package/src/browser/style/tabs.css +91 -97
  196. package/src/browser/style/view-container.css +14 -14
  197. package/src/browser/tree/tree-widget.tsx +2 -2
  198. package/src/browser/view-container.ts +34 -34
  199. package/src/browser/widget-manager.spec.ts +1 -1
  200. package/src/browser/widget-manager.ts +1 -1
  201. package/src/browser/widgets/react-widget.tsx +1 -1
  202. package/src/browser/widgets/widget.ts +18 -15
  203. package/src/common/json-schema.ts +1 -1
  204. package/src/common/preferences/preference-schema.ts +4 -1
  205. package/src/common/theme.ts +6 -0
  206. package/src/electron-browser/menu/electron-menu-contribution.ts +6 -5
  207. package/src/electron-browser/preload.ts +6 -3
  208. package/src/electron-common/electron-api.ts +3 -0
  209. package/src/electron-main/electron-api-main.ts +4 -1
  210. package/src/electron-main/electron-main-application.ts +5 -0
  211. package/src/node/messaging/websocket-frontend-connection-service.ts +1 -2
  212. package/shared/@phosphor/algorithm/index.d.ts +0 -1
  213. package/shared/@phosphor/algorithm/index.js +0 -1
  214. package/shared/@phosphor/commands/index.d.ts +0 -1
  215. package/shared/@phosphor/commands/index.js +0 -1
  216. package/shared/@phosphor/coreutils/index.d.ts +0 -1
  217. package/shared/@phosphor/coreutils/index.js +0 -1
  218. package/shared/@phosphor/domutils/index.d.ts +0 -1
  219. package/shared/@phosphor/domutils/index.js +0 -1
  220. package/shared/@phosphor/dragdrop/index.d.ts +0 -1
  221. package/shared/@phosphor/dragdrop/index.js +0 -1
  222. package/shared/@phosphor/messaging/index.d.ts +0 -1
  223. package/shared/@phosphor/messaging/index.js +0 -1
  224. package/shared/@phosphor/properties/index.d.ts +0 -1
  225. package/shared/@phosphor/properties/index.js +0 -1
  226. package/shared/@phosphor/signaling/index.d.ts +0 -1
  227. package/shared/@phosphor/signaling/index.js +0 -1
  228. package/shared/@phosphor/virtualdom/index.d.ts +0 -1
  229. package/shared/@phosphor/virtualdom/index.js +0 -1
  230. package/shared/@phosphor/widgets/index.d.ts +0 -1
  231. package/shared/@phosphor/widgets/index.js +0 -1
@@ -17,19 +17,19 @@
17
17
  | General tab bar style
18
18
  |----------------------------------------------------------------------------*/
19
19
 
20
- .p-TabBar {
20
+ .lm-TabBar {
21
21
  font-size: var(--theia-ui-font-size1);
22
22
  }
23
23
 
24
- .p-TabBar[data-orientation="horizontal"] {
24
+ .lm-TabBar[data-orientation="horizontal"] {
25
25
  min-height: var(--theia-horizontal-toolbar-height);
26
26
  }
27
27
 
28
- .p-TabBar .p-TabBar-content {
28
+ .lm-TabBar .lm-TabBar-content {
29
29
  cursor: pointer;
30
30
  }
31
31
 
32
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-tab {
32
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-tab {
33
33
  flex: none;
34
34
  height: var(--theia-horizontal-toolbar-height);
35
35
  min-width: 35px;
@@ -39,21 +39,21 @@
39
39
  overflow: hidden;
40
40
  }
41
41
 
42
- .p-TabBar[data-orientation="vertical"] .p-TabBar-tab {
42
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-tab {
43
43
  border-top: var(--theia-dragover-tab-border-width) solid transparent !important;
44
44
  border-bottom: var(--theia-dragover-tab-border-width) solid transparent !important;
45
45
  }
46
46
 
47
- .p-TabBar[data-orientation="vertical"] .p-TabBar-tab.drop-target-top {
47
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-tab.drop-target-top {
48
48
  border-top-color: var(--theia-activityBar-activeBorder) !important;
49
49
  }
50
50
 
51
- .p-TabBar[data-orientation="vertical"] .p-TabBar-tab.drop-target-bottom {
51
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-tab.drop-target-bottom {
52
52
  border-bottom-color: var(--theia-activityBar-activeBorder) !important;
53
53
  }
54
54
 
55
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-tab .theia-tab-icon-label,
56
- .p-TabBar-tab.p-mod-drag-image .theia-tab-icon-label {
55
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-tab .theia-tab-icon-label,
56
+ .lm-TabBar-tab.lm-mod-drag-image .theia-tab-icon-label {
57
57
  display: flex;
58
58
  line-height: var(--theia-content-line-height);
59
59
  align-items: center;
@@ -64,19 +64,19 @@
64
64
  |----------------------------------------------------------------------------*/
65
65
 
66
66
  #theia-main-content-panel,
67
- #theia-main-content-panel .p-Widget.p-DockPanel-widget {
67
+ #theia-main-content-panel .lm-Widget.lm-DockPanel-widget {
68
68
  background: var(--theia-editor-background);
69
69
  }
70
70
 
71
- #theia-main-content-panel .p-DockPanel-handle[data-orientation="horizontal"] {
71
+ #theia-main-content-panel .lm-DockPanel-handle[data-orientation="horizontal"] {
72
72
  border-left: var(--theia-border-width) solid var(--theia-editorGroup-border);
73
73
  }
74
74
 
75
- #theia-main-content-panel .p-DockPanel-handle[data-orientation="vertical"]+.p-TabBar {
75
+ #theia-main-content-panel .lm-DockPanel-handle[data-orientation="vertical"]+.lm-TabBar {
76
76
  border-top: var(--theia-border-width) solid var(--theia-editorGroup-border);
77
77
  }
78
78
 
79
- #theia-main-content-panel .p-TabBar .p-TabBar-tab {
79
+ #theia-main-content-panel .lm-TabBar .lm-TabBar-tab {
80
80
  border-right: 1px solid var(--theia-tab-border);
81
81
  border-top: 1px solid transparent;
82
82
  border-bottom: 1px solid transparent;
@@ -84,15 +84,15 @@
84
84
  color: var(--theia-tab-inactiveForeground);
85
85
  }
86
86
 
87
- #theia-main-content-panel .p-TabBar:not(.theia-tabBar-active) .p-TabBar-tab {
87
+ #theia-main-content-panel .lm-TabBar:not(.theia-tabBar-active) .lm-TabBar-tab {
88
88
  color: var(--theia-tab-unfocusedInactiveForeground);
89
89
  }
90
90
 
91
- .p-TabBar.theia-app-centers {
91
+ .lm-TabBar.theia-app-centers {
92
92
  background: var(--theia-editorGroupHeader-tabsBackground);
93
93
  }
94
94
 
95
- .p-TabBar.theia-app-centers::after {
95
+ .lm-TabBar.theia-app-centers::after {
96
96
  content: "";
97
97
  position: absolute;
98
98
  bottom: 0;
@@ -103,14 +103,14 @@
103
103
  height: 1px;
104
104
  }
105
105
 
106
- .p-TabBar.theia-app-centers .p-TabBar-tabIcon,
107
- .p-TabBar.theia-app-centers .p-TabBar-tabLabel,
108
- .p-TabBar.theia-app-centers .p-TabBar-tabLabelDetails,
109
- .p-TabBar.theia-app-centers .p-TabBar-tabCloseIcon {
106
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabIcon,
107
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabLabel,
108
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabLabelDetails,
109
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabCloseIcon {
110
110
  display: inline-block;
111
111
  }
112
112
 
113
- .p-TabBar.theia-app-centers .p-TabBar-tabLabelDetails {
113
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabLabelDetails {
114
114
  margin-left: 5px;
115
115
  color: var(--theia-descriptionForeground);
116
116
  flex: 1 1 auto;
@@ -118,17 +118,17 @@
118
118
  white-space: nowrap;
119
119
  }
120
120
 
121
- .p-TabBar-tail {
121
+ .lm-TabBar-tail {
122
122
  padding-left: 5px;
123
123
  text-align: center;
124
124
  justify-content: center;
125
125
  }
126
126
 
127
- .p-TabBar.theia-app-centers .p-TabBar-tabLabelWrapper {
127
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabLabelWrapper {
128
128
  display: flex;
129
129
  }
130
130
 
131
- .p-TabBar-tab-secondary-label {
131
+ .lm-TabBar-tab-secondary-label {
132
132
  color: var(--theia-settings-headerForeground);
133
133
  cursor: pointer;
134
134
  font-size: var(--theia-ui-font-size0);
@@ -147,8 +147,8 @@
147
147
  padding: 2px 14px 0 0;
148
148
  }
149
149
 
150
- .p-TabBar .p-TabBar-tabIcon,
151
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon {
150
+ .lm-TabBar .lm-TabBar-tabIcon,
151
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon {
152
152
  width: 15px;
153
153
  line-height: 1.7;
154
154
  font-size: 12px;
@@ -157,8 +157,8 @@
157
157
  }
158
158
 
159
159
  /* common icons */
160
- .p-TabBar.theia-app-centers .p-TabBar-tabIcon,
161
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon {
160
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabIcon,
161
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon {
162
162
  min-height: 14px;
163
163
  background-size: 13px;
164
164
  background-position-y: 3px;
@@ -170,24 +170,24 @@
170
170
  padding-right: 8px;
171
171
  }
172
172
 
173
- .p-TabBar.theia-app-centers .p-TabBar-tabIcon[class*="plugin-icon-"],
174
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon[class*="plugin-icon-"] {
173
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabIcon[class*="plugin-icon-"],
174
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon[class*="plugin-icon-"] {
175
175
  background: none;
176
176
  height: var(--theia-icon-size);
177
177
  }
178
178
 
179
- .p-TabBar.theia-app-centers .p-TabBar-tabIcon[class*="plugin-icon-"]::before,
180
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon[class*="plugin-icon-"]::before {
179
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabIcon[class*="plugin-icon-"]::before,
180
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon[class*="plugin-icon-"]::before {
181
181
  display: inline-block;
182
182
  }
183
183
 
184
184
  /* codicons */
185
- .p-TabBar.theia-app-centers .p-TabBar-tabIcon.codicon,
186
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon.codicon {
185
+ .lm-TabBar.theia-app-centers .lm-TabBar-tabIcon.codicon,
186
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon.codicon {
187
187
  background: none;
188
188
  }
189
189
 
190
- .p-TabBar-tabLock:after {
190
+ .lm-TabBar-tabLock:after {
191
191
  content: "\ebe7";
192
192
  opacity: 0.75;
193
193
  margin-left: 4px;
@@ -200,26 +200,26 @@
200
200
  }
201
201
 
202
202
  /* file icons */
203
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-tabIcon.file-icon,
204
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon.file-icon {
203
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-tabIcon.file-icon,
204
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon.file-icon {
205
205
  background: none;
206
206
  padding-bottom: 0px;
207
207
  min-height: 20px;
208
208
  }
209
209
 
210
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-tabIcon.fa,
211
- .p-TabBar-tab.p-mod-drag-image .p-TabBar-tabIcon.fa {
210
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-tabIcon.fa,
211
+ .lm-TabBar-tab.lm-mod-drag-image .lm-TabBar-tabIcon.fa {
212
212
  background: none;
213
213
  min-height: 0;
214
214
  height: inherit;
215
215
  }
216
216
 
217
- .p-TabBar[data-orientation="vertical"] .p-TabBar-tab.p-mod-invisible {
217
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-tab.lm-mod-invisible {
218
218
  visibility: hidden;
219
219
  }
220
220
 
221
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable>.p-TabBar-tabCloseIcon,
222
- .p-TabBar.theia-app-centers .p-TabBar-tab.theia-mod-pinned>.p-TabBar-tabCloseIcon {
221
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable>.lm-TabBar-tabCloseIcon,
222
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.theia-mod-pinned>.lm-TabBar-tabCloseIcon {
223
223
  padding: 2px;
224
224
  margin-top: 2px;
225
225
  margin-left: 4px;
@@ -237,47 +237,47 @@
237
237
  -ms-user-select: none;
238
238
  }
239
239
 
240
- .p-TabBar.theia-app-centers.dynamic-tabs .p-TabBar-tab.p-mod-closable>.p-TabBar-tabCloseIcon,
241
- .p-TabBar.theia-app-centers.dynamic-tabs .p-TabBar-tab.theia-mod-pinned>.p-TabBar-tabCloseIcon {
240
+ .lm-TabBar.theia-app-centers.dynamic-tabs .lm-TabBar-tab.lm-mod-closable>.lm-TabBar-tabCloseIcon,
241
+ .lm-TabBar.theia-app-centers.dynamic-tabs .lm-TabBar-tab.theia-mod-pinned>.lm-TabBar-tabCloseIcon {
242
242
  /* hide close icon for dynamic tabs strategy*/
243
243
  display: none;
244
244
  }
245
245
 
246
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-current>.p-TabBar-tabCloseIcon,
247
- .p-TabBar.theia-app-centers .p-TabBar-tab:hover.p-mod-closable>.p-TabBar-tabCloseIcon,
248
- .p-TabBar.theia-app-centers .p-TabBar-tab:hover.theia-mod-pinned>.p-TabBar-tabCloseIcon {
246
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-current>.lm-TabBar-tabCloseIcon,
247
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab:hover.lm-mod-closable>.lm-TabBar-tabCloseIcon,
248
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab:hover.theia-mod-pinned>.lm-TabBar-tabCloseIcon {
249
249
  display: inline-block;
250
250
  }
251
251
 
252
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable>.p-TabBar-tabCloseIcon:hover {
252
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable>.lm-TabBar-tabCloseIcon:hover {
253
253
  border-radius: 5px;
254
254
  background-color: rgba(50%, 50%, 50%, 0.2);
255
255
  }
256
256
 
257
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable,
258
- .p-TabBar.theia-app-centers .p-TabBar-tab.theia-mod-pinned {
257
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable,
258
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.theia-mod-pinned {
259
259
  padding-right: 4px;
260
260
  }
261
261
 
262
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable:not(.theia-mod-dirty):hover>.p-TabBar-tabCloseIcon:before,
263
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable:not(.theia-mod-dirty).p-TabBar-tab.p-mod-current>.p-TabBar-tabCloseIcon:before,
264
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty>.p-TabBar-tabCloseIcon:hover:before {
262
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable:not(.theia-mod-dirty):hover>.lm-TabBar-tabCloseIcon:before,
263
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable:not(.theia-mod-dirty).lm-TabBar-tab.lm-mod-current>.lm-TabBar-tabCloseIcon:before,
264
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable.theia-mod-dirty>.lm-TabBar-tabCloseIcon:hover:before {
265
265
  content: "\ea76";
266
266
  }
267
267
 
268
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty>.p-TabBar-tabCloseIcon:before {
268
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.lm-mod-closable.theia-mod-dirty>.lm-TabBar-tabCloseIcon:before {
269
269
  content: "\ea71";
270
270
  }
271
271
 
272
- .p-TabBar.theia-app-centers .p-TabBar-tab.theia-mod-pinned>.p-TabBar-tabCloseIcon:before {
272
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.theia-mod-pinned>.lm-TabBar-tabCloseIcon:before {
273
273
  content: "\eba0";
274
274
  }
275
275
 
276
- .p-TabBar.theia-app-centers .p-TabBar-tab.theia-mod-pinned.theia-mod-dirty>.p-TabBar-tabCloseIcon:before {
276
+ .lm-TabBar.theia-app-centers .lm-TabBar-tab.theia-mod-pinned.theia-mod-dirty>.lm-TabBar-tabCloseIcon:before {
277
277
  content: "\ebb2";
278
278
  }
279
279
 
280
- .p-TabBar-tabIcon.no-icon {
280
+ .lm-TabBar-tabIcon.no-icon {
281
281
  display: none !important;
282
282
  }
283
283
 
@@ -297,7 +297,7 @@
297
297
  text-align: center;
298
298
  }
299
299
 
300
- .p-TabBar .theia-badge-decorator-horizontal {
300
+ .lm-TabBar .theia-badge-decorator-horizontal {
301
301
  background-color: var(--theia-badge-background);
302
302
  border-radius: 20px;
303
303
  box-sizing: border-box;
@@ -316,38 +316,32 @@
316
316
  | Perfect scrollbar
317
317
  |----------------------------------------------------------------------------*/
318
318
 
319
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content-container>.ps__rail-x {
319
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-content-container>.ps__rail-x {
320
320
  height: var(--theia-private-horizontal-tab-scrollbar-rail-height);
321
321
  z-index: 1000;
322
322
  }
323
323
 
324
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content-container>.ps__rail-x>.ps__thumb-x {
324
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-content-container>.ps__rail-x>.ps__thumb-x {
325
325
  height: var(--theia-private-horizontal-tab-scrollbar-height) !important;
326
326
  bottom: calc((var(--theia-private-horizontal-tab-scrollbar-rail-height) - var(--theia-private-horizontal-tab-scrollbar-height)) / 2);
327
327
  }
328
328
 
329
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content-container>.ps__rail-x:hover,
330
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content-container>.ps__rail-x:focus {
329
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-content-container>.ps__rail-x:hover,
330
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-content-container>.ps__rail-x:focus {
331
331
  height: var(--theia-private-horizontal-tab-scrollbar-rail-height) !important;
332
332
  }
333
333
 
334
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content-container>.ps__rail-x:hover>.ps__thumb-x,
335
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content-container>.ps__rail-x:focus>.ps__thumb-x {
336
- height: calc(var(--theia-private-horizontal-tab-scrollbar-height) / 2) !important;
337
- bottom: calc((var(--theia-private-horizontal-tab-scrollbar-rail-height) - var(--theia-private-horizontal-tab-scrollbar-height)) / 2);
338
- }
339
-
340
- .p-TabBar[data-orientation="vertical"] .p-TabBar-content-container>.ps__rail-y {
334
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-content-container>.ps__rail-y {
341
335
  width: var(--theia-private-horizontal-tab-scrollbar-rail-height);
342
336
  z-index: 1000;
343
337
  }
344
338
 
345
- .p-TabBar[data-orientation="vertical"] .p-TabBar-content-container>.ps__rail-y>.ps__thumb-y {
339
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-content-container>.ps__rail-y>.ps__thumb-y {
346
340
  width: var(--theia-private-horizontal-tab-scrollbar-height) !important;
347
341
  right: calc((var(--theia-private-horizontal-tab-scrollbar-rail-height) - var(--theia-private-horizontal-tab-scrollbar-height)) / 2);
348
342
  }
349
343
 
350
- .p-TabBar[data-orientation="vertical"] .p-TabBar-content-container {
344
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-content-container {
351
345
  display: block;
352
346
  }
353
347
 
@@ -355,7 +349,7 @@
355
349
  | Dragged tabs
356
350
  |----------------------------------------------------------------------------*/
357
351
 
358
- .p-TabBar-tab.p-mod-drag-image {
352
+ .lm-TabBar-tab.lm-mod-drag-image {
359
353
  transform: translateX(-40%) translateY(-58%);
360
354
  opacity: 0.8;
361
355
  line-height: var(--theia-private-horizontal-tab-height);
@@ -374,7 +368,7 @@
374
368
  | Tab-bar toolbar
375
369
  |----------------------------------------------------------------------------*/
376
370
 
377
- .p-TabBar-toolbar {
371
+ .lm-TabBar-toolbar {
378
372
  z-index: var(--theia-tabbar-toolbar-z-index);
379
373
  /* Due to the scrollbar (`z-index: 1000;`) it has a greater `z-index`. */
380
374
  display: flex;
@@ -384,14 +378,14 @@
384
378
  margin-right: 4px;
385
379
  }
386
380
 
387
- .p-TabBar-content-container {
381
+ .lm-TabBar-content-container {
388
382
  display: flex;
389
383
  flex: 1;
390
384
  position: relative;
391
385
  /* This is necessary for perfect-scrollbar */
392
386
  }
393
387
 
394
- .p-TabBar-toolbar .item {
388
+ .lm-TabBar-toolbar .item {
395
389
  opacity: var(--theia-mod-disabled-opacity);
396
390
  cursor: default;
397
391
  display: flex;
@@ -400,54 +394,54 @@
400
394
  align-items: centery;
401
395
  }
402
396
 
403
- .p-TabBar-toolbar .item>div {
397
+ .lm-TabBar-toolbar .item>div {
404
398
  height: 100%;
405
399
  }
406
400
 
407
- .p-TabBar-toolbar .item.enabled {
401
+ .lm-TabBar-toolbar .item.enabled {
408
402
  opacity: 1;
409
403
  cursor: pointer;
410
404
  }
411
405
 
412
- .p-TabBar-toolbar :not(.item.enabled) .action-label {
406
+ .lm-TabBar-toolbar :not(.item.enabled) .action-label {
413
407
  background: transparent;
414
408
  cursor: default;
415
409
  }
416
410
 
417
- .p-TabBar-toolbar .item.toggled {
411
+ .lm-TabBar-toolbar .item.toggled {
418
412
  border: var(--theia-border-width) var(--theia-inputOption-activeBorder) solid;
419
413
  background-color: var(--theia-inputOption-activeBackground);
420
414
  }
421
415
 
422
- .p-TabBar-toolbar .item>div {
416
+ .lm-TabBar-toolbar .item>div {
423
417
  line-height: calc(var(--theia-icon-size) + 2px);
424
418
  height: calc(var(--theia-icon-size) + 2px);
425
419
  background-repeat: no-repeat;
426
420
  line-height: 18px;
427
421
  }
428
422
 
429
- .p-TabBar-toolbar .item>div.no-icon {
423
+ .lm-TabBar-toolbar .item>div.no-icon {
430
424
  /* Make room for a text label instead of an icon. */
431
425
  width: 100%;
432
426
  }
433
427
 
434
- .p-TabBar-toolbar .item .collapse-all {
428
+ .lm-TabBar-toolbar .item .collapse-all {
435
429
  background: var(--theia-icon-collapse-all) no-repeat;
436
430
  }
437
431
 
438
- .p-TabBar-toolbar .item .close {
432
+ .lm-TabBar-toolbar .item .close {
439
433
  background: var(--theia-icon-collapse-all) no-repeat;
440
434
  }
441
435
 
442
- .p-TabBar-toolbar .item .clear-all {
436
+ .lm-TabBar-toolbar .item .clear-all {
443
437
  background: var(--theia-icon-clear) no-repeat;
444
438
  }
445
439
 
446
- .p-TabBar-toolbar .item .refresh {
440
+ .lm-TabBar-toolbar .item .refresh {
447
441
  background: var(--theia-icon-refresh) no-repeat;
448
442
  }
449
443
 
450
- .p-TabBar-toolbar .item .cancel {
444
+ .lm-TabBar-toolbar .item .cancel {
451
445
  background: var(--theia-icon-close) no-repeat;
452
446
  }
453
447
 
@@ -455,12 +449,12 @@
455
449
  * The chevron for the pop-up menu indication is shrunk and
456
450
  * stuffed in the bottom-right corner.
457
451
  */
458
- .p-TabBar-toolbar .item.menu .chevron {
452
+ .lm-TabBar-toolbar .item.menu .chevron {
459
453
  font-size: 8px;
460
454
  vertical-align: bottom;
461
455
  }
462
456
 
463
- #theia-main-content-panel .p-TabBar:not(.theia-tabBar-active) .p-TabBar-toolbar {
457
+ #theia-main-content-panel .lm-TabBar:not(.theia-tabBar-active) .lm-TabBar-toolbar {
464
458
  display: none;
465
459
  }
466
460
 
@@ -468,32 +462,32 @@
468
462
  min-width: 100%;
469
463
  }
470
464
 
471
- .p-TabBar.theia-tabBar-multirow[data-orientation="horizontal"] {
465
+ .lm-TabBar.theia-tabBar-multirow[data-orientation="horizontal"] {
472
466
  min-height: calc(var(--theia-breadcrumbs-height) + var(--theia-horizontal-toolbar-height));
473
467
  flex-direction: column;
474
468
  }
475
469
 
476
- .p-TabBar[data-orientation="horizontal"] .theia-tabBar-tab-row {
470
+ .lm-TabBar[data-orientation="horizontal"] .theia-tabBar-tab-row {
477
471
  display: flex;
478
472
  flex-flow: row nowrap;
479
473
  min-width: 100%;
480
474
  }
481
475
 
482
- .p-TabBar[data-orientation="vertical"] .theia-tabBar-tab-row {
476
+ .lm-TabBar[data-orientation="vertical"] .theia-tabBar-tab-row {
483
477
  display: flex;
484
478
  flex-flow: column nowrap;
485
479
  height: 100%;
486
480
  }
487
481
 
488
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-content {
482
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-content {
489
483
  flex-direction: row;
490
484
  }
491
485
 
492
- .p-TabBar[data-orientation="vertical"] .p-TabBar-content {
486
+ .lm-TabBar[data-orientation="vertical"] .lm-TabBar-content {
493
487
  flex-direction: column;
494
488
  }
495
489
 
496
- .p-TabBar.theia-app-centers[data-orientation="horizontal"].dynamic-tabs .p-TabBar-tabLabel {
490
+ .lm-TabBar.theia-app-centers[data-orientation="horizontal"].dynamic-tabs .lm-TabBar-tabLabel {
497
491
  /* fade out text with dynamic tabs strategy */
498
492
  mask-image: linear-gradient(to left,
499
493
  rgba(0, 0, 0, 0.3),
@@ -504,7 +498,7 @@
504
498
  flex: 1;
505
499
  }
506
500
 
507
- .p-TabBar[data-orientation="horizontal"] .p-TabBar-tab .theia-tab-icon-label {
501
+ .lm-TabBar[data-orientation="horizontal"] .lm-TabBar-tab .theia-tab-icon-label {
508
502
  flex: 1;
509
503
  overflow: hidden;
510
504
  }
@@ -559,6 +553,6 @@
559
553
  align-items: center;
560
554
  }
561
555
 
562
- .theia-tabBar-open-tabs.p-mod-hidden {
556
+ .theia-tabBar-open-tabs.lm-mod-hidden {
563
557
  display: none;
564
- }
558
+ }
@@ -27,36 +27,36 @@
27
27
  flex-direction: column;
28
28
  }
29
29
 
30
- .theia-view-container > .p-SplitPanel {
30
+ .theia-view-container > .lm-SplitPanel {
31
31
  height: 100%;
32
32
  width: 100%;
33
33
  }
34
34
 
35
- .theia-view-container > .p-SplitPanel > .p-SplitPanel-child {
35
+ .theia-view-container > .lm-SplitPanel > .lm-SplitPanel-child {
36
36
  min-width: 50px;
37
37
  min-height: var(--theia-content-line-height);
38
38
  }
39
39
 
40
- .theia-view-container > .p-SplitPanel > .p-SplitPanel-handle::after {
40
+ .theia-view-container > .lm-SplitPanel > .lm-SplitPanel-handle::after {
41
41
  min-height: 2px;
42
42
  min-width: 2px;
43
43
  }
44
44
 
45
- .p-SplitPanel > .p-SplitPanel-handle:hover::after {
45
+ .lm-SplitPanel > .lm-SplitPanel-handle:hover::after {
46
46
  background-color: var(--theia-sash-hoverBorder);
47
47
  transition-delay: var(--theia-sash-hoverDelay);
48
48
  }
49
49
 
50
- .p-SplitPanel > .p-SplitPanel-handle:active::after {
50
+ .lm-SplitPanel > .lm-SplitPanel-handle:active::after {
51
51
  background-color: var(--theia-sash-activeBorder);
52
52
  transition-delay: 0s !important;
53
53
  }
54
54
 
55
- .p-SplitPanel[data-orientation="horizontal"] > .p-SplitPanel-handle::after {
55
+ .lm-SplitPanel[data-orientation="horizontal"] > .lm-SplitPanel-handle::after {
56
56
  min-width: var(--theia-sash-width);
57
57
  }
58
58
 
59
- .p-SplitPanel[data-orientation="vertical"] > .p-SplitPanel-handle::after {
59
+ .lm-SplitPanel[data-orientation="vertical"] > .lm-SplitPanel-handle::after {
60
60
  min-height: var(--theia-sash-width);
61
61
  }
62
62
 
@@ -75,11 +75,11 @@
75
75
  font-weight: 700;
76
76
  }
77
77
 
78
- .p-Widget > .theia-view-container-part-header {
78
+ .lm-Widget > .theia-view-container-part-header {
79
79
  box-shadow: 0 1px 0 var(--theia-sideBarSectionHeader-border) inset;
80
80
  }
81
81
 
82
- .p-Widget.p-first-visible > .theia-view-container-part-header {
82
+ .lm-Widget.lm-first-visible > .theia-view-container-part-header {
83
83
  box-shadow: none;
84
84
  }
85
85
 
@@ -88,7 +88,7 @@
88
88
  }
89
89
 
90
90
  .theia-view-container
91
- > .p-SplitPanel[data-orientation="horizontal"]
91
+ > .lm-SplitPanel[data-orientation="horizontal"]
92
92
  .part
93
93
  > .theia-header
94
94
  .theia-ExpansionToggle::before {
@@ -97,7 +97,7 @@
97
97
  }
98
98
 
99
99
  .theia-view-container
100
- > .p-SplitPanel[data-orientation="horizontal"]
100
+ > .lm-SplitPanel[data-orientation="horizontal"]
101
101
  .part
102
102
  > .theia-header
103
103
  .theia-ExpansionToggle {
@@ -162,7 +162,7 @@
162
162
  padding: 0 var(--theia-ui-padding) 0 var(--theia-ui-padding);
163
163
  }
164
164
 
165
- .p-TabBar-toolbar.theia-view-container-part-title {
165
+ .lm-TabBar-toolbar.theia-view-container-part-title {
166
166
  overflow: visible !important;
167
167
  padding: 0px;
168
168
  padding-right: calc(var(--theia-ui-padding) * 2 / 3);
@@ -173,10 +173,10 @@
173
173
  }
174
174
 
175
175
  .theia-view-container-part-title.menu-open,
176
- .p-Widget.part:not(.collapsed):hover
176
+ .lm-Widget.part:not(.collapsed):hover
177
177
  .theia-view-container-part-header
178
178
  .theia-view-container-part-title,
179
- .p-Widget.part:not(.collapsed):focus-within
179
+ .lm-Widget.part:not(.collapsed):focus-within
180
180
  .theia-view-container-part-header
181
181
  .theia-view-container-part-title {
182
182
  display: flex;
@@ -15,7 +15,7 @@
15
15
  // *****************************************************************************
16
16
 
17
17
  import { injectable, inject, postConstruct } from 'inversify';
18
- import { Message } from '@phosphor/messaging';
18
+ import { Message } from '@lumino/messaging';
19
19
  import { Disposable, MenuPath, SelectionService } from '../../common';
20
20
  import { Key, KeyCode, KeyModifier } from '../keyboard/keys';
21
21
  import { ContextMenuRenderer } from '../context-menu-renderer';
@@ -36,7 +36,7 @@ import { Virtuoso, VirtuosoHandle, VirtuosoProps } from 'react-virtuoso';
36
36
  import { TopDownTreeIterator } from './tree-iterator';
37
37
  import { SearchBox, SearchBoxFactory, SearchBoxProps } from './search-box';
38
38
  import { TreeSearch } from './tree-search';
39
- import { ElementExt } from '@phosphor/domutils';
39
+ import { ElementExt } from '@lumino/domutils';
40
40
  import { TreeWidgetSelection } from './tree-widget-selection';
41
41
  import { MaybePromise } from '../../common/types';
42
42
  import { LabelProvider } from '../label-provider';