@theia/core 1.24.0-next.13 → 1.24.0-next.18

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.
package/README.md CHANGED
@@ -86,9 +86,9 @@ export class SomeClass {
86
86
  - `@phosphor/signaling` (from [`@phosphor/signaling@1`](https://www.npmjs.com/package/@phosphor/signaling))
87
87
  - `@phosphor/virtualdom` (from [`@phosphor/virtualdom@1`](https://www.npmjs.com/package/@phosphor/virtualdom))
88
88
  - `@phosphor/widgets` (from [`@phosphor/widgets@1`](https://www.npmjs.com/package/@phosphor/widgets))
89
- - `@theia/application-package` (from [`@theia/application-package@1.24.0-next.13+716bb83fc44`](https://www.npmjs.com/package/@theia/application-package/v/1.24.0-next.13))
90
- - `@theia/application-package/lib/api` (from [`@theia/application-package@1.24.0-next.13+716bb83fc44`](https://www.npmjs.com/package/@theia/application-package/v/1.24.0-next.13))
91
- - `@theia/application-package/lib/environment` (from [`@theia/application-package@1.24.0-next.13+716bb83fc44`](https://www.npmjs.com/package/@theia/application-package/v/1.24.0-next.13))
89
+ - `@theia/application-package` (from [`@theia/application-package@1.24.0-next.18+356c7cfa548`](https://www.npmjs.com/package/@theia/application-package/v/1.24.0-next.18))
90
+ - `@theia/application-package/lib/api` (from [`@theia/application-package@1.24.0-next.18+356c7cfa548`](https://www.npmjs.com/package/@theia/application-package/v/1.24.0-next.18))
91
+ - `@theia/application-package/lib/environment` (from [`@theia/application-package@1.24.0-next.18+356c7cfa548`](https://www.npmjs.com/package/@theia/application-package/v/1.24.0-next.18))
92
92
  - `fs-extra` (from [`fs-extra@^4.0.2`](https://www.npmjs.com/package/fs-extra))
93
93
  - `fuzzy` (from [`fuzzy@^0.1.3`](https://www.npmjs.com/package/fuzzy))
94
94
  - `inversify` (from [`inversify@^5.1.1`](https://www.npmjs.com/package/inversify))
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@theia/core",
3
- "version": "1.24.0-next.13+716bb83fc44",
3
+ "version": "1.24.0-next.18+356c7cfa548",
4
4
  "description": "Theia is a cloud & desktop IDE framework implemented in TypeScript.",
5
5
  "main": "lib/common/index.js",
6
6
  "typings": "lib/common/index.d.ts",
@@ -17,7 +17,7 @@
17
17
  "@phosphor/virtualdom": "1",
18
18
  "@phosphor/widgets": "1",
19
19
  "@primer/octicons-react": "^9.0.0",
20
- "@theia/application-package": "1.24.0-next.13+716bb83fc44",
20
+ "@theia/application-package": "1.24.0-next.18+356c7cfa548",
21
21
  "@types/body-parser": "^1.16.4",
22
22
  "@types/cookie": "^0.3.3",
23
23
  "@types/dompurify": "^2.2.2",
@@ -190,5 +190,5 @@
190
190
  "nyc": {
191
191
  "extends": "../../configs/nyc.json"
192
192
  },
193
- "gitHead": "716bb83fc449e49304ac61932ae9d037e941479e"
193
+ "gitHead": "356c7cfa548c6df093f222804ce6f25d3df3e687"
194
194
  }
@@ -285,6 +285,7 @@
285
285
 
286
286
  #theia-bottom-content-panel .p-TabBar-tab:not(.p-mod-current) {
287
287
  color: var(--theia-panelTitle-inactiveForeground);
288
+ border-top: var(--theia-border-width) solid var(--theia-panel-background);
288
289
  }
289
290
 
290
291
  #theia-bottom-content-panel .p-TabBar-tab.p-mod-current {
@@ -138,6 +138,7 @@ body.theia-editor-highlightModifiedTabs
138
138
  #theia-main-content-panel .p-TabBar .p-TabBar-tab:not(.p-mod-current):not(.theia-mod-active) {
139
139
  background: var(--theia-tab-inactiveBackground);
140
140
  color: var(--theia-tab-inactiveForeground);
141
+ border-top: 1px solid var(--theia-tab-inactiveBackground);
141
142
  }
142
143
 
143
144
  .p-TabBar.theia-app-centers {
@@ -145,14 +146,14 @@ body.theia-editor-highlightModifiedTabs
145
146
  }
146
147
 
147
148
  .p-TabBar.theia-app-centers::after {
148
- content: '';
149
- position: absolute;
150
- bottom: 0;
151
- left: 0;
152
- pointer-events: none;
153
- background-color: var(--theia-editorGroupHeader-tabsBorder);
154
- width: 100%;
155
- height: 1px;
149
+ content: '';
150
+ position: absolute;
151
+ bottom: 0;
152
+ left: 0;
153
+ pointer-events: none;
154
+ background-color: var(--theia-editorGroupHeader-tabsBorder);
155
+ width: 100%;
156
+ height: 1px;
156
157
  }
157
158
 
158
159
  .p-TabBar.theia-app-centers .p-TabBar-tabIcon,
@@ -261,22 +262,14 @@ body.theia-editor-highlightModifiedTabs
261
262
  padding-right: 4px;
262
263
  }
263
264
 
264
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-current > .theia-tab-icon-label > .p-TabBar-tabIcon {
265
- margin-top: -2px;
266
- }
267
-
268
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-current > .p-TabBar-tabCloseIcon {
269
- margin-top: 0px;
270
- }
271
-
272
265
  .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable:not(.theia-mod-dirty):hover > .p-TabBar-tabCloseIcon:before,
273
266
  .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,
274
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty > .p-TabBar-tabCloseIcon:hover:before {
275
- content: "\ea76"
267
+ .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty > .p-TabBar-tabCloseIcon:hover:before {
268
+ content: "\ea76";
276
269
  }
277
270
 
278
- .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty > .p-TabBar-tabCloseIcon:before {
279
- content: "\ea71"
271
+ .p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty > .p-TabBar-tabCloseIcon:before {
272
+ content: "\ea71";
280
273
  }
281
274
 
282
275
  .p-TabBar-tabIcon.no-icon {
@@ -42,6 +42,10 @@
42
42
  border: none;
43
43
  }
44
44
 
45
+ .theia-TreeContainer .ReactVirtualized__Grid__innerScrollContainer {
46
+ margin-bottom: calc(var(--theia-ui-padding) * 3);
47
+ }
48
+
45
49
  .theia-TreeContainer {
46
50
  height: 100%;
47
51
  }