@theia/monaco 1.24.0-next.72 → 1.24.0-next.75

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/package.json CHANGED
@@ -1,14 +1,14 @@
1
1
  {
2
2
  "name": "@theia/monaco",
3
- "version": "1.24.0-next.72+da55b6a4035",
3
+ "version": "1.24.0-next.75+55d7aec2612",
4
4
  "description": "Theia - Monaco Extension",
5
5
  "dependencies": {
6
- "@theia/core": "1.24.0-next.72+da55b6a4035",
7
- "@theia/editor": "1.24.0-next.72+da55b6a4035",
8
- "@theia/filesystem": "1.24.0-next.72+da55b6a4035",
9
- "@theia/markers": "1.24.0-next.72+da55b6a4035",
6
+ "@theia/core": "1.24.0-next.75+55d7aec2612",
7
+ "@theia/editor": "1.24.0-next.75+55d7aec2612",
8
+ "@theia/filesystem": "1.24.0-next.75+55d7aec2612",
9
+ "@theia/markers": "1.24.0-next.75+55d7aec2612",
10
10
  "@theia/monaco-editor-core": "1.65.2",
11
- "@theia/outline-view": "1.24.0-next.72+da55b6a4035",
11
+ "@theia/outline-view": "1.24.0-next.75+55d7aec2612",
12
12
  "fast-plist": "^0.1.2",
13
13
  "idb": "^4.0.5",
14
14
  "jsonc-parser": "^2.2.0",
@@ -54,5 +54,5 @@
54
54
  "nyc": {
55
55
  "extends": "../../configs/nyc.json"
56
56
  },
57
- "gitHead": "da55b6a40356d3b0e227dbc37d277f17f82fd170"
57
+ "gitHead": "55d7aec26121a1f13adbcef75362049bf9c0d9f2"
58
58
  }
@@ -180,6 +180,7 @@
180
180
 
181
181
  .monaco-icon-label > .monaco-icon-label-container {
182
182
  flex: 1 !important;
183
+ align-items: end;
183
184
  }
184
185
 
185
186
  .quick-input-list
@@ -206,10 +207,16 @@
206
207
  .monaco-icon-label-container
207
208
  .monaco-icon-name-container
208
209
  .label-name {
210
+ font-family: var(--theia-ui-font-family);
209
211
  font-size: var(--theia-ui-font-size1) !important;
210
212
  color: var(--theia-foreground) !important;
211
213
  }
212
214
 
215
+ .quick-input-list .monaco-icon-label::before {
216
+ transform: scale(0.8);
217
+ height: 16px;
218
+ }
219
+
213
220
  .quick-input-list .quick-input-list-label {
214
221
  cursor: pointer !important;
215
222
  }