@theia/memory-inspector 1.45.0 → 1.46.0-next.72

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 (102) hide show
  1. package/README.md +71 -71
  2. package/lib/browser/diff-widget/memory-diff-options-widget.d.ts +36 -36
  3. package/lib/browser/diff-widget/memory-diff-options-widget.js +132 -132
  4. package/lib/browser/diff-widget/memory-diff-select-widget.d.ts +50 -50
  5. package/lib/browser/diff-widget/memory-diff-select-widget.js +137 -137
  6. package/lib/browser/diff-widget/memory-diff-table-widget.d.ts +77 -77
  7. package/lib/browser/diff-widget/memory-diff-table-widget.js +314 -314
  8. package/lib/browser/diff-widget/memory-diff-widget-types.d.ts +41 -41
  9. package/lib/browser/diff-widget/memory-diff-widget-types.js +23 -23
  10. package/lib/browser/editable-widget/memory-editable-table-widget.d.ts +64 -64
  11. package/lib/browser/editable-widget/memory-editable-table-widget.js +324 -324
  12. package/lib/browser/memory-inspector-frontend-contribution.d.ts +46 -46
  13. package/lib/browser/memory-inspector-frontend-contribution.js +291 -291
  14. package/lib/browser/memory-inspector-frontend-module.d.ts +21 -21
  15. package/lib/browser/memory-inspector-frontend-module.js +87 -87
  16. package/lib/browser/memory-provider/cdt-gdb-memory-provider.d.ts +35 -35
  17. package/lib/browser/memory-provider/cdt-gdb-memory-provider.js +136 -136
  18. package/lib/browser/memory-provider/memory-provider-service.d.ts +36 -36
  19. package/lib/browser/memory-provider/memory-provider-service.js +101 -101
  20. package/lib/browser/memory-provider/memory-provider.d.ts +65 -65
  21. package/lib/browser/memory-provider/memory-provider.js +96 -96
  22. package/lib/browser/memory-provider/memory-provider.spec.d.ts +16 -16
  23. package/lib/browser/memory-provider/memory-provider.spec.js +23 -23
  24. package/lib/browser/memory-widget/memory-options-widget.d.ts +136 -136
  25. package/lib/browser/memory-widget/memory-options-widget.js +564 -564
  26. package/lib/browser/memory-widget/memory-table-widget.d.ts +146 -146
  27. package/lib/browser/memory-widget/memory-table-widget.js +487 -487
  28. package/lib/browser/memory-widget/memory-widget.d.ts +33 -33
  29. package/lib/browser/memory-widget/memory-widget.js +112 -112
  30. package/lib/browser/register-widget/register-filter-service.d.ts +42 -42
  31. package/lib/browser/register-widget/register-filter-service.js +81 -81
  32. package/lib/browser/register-widget/register-options-widget.d.ts +81 -81
  33. package/lib/browser/register-widget/register-options-widget.js +338 -338
  34. package/lib/browser/register-widget/register-table-widget.d.ts +77 -77
  35. package/lib/browser/register-widget/register-table-widget.js +230 -230
  36. package/lib/browser/register-widget/register-widget-types.d.ts +29 -29
  37. package/lib/browser/register-widget/register-widget-types.js +35 -35
  38. package/lib/browser/utils/memory-commands.d.ts +27 -27
  39. package/lib/browser/utils/memory-commands.js +67 -67
  40. package/lib/browser/utils/memory-hover-renderer.d.ts +33 -33
  41. package/lib/browser/utils/memory-hover-renderer.js +111 -111
  42. package/lib/browser/utils/memory-recents.d.ts +27 -27
  43. package/lib/browser/utils/memory-recents.js +52 -52
  44. package/lib/browser/utils/memory-widget-components.d.ts +58 -58
  45. package/lib/browser/utils/memory-widget-components.js +69 -69
  46. package/lib/browser/utils/memory-widget-manager.d.ts +50 -50
  47. package/lib/browser/utils/memory-widget-manager.js +182 -182
  48. package/lib/browser/utils/memory-widget-utils.d.ts +113 -113
  49. package/lib/browser/utils/memory-widget-utils.js +42 -42
  50. package/lib/browser/utils/memory-widget-variable-utils.d.ts +57 -57
  51. package/lib/browser/utils/memory-widget-variable-utils.js +143 -143
  52. package/lib/browser/utils/multi-select-bar.d.ts +31 -31
  53. package/lib/browser/utils/multi-select-bar.js +34 -34
  54. package/lib/browser/wrapper-widgets/memory-dock-panel.d.ts +24 -24
  55. package/lib/browser/wrapper-widgets/memory-dock-panel.js +48 -48
  56. package/lib/browser/wrapper-widgets/memory-dockpanel-placeholder-widget.d.ts +23 -23
  57. package/lib/browser/wrapper-widgets/memory-dockpanel-placeholder-widget.js +57 -57
  58. package/lib/browser/wrapper-widgets/memory-layout-widget.d.ts +51 -51
  59. package/lib/browser/wrapper-widgets/memory-layout-widget.js +191 -191
  60. package/lib/common/util.d.ts +21 -21
  61. package/lib/common/util.js +30 -30
  62. package/lib/common/utils.spec.d.ts +16 -16
  63. package/lib/common/utils.spec.js +45 -45
  64. package/package.json +4 -4
  65. package/src/browser/diff-widget/memory-diff-options-widget.tsx +152 -152
  66. package/src/browser/diff-widget/memory-diff-select-widget.tsx +163 -163
  67. package/src/browser/diff-widget/memory-diff-table-widget.tsx +366 -366
  68. package/src/browser/diff-widget/memory-diff-widget-types.ts +45 -45
  69. package/src/browser/editable-widget/memory-editable-table-widget.tsx +359 -359
  70. package/src/browser/memory-inspector-frontend-contribution.ts +301 -301
  71. package/src/browser/memory-inspector-frontend-module.ts +118 -118
  72. package/src/browser/memory-provider/cdt-gdb-memory-provider.ts +132 -132
  73. package/src/browser/memory-provider/memory-provider-service.ts +86 -86
  74. package/src/browser/memory-provider/memory-provider.spec.ts +23 -23
  75. package/src/browser/memory-provider/memory-provider.ts +119 -119
  76. package/src/browser/memory-widget/memory-options-widget.tsx +738 -738
  77. package/src/browser/memory-widget/memory-table-widget.tsx +625 -625
  78. package/src/browser/memory-widget/memory-widget.ts +114 -114
  79. package/src/browser/register-widget/register-filter-service.ts +76 -76
  80. package/src/browser/register-widget/register-options-widget.tsx +393 -393
  81. package/src/browser/register-widget/register-table-widget.tsx +276 -276
  82. package/src/browser/register-widget/register-widget-types.ts +45 -45
  83. package/src/browser/register-widget/register-widget.css +34 -34
  84. package/src/browser/style/index.css +746 -746
  85. package/src/browser/style/memory-lock.svg +21 -21
  86. package/src/browser/style/memory-view.svg +20 -20
  87. package/src/browser/style/register-lock.svg +29 -29
  88. package/src/browser/style/register-view.svg +28 -28
  89. package/src/browser/utils/memory-commands.ts +76 -76
  90. package/src/browser/utils/memory-hover-renderer.ts +113 -113
  91. package/src/browser/utils/memory-recents.ts +58 -58
  92. package/src/browser/utils/memory-widget-components.tsx +193 -193
  93. package/src/browser/utils/memory-widget-manager.ts +179 -179
  94. package/src/browser/utils/memory-widget-utils.tsx +132 -132
  95. package/src/browser/utils/memory-widget-variable-utils.ts +170 -170
  96. package/src/browser/utils/multi-select-bar.css +61 -61
  97. package/src/browser/utils/multi-select-bar.tsx +75 -75
  98. package/src/browser/wrapper-widgets/memory-dock-panel.ts +51 -51
  99. package/src/browser/wrapper-widgets/memory-dockpanel-placeholder-widget.tsx +38 -38
  100. package/src/browser/wrapper-widgets/memory-layout-widget.tsx +167 -167
  101. package/src/common/util.ts +28 -28
  102. package/src/common/utils.spec.ts +52 -52
@@ -1,746 +1,746 @@
1
- /********************************************************************************
2
- * Copyright (C) 2021 Ericsson 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
- :root {
18
- --memory-widget-disabled-opacity: 0.7;
19
- --memory-widget-placeholder-text-line-height: 24px;
20
- }
21
-
22
- .memory-view-options-widget {
23
- display: flex;
24
- overflow: unset !important;
25
- }
26
-
27
- .memory-view-icon {
28
- -webkit-mask: url("memory-view.svg");
29
- mask: url("memory-view.svg");
30
- }
31
-
32
- .register-view-icon {
33
- -webkit-mask: url("register-view.svg");
34
- mask: url("register-view.svg");
35
- }
36
-
37
- .memory-view-icon.toolbar,
38
- .register-view-icon.toolbar {
39
- display: inline-block;
40
- background-color: var(--theia-settings-headerForeground);
41
- mask-size: 16px 15px;
42
- mask-repeat: no-repeat;
43
- mask-position: center center;
44
- -webkit-mask-size: 16px 15px;
45
- -webkit-mask-repeat: no-repeat;
46
- -webkit-mask-position: center center;
47
- min-width: var(--theia-icon-size);
48
- min-height: var(--theia-icon-size);
49
- cursor: pointer;
50
- }
51
-
52
- .memory-lock-icon {
53
- -webkit-mask: url("memory-lock.svg");
54
- mask: url("memory-lock.svg");
55
- }
56
-
57
- .register-lock-icon {
58
- -webkit-mask: url("register-lock.svg");
59
- mask: url("register-lock.svg");
60
- }
61
-
62
- .t-mv-container {
63
- display: flex;
64
- flex-direction: column;
65
- align-items: left;
66
- box-sizing: border-box;
67
- height: 100%;
68
- width: 100%;
69
- padding: 10px;
70
- overflow: hidden;
71
- }
72
-
73
- .t-mv-container button:focus {
74
- /* Fixes a padding issue when clicking a button */
75
- border: none;
76
- }
77
-
78
- .memory-view-wrapper {
79
- display: flex;
80
- flex-direction: column;
81
- }
82
-
83
- .t-mv-memory-container {
84
- display: flex;
85
- flex-direction: column;
86
- overflow: hidden;
87
- background-color: var(--theia-editor-background);
88
- height: 100%;
89
- white-space: nowrap;
90
- }
91
-
92
- .t-mv-memory-container:focus {
93
- outline: none;
94
- }
95
-
96
- .t-mv-memory-container.frozen,
97
- .t-mv-memory-container.frozen:focus {
98
- font-style: italic;
99
- opacity: var(--memory-widget-disabled-opacity) !important;
100
- }
101
-
102
- .t-mv-memory-fetch-error {
103
- margin: var(--theia-ui-padding);
104
- color: var(--theia-editorWarning-foreground);
105
- }
106
-
107
- .t-mv-memory-fetch-error.show {
108
- display: block;
109
- }
110
-
111
- .t-mv-memory-fetch-error.hide {
112
- display: none;
113
- }
114
-
115
- .t-mv-header {
116
- margin-top: var(--theia-ui-padding);
117
- display: grid;
118
- box-shadow: 0px 6px 5px -5px var(--theia-widget-shadow);
119
- padding-bottom: var(--theia-ui-padding);
120
- }
121
-
122
- .t-mv-header-label {
123
- background-color: var(--theia-editor-background);
124
- border-radius: 10px;
125
- font-weight: 400;
126
- padding: 2px 5px 2px 5px;
127
- }
128
-
129
- .t-mv-view {
130
- width: 100%;
131
- }
132
-
133
- .t-mv-view .eight-bits.changed {
134
- background-color: var(--theia-memoryInspector-foreground);
135
- color: var(--theia-editor-background);
136
- }
137
-
138
- .t-mv-view .eight-bits.changed:hover {
139
- background-color: var(--theia-memoryInspector-foreground);
140
- opacity: 0.85;
141
- }
142
-
143
- .t-mv-view .eight-bits {
144
- border-bottom: 1px solid transparent;
145
- box-sizing: border-box;
146
- }
147
-
148
- .t-mv-view .eight-bits:not(.changed):not(.highlight):hover {
149
- background-color: var(--theia-editor-inactiveSelectionBackground);
150
- }
151
-
152
- .t-mv-memory-container:focus .eight-bits.highlight {
153
- background-color: var(--theia-editor-selectionBackground);
154
- border-radius: 1px;
155
- border-bottom: solid 1px var(--theia-editorCursor-foreground);
156
- }
157
-
158
- .t-mv-memory-container:focus .eight-bits.changed.highlight {
159
- background-color: var(--theia-memoryInspector-focusBorder);
160
- }
161
-
162
- .t-mv-memory-container:not(:focus) .eight-bits.highlight {
163
- background-color: var(--theia-editor-inactiveSelectionBackground);
164
- }
165
-
166
- .t-mv-view .eight-bits.modified {
167
- outline-width: 1px;
168
- outline-style: solid;
169
- outline-offset: -1px;
170
- outline-color: var(--theia-editorWarning-foreground);
171
- border: none;
172
- }
173
-
174
- .t-mv-view .byte-group:not(:first-of-type) {
175
- display: inline-block;
176
- padding-left: var(--theia-ui-padding);
177
- }
178
-
179
- .t-mv-view .data-address-col {
180
- width: unset;
181
- }
182
-
183
- .t-mv-view-container {
184
- flex: 1;
185
- overflow: hidden;
186
- margin-top: var(--theia-ui-padding);
187
- height: 100%;
188
- }
189
-
190
- .t-mv-view-container thead {
191
- position: absolute;
192
- }
193
-
194
- .t-mv-view-container .ps__rail-y {
195
- left: unset !important;
196
- }
197
-
198
- .t-mv-view-container:focus {
199
- /* Fixes a padding issue when clicking inside the container */
200
- border: none;
201
- }
202
-
203
- .memory-diff-select .theia-select:focus,
204
- .t-mv-container .theia-select:focus {
205
- outline-width: 1px;
206
- outline-style: solid;
207
- outline-offset: -1px;
208
- opacity: 1 !important;
209
- outline-color: var(--theia-focusBorder);
210
- }
211
-
212
- .t-mv-settings-container {
213
- flex: none;
214
- padding-bottom: var(--theia-ui-padding);
215
- }
216
-
217
- .t-mv-settings-container .t-mv-settings-group-header {
218
- padding-bottom: calc(var(--theia-ui-padding) / 2);
219
- border-bottom: 1px solid hsla(0, 0%, 50%, 0.5);
220
- }
221
-
222
- .memory-widget-toolbar {
223
- display: flex;
224
- flex-flow: row nowrap;
225
- height: 24px;
226
- align-items: center;
227
- max-width: 100%;
228
- }
229
-
230
- .memory-widget-toolbar * {
231
- flex: none;
232
- }
233
-
234
- .memory-widget-toolbar .memory-widget-header-click-zone {
235
- min-width: 0;
236
- }
237
-
238
- .memory-widget-header-click-zone * {
239
- flex: none;
240
- }
241
-
242
- .memory-widget-auto-updates-container {
243
- width: 16px;
244
- margin-right: var(--theia-ui-padding);
245
- font-size: 1.3em;
246
- }
247
-
248
- .toggle-settings-container {
249
- margin-left: auto;
250
- }
251
-
252
- .toggle-settings-container .toggle-settings-click-zone {
253
- display: flex;
254
- align-items: center;
255
- justify-content: flex-end;
256
- margin-left: var(--theia-ui-padding);
257
- user-select: none;
258
- box-sizing: content-box;
259
- border-top: 1px solid transparent;
260
- }
261
-
262
- .toggle-settings-container .toggle-settings-click-zone:focus {
263
- outline: none;
264
- border-top: 1px solid var(--theia-focusBorder);
265
- }
266
-
267
- .toggle-settings-container .toggle-settings-click-zone span {
268
- white-space: nowrap;
269
- }
270
-
271
- .toggle-settings-container .codicon-settings-gear {
272
- font-size: 1.1em;
273
- margin-right: var(--theia-ui-padding);
274
- }
275
-
276
- .toggle-settings-container + div > .t-mv-settings-group-header:first-of-type,
277
- .toggle-settings-container + .t-mv-settings-group-header {
278
- margin-top: 0;
279
- }
280
-
281
- .t-mv-wrapper button.theia-button {
282
- min-width: 30px;
283
- margin: unset;
284
- padding: unset;
285
- }
286
-
287
- .view-group {
288
- grid-template-columns: 70px 1fr;
289
- }
290
-
291
- .settings-group {
292
- grid-template-columns: 110px 1fr;
293
- margin-top: calc(2 * var(--theia-ui-padding));
294
- }
295
-
296
- .ascii-group {
297
- grid-template-columns: 70px 1fr;
298
- }
299
-
300
- .t-mv-group.view-group {
301
- grid-template-columns: 3fr repeat(2, 1fr) 30px;
302
- grid-template-rows: repeat(2, 24px);
303
- grid-auto-flow: column;
304
- border-bottom: 1px solid hsla(0, 0%, 50%, 0.5);
305
- border-top: 1px solid hsla(0, 0%, 50%, 0.5);
306
- padding-bottom: var(--theia-ui-padding);
307
- }
308
-
309
- .view-group-go-button {
310
- grid-row: 2 / 3;
311
- height: 100%;
312
- }
313
-
314
- .t-mv-group {
315
- display: grid;
316
- grid-column-gap: var(--theia-ui-padding);
317
- grid-row-gap: calc(var(--theia-ui-padding) / 2);
318
- align-items: center;
319
- }
320
-
321
- .t-mv-group .theia-select,
322
- .t-mv-group .theia-input {
323
- width: 100%;
324
- box-sizing: border-box;
325
- }
326
-
327
- .t-mv-group .multi-select-bar {
328
- min-height: 19px;
329
- }
330
-
331
- .t-mv-group .multi-select-label {
332
- line-height: 17px;
333
- }
334
-
335
- .t-mv-input-group.button-wrapper {
336
- margin: 2px;
337
- width: 100%;
338
- display: block;
339
- text-align: center;
340
- }
341
-
342
- .t-mv-input-group.button-wrapper .theia-button.main {
343
- margin: var(--theia-ui-padding) 0 0 0;
344
- }
345
-
346
- table.t-mv-view {
347
- align-self: center;
348
- border-collapse: collapse;
349
- border: none;
350
- }
351
-
352
- table.t-mv-view {
353
- font-size: var(--theia-ui-font-size1);
354
- font-weight: 400;
355
- text-align: left;
356
- padding: 10px;
357
- }
358
-
359
- table.t-mv-view td,
360
- table.t-mv-view th {
361
- font-family: monospace;
362
- padding-right: 15px;
363
- white-space: pre;
364
- }
365
-
366
- table.t-mv-view .t-mv-view-row.t-mv-view-row-highlight {
367
- border-bottom: 1px var(--theia-editorGroup-border) solid;
368
- }
369
-
370
- table.t-mv-view .t-mv-view-row:hover {
371
- background-color: var(--theia-sideBar-background);
372
- }
373
-
374
- table.t-mv-view .t-mv-view-address {
375
- font-weight: 700;
376
- text-align: left;
377
- }
378
-
379
- .t-mv-settings-group-header.small-margin {
380
- margin-bottom: var(--theia-ui-padding);
381
- margin-top: var(--theia-ui-padding);
382
- }
383
-
384
- .t-mv-variable-label:not(:last-of-type)::after {
385
- content: ",";
386
- margin-right: var(--theia-ui-padding);
387
- color: var(--theia-editor-foreground);
388
- }
389
-
390
- .mw-input-select {
391
- position: relative;
392
- height: 100%;
393
- }
394
-
395
- .mw-input-select .theia-input {
396
- position: absolute;
397
- z-index: 1;
398
- width: calc(100% - 18px);
399
- }
400
-
401
- .mw-input-select .theia-input:focus {
402
- outline: unset;
403
- }
404
-
405
- .mw-input-select .theia-select {
406
- position: absolute;
407
- z-index: 0;
408
- height: calc(var(--theia-content-line-height) + 2px);
409
- }
410
-
411
- .mw-input-select .theia-select:focus {
412
- outline: unset;
413
- }
414
-
415
- .memory-layout-widget {
416
- display: flex;
417
- flex-direction: column;
418
- }
419
-
420
- .memory-dock-panel {
421
- flex-grow: 1;
422
- margin: var(--theia-ui-padding);
423
- margin-top: 0;
424
- }
425
-
426
- .memory-edit-button-container {
427
- padding: var(--theia-ui-padding) 0;
428
- width: 100%;
429
- display: flex;
430
- justify-content: center;
431
- box-shadow: 0px 6px 6px 6px var(--theia-widget-shadow);
432
- }
433
-
434
- .memory-edit-button-container .memory-edit-error {
435
- width: 100%;
436
- height: 100%;
437
- bottom: 0;
438
- box-sizing: border-box;
439
- white-space: normal;
440
- padding: var(--theia-ui-padding);
441
- background-color: var(--theia-editor-background);
442
- color: var(--theia-editorWarning-foreground);
443
- }
444
-
445
- .memory-diff-select {
446
- padding: var(--theia-ui-padding);
447
- }
448
-
449
- .memory-diff-select-wrapper {
450
- display: flex;
451
- flex-flow: row wrap;
452
- justify-content: center;
453
- align-content: center;
454
- align-items: center;
455
- border-top: 1px solid hsla(0, 0%, 50%, 0.5);
456
- padding-top: var(--theia-ui-padding);
457
- }
458
-
459
- .diff-select-input-wrapper {
460
- display: flex;
461
- justify-content: space-around;
462
- align-content: center;
463
- align-items: center;
464
- flex-flow: row wrap;
465
- }
466
-
467
- .memory-diff-select-go {
468
- min-width: unset;
469
- text-align: center;
470
- width: 30px;
471
- margin: 0 var(--theia-ui-padding);
472
- margin-top: var(--theia-ui-padding);
473
- align-self: flex-end;
474
- }
475
-
476
- .t-mv-diff-select-widget-options-wrapper {
477
- display: grid;
478
- grid-template-rows: 12px 24px;
479
- grid-auto-flow: column;
480
- gap: calc(var(--theia-ui-padding) / 2);
481
- max-width: 215px;
482
- margin: 0 var(--theia-ui-padding);
483
- align-items: center;
484
- }
485
-
486
- .t-mv-diff-select-widget-options-wrapper .t-mv-label,
487
- .t-mv-diff-select-widget-options-wrapper .t-mv-select {
488
- min-width: 0;
489
- }
490
-
491
- .t-mv-diff-select-widget-options-wrapper .t-mv-select {
492
- height: 100%;
493
- }
494
-
495
- .theia-input:disabled {
496
- opacity: var(--memory-widget-disabled-opacity);
497
- }
498
-
499
- .t-mv-label.disabled {
500
- font-style: italic;
501
- opacity: var(--memory-widget-disabled-opacity);
502
- }
503
-
504
- .memory-widget-header {
505
- font-weight: normal;
506
- }
507
-
508
- .memory-widget-header-click-zone {
509
- display: flex;
510
- flex: 1 1 0;
511
- align-items: center;
512
- }
513
-
514
- .memory-widget-header-click-zone .memory-widget-header {
515
- margin: 0;
516
- white-space: nowrap;
517
- flex-shrink: 1;
518
- min-width: 0;
519
- overflow: hidden;
520
- text-overflow: ellipsis;
521
- }
522
-
523
- .memory-widget-header-click-zone input {
524
- flex-grow: 1;
525
- width: 0;
526
- height: 18px;
527
- }
528
-
529
- .memory-widget-toolbar .fa.fa-pencil,
530
- .memory-widget-toolbar .fa.fa-save {
531
- font-size: 1.2em;
532
- margin: 0 var(--theia-ui-padding);
533
- transition: opacity 0.3s;
534
- }
535
-
536
- .memory-widget-header-click-zone:hover .fa.fa-pencil {
537
- opacity: 1;
538
- }
539
-
540
- .memory-widget-header-click-zone .fa.fa-pencil {
541
- opacity: 0;
542
- }
543
-
544
- .memory-widget-header-click-zone .theia-input {
545
- font-size: 1.5em;
546
- /* same as theia h2 */
547
- }
548
-
549
- .t-mv-settings-group-header.disabled,
550
- .memory-widget-header.disabled {
551
- font-style: italic;
552
- opacity: var(--memory-widget-disabled-opacity);
553
- }
554
-
555
- .t-mv-view-container span {
556
- display: inline-block;
557
- }
558
-
559
- .t-mv-diffed-ascii:not(:last-of-type) {
560
- margin-right: var(--theia-ui-padding);
561
- }
562
-
563
- .t-mv-view-container span.different {
564
- position: relative;
565
- }
566
-
567
- .t-mv-view-container span.different::before {
568
- content: "";
569
- position: absolute;
570
- height: 100%;
571
- width: 100%;
572
- top: 0;
573
- left: 0;
574
- }
575
-
576
- .t-mv-view-container span.before.different::before,
577
- .t-mv-view-container .before.different {
578
- background-color: var(--theia-memoryDiff-removedTextBackground);
579
- }
580
-
581
- .t-mv-view-container span.after.different::before,
582
- .t-mv-view-container .after.different {
583
- background-color: var(--theia-memoryDiff-insertedTextBackground);
584
- }
585
-
586
- .t-mv-view-container span.before.different.hc::before,
587
- .t-mv-view-container .before.different.hc {
588
- border-top: dotted 1px var(--theia-contrastActiveBorder);
589
- border-bottom: dotted 1px var(--theia-contrastActiveBorder);
590
- box-sizing: border-box;
591
- }
592
-
593
- .t-mv-view-container span.after.different.hc::before,
594
- .t-mv-view-container .after.different.hc {
595
- border-top: dashed 1px var(--theia-contrastBorder);
596
- border-bottom: dashed 1px var(--theia-contrastBorder);
597
- box-sizing: border-box;
598
- }
599
-
600
- .memory-dockpanel-placeholder {
601
- position: absolute;
602
- top: 10px;
603
- padding: calc(2 * var(--theia-ui-padding));
604
- width: 100%;
605
- line-height: var(--memory-widget-placeholder-text-line-height);
606
- }
607
-
608
- .memory-dockpanel-placeholder i.toolbar {
609
- background-color: var(--theia-errorForeground);
610
- vertical-align: middle;
611
- cursor: default;
612
- }
613
-
614
- .t-mv-hover {
615
- position: fixed;
616
- font-family: monospace;
617
- box-sizing: border-box;
618
- padding: var(--theia-ui-padding);
619
- font-size: var(--theia-ui-font-size1);
620
- background: var(--theia-editorHoverWidget-background);
621
- border: 2px solid var(--theia-editorHoverWidget-border);
622
- /* This ensures that the hover is visible over the widget even when focused */
623
- z-index: 1000;
624
-
625
- display: grid;
626
- grid-template-columns: max-content max-content;
627
- gap: calc(var(--theia-ui-padding) / 2) var(--theia-ui-padding);
628
- }
629
-
630
- .t-mv-hover.hidden {
631
- display: none;
632
- }
633
-
634
- .t-mv-hover-key {
635
- color: var(--theia-symbolIcon-variableForeground);
636
- }
637
-
638
- .t-mv-hover-value {
639
- color: var(--theia-variable-number-variable-color);
640
- }
641
-
642
- .t-mv-hover-value.utf8 {
643
- color: var(--theia-variable-string-variable-color);
644
- }
645
-
646
- .mw-more-memory-select {
647
- display: flex;
648
- justify-content: center;
649
- align-items: center;
650
- font-style: italic;
651
- opacity: 0.7;
652
- }
653
-
654
- .mw-more-memory-select-top {
655
- display: flex;
656
- justify-content: center;
657
- height: 16px;
658
- padding-bottom: 1px;
659
- transition: border-color 0.1s;
660
- border-color: transparent;
661
- }
662
-
663
- .mw-more-memory-select-top:hover {
664
- border-bottom: 1px solid;
665
- padding-bottom: 0;
666
- border-color: var(--theia-sideBar-foreground);
667
- }
668
-
669
- .mw-more-memory-select select {
670
- border: none;
671
- background: none;
672
- border-radius: 3px;
673
- margin: 0 2px;
674
- position: relative;
675
- bottom: 1px;
676
- transition: background 0.1s;
677
- font-style: italic;
678
- }
679
-
680
- .mw-more-memory-select select:hover {
681
- background: var(--theia-dropdown-background);
682
- }
683
-
684
- .mw-more-memory-select button {
685
- background-color: unset;
686
- border: none;
687
- padding: 2px;
688
- color: var(--theia-sideBar-foreground);
689
- }
690
-
691
- .mw-bookmarks-bar {
692
- padding: calc(var(--theia-ui-padding) / 2) 0;
693
- }
694
-
695
- .mw-bookmarks-bar .bookmark-container {
696
- display: inline;
697
- position: relative;
698
- cursor: pointer;
699
- padding: 0 var(--theia-ui-padding);
700
- }
701
-
702
- .mw-bookmarks-bar .bookmark-container .bookmark-radio-button {
703
- height: 100%;
704
- z-index: -1;
705
- border-radius: 3px;
706
- padding: 0 var(--theia-ui-padding);
707
- background-color: var(--theia-button-secondaryBackground);
708
- color: var(--theia-button-secondaryForeground);
709
- box-shadow: 0 2px 0 rgba(187, 187, 187, 0.4);
710
- }
711
-
712
- .mw-bookmarks-bar input {
713
- position: absolute;
714
- left: 0;
715
- appearance: none;
716
- -webkit-appearance: none;
717
- }
718
-
719
- .mw-bookmarks-bar input:checked ~ .bookmark-radio-button {
720
- background-color: var(--theia-button-background);
721
- color: var(--theia-button-foreground);
722
- }
723
-
724
- .diff-options-widget .t-mv-group.view-group {
725
- grid-template-columns: repeat(2, 1fr) 30px;
726
- grid-template-rows: 18px 24px;
727
- }
728
-
729
- #memory-table-widget.editable .t-mv-view .eight-bits:hover {
730
- cursor: pointer;
731
- }
732
-
733
- #memory-table-widget.editable
734
- .t-mv-memory-container:focus
735
- .eight-bits.highlight {
736
- cursor: text;
737
- }
738
-
739
- .diff-options-widget .memory-widget-header-click-zone,
740
- .diff-options-widget .toggle-settings-click-zone,
741
- #memory-layout-widget .memory-widget-header-click-zone,
742
- #memory-layout-widget .toggle-settings-click-zone,
743
- #memory-layout-widget .fa-unlock,
744
- #memory-layout-widget .fa-lock {
745
- cursor: pointer;
746
- }
1
+ /********************************************************************************
2
+ * Copyright (C) 2021 Ericsson 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
+ :root {
18
+ --memory-widget-disabled-opacity: 0.7;
19
+ --memory-widget-placeholder-text-line-height: 24px;
20
+ }
21
+
22
+ .memory-view-options-widget {
23
+ display: flex;
24
+ overflow: unset !important;
25
+ }
26
+
27
+ .memory-view-icon {
28
+ -webkit-mask: url("memory-view.svg");
29
+ mask: url("memory-view.svg");
30
+ }
31
+
32
+ .register-view-icon {
33
+ -webkit-mask: url("register-view.svg");
34
+ mask: url("register-view.svg");
35
+ }
36
+
37
+ .memory-view-icon.toolbar,
38
+ .register-view-icon.toolbar {
39
+ display: inline-block;
40
+ background-color: var(--theia-settings-headerForeground);
41
+ mask-size: 16px 15px;
42
+ mask-repeat: no-repeat;
43
+ mask-position: center center;
44
+ -webkit-mask-size: 16px 15px;
45
+ -webkit-mask-repeat: no-repeat;
46
+ -webkit-mask-position: center center;
47
+ min-width: var(--theia-icon-size);
48
+ min-height: var(--theia-icon-size);
49
+ cursor: pointer;
50
+ }
51
+
52
+ .memory-lock-icon {
53
+ -webkit-mask: url("memory-lock.svg");
54
+ mask: url("memory-lock.svg");
55
+ }
56
+
57
+ .register-lock-icon {
58
+ -webkit-mask: url("register-lock.svg");
59
+ mask: url("register-lock.svg");
60
+ }
61
+
62
+ .t-mv-container {
63
+ display: flex;
64
+ flex-direction: column;
65
+ align-items: left;
66
+ box-sizing: border-box;
67
+ height: 100%;
68
+ width: 100%;
69
+ padding: 10px;
70
+ overflow: hidden;
71
+ }
72
+
73
+ .t-mv-container button:focus {
74
+ /* Fixes a padding issue when clicking a button */
75
+ border: none;
76
+ }
77
+
78
+ .memory-view-wrapper {
79
+ display: flex;
80
+ flex-direction: column;
81
+ }
82
+
83
+ .t-mv-memory-container {
84
+ display: flex;
85
+ flex-direction: column;
86
+ overflow: hidden;
87
+ background-color: var(--theia-editor-background);
88
+ height: 100%;
89
+ white-space: nowrap;
90
+ }
91
+
92
+ .t-mv-memory-container:focus {
93
+ outline: none;
94
+ }
95
+
96
+ .t-mv-memory-container.frozen,
97
+ .t-mv-memory-container.frozen:focus {
98
+ font-style: italic;
99
+ opacity: var(--memory-widget-disabled-opacity) !important;
100
+ }
101
+
102
+ .t-mv-memory-fetch-error {
103
+ margin: var(--theia-ui-padding);
104
+ color: var(--theia-editorWarning-foreground);
105
+ }
106
+
107
+ .t-mv-memory-fetch-error.show {
108
+ display: block;
109
+ }
110
+
111
+ .t-mv-memory-fetch-error.hide {
112
+ display: none;
113
+ }
114
+
115
+ .t-mv-header {
116
+ margin-top: var(--theia-ui-padding);
117
+ display: grid;
118
+ box-shadow: 0px 6px 5px -5px var(--theia-widget-shadow);
119
+ padding-bottom: var(--theia-ui-padding);
120
+ }
121
+
122
+ .t-mv-header-label {
123
+ background-color: var(--theia-editor-background);
124
+ border-radius: 10px;
125
+ font-weight: 400;
126
+ padding: 2px 5px 2px 5px;
127
+ }
128
+
129
+ .t-mv-view {
130
+ width: 100%;
131
+ }
132
+
133
+ .t-mv-view .eight-bits.changed {
134
+ background-color: var(--theia-memoryInspector-foreground);
135
+ color: var(--theia-editor-background);
136
+ }
137
+
138
+ .t-mv-view .eight-bits.changed:hover {
139
+ background-color: var(--theia-memoryInspector-foreground);
140
+ opacity: 0.85;
141
+ }
142
+
143
+ .t-mv-view .eight-bits {
144
+ border-bottom: 1px solid transparent;
145
+ box-sizing: border-box;
146
+ }
147
+
148
+ .t-mv-view .eight-bits:not(.changed):not(.highlight):hover {
149
+ background-color: var(--theia-editor-inactiveSelectionBackground);
150
+ }
151
+
152
+ .t-mv-memory-container:focus .eight-bits.highlight {
153
+ background-color: var(--theia-editor-selectionBackground);
154
+ border-radius: 1px;
155
+ border-bottom: solid 1px var(--theia-editorCursor-foreground);
156
+ }
157
+
158
+ .t-mv-memory-container:focus .eight-bits.changed.highlight {
159
+ background-color: var(--theia-memoryInspector-focusBorder);
160
+ }
161
+
162
+ .t-mv-memory-container:not(:focus) .eight-bits.highlight {
163
+ background-color: var(--theia-editor-inactiveSelectionBackground);
164
+ }
165
+
166
+ .t-mv-view .eight-bits.modified {
167
+ outline-width: 1px;
168
+ outline-style: solid;
169
+ outline-offset: -1px;
170
+ outline-color: var(--theia-editorWarning-foreground);
171
+ border: none;
172
+ }
173
+
174
+ .t-mv-view .byte-group:not(:first-of-type) {
175
+ display: inline-block;
176
+ padding-left: var(--theia-ui-padding);
177
+ }
178
+
179
+ .t-mv-view .data-address-col {
180
+ width: unset;
181
+ }
182
+
183
+ .t-mv-view-container {
184
+ flex: 1;
185
+ overflow: hidden;
186
+ margin-top: var(--theia-ui-padding);
187
+ height: 100%;
188
+ }
189
+
190
+ .t-mv-view-container thead {
191
+ position: absolute;
192
+ }
193
+
194
+ .t-mv-view-container .ps__rail-y {
195
+ left: unset !important;
196
+ }
197
+
198
+ .t-mv-view-container:focus {
199
+ /* Fixes a padding issue when clicking inside the container */
200
+ border: none;
201
+ }
202
+
203
+ .memory-diff-select .theia-select:focus,
204
+ .t-mv-container .theia-select:focus {
205
+ outline-width: 1px;
206
+ outline-style: solid;
207
+ outline-offset: -1px;
208
+ opacity: 1 !important;
209
+ outline-color: var(--theia-focusBorder);
210
+ }
211
+
212
+ .t-mv-settings-container {
213
+ flex: none;
214
+ padding-bottom: var(--theia-ui-padding);
215
+ }
216
+
217
+ .t-mv-settings-container .t-mv-settings-group-header {
218
+ padding-bottom: calc(var(--theia-ui-padding) / 2);
219
+ border-bottom: 1px solid hsla(0, 0%, 50%, 0.5);
220
+ }
221
+
222
+ .memory-widget-toolbar {
223
+ display: flex;
224
+ flex-flow: row nowrap;
225
+ height: 24px;
226
+ align-items: center;
227
+ max-width: 100%;
228
+ }
229
+
230
+ .memory-widget-toolbar * {
231
+ flex: none;
232
+ }
233
+
234
+ .memory-widget-toolbar .memory-widget-header-click-zone {
235
+ min-width: 0;
236
+ }
237
+
238
+ .memory-widget-header-click-zone * {
239
+ flex: none;
240
+ }
241
+
242
+ .memory-widget-auto-updates-container {
243
+ width: 16px;
244
+ margin-right: var(--theia-ui-padding);
245
+ font-size: 1.3em;
246
+ }
247
+
248
+ .toggle-settings-container {
249
+ margin-left: auto;
250
+ }
251
+
252
+ .toggle-settings-container .toggle-settings-click-zone {
253
+ display: flex;
254
+ align-items: center;
255
+ justify-content: flex-end;
256
+ margin-left: var(--theia-ui-padding);
257
+ user-select: none;
258
+ box-sizing: content-box;
259
+ border-top: 1px solid transparent;
260
+ }
261
+
262
+ .toggle-settings-container .toggle-settings-click-zone:focus {
263
+ outline: none;
264
+ border-top: 1px solid var(--theia-focusBorder);
265
+ }
266
+
267
+ .toggle-settings-container .toggle-settings-click-zone span {
268
+ white-space: nowrap;
269
+ }
270
+
271
+ .toggle-settings-container .codicon-settings-gear {
272
+ font-size: 1.1em;
273
+ margin-right: var(--theia-ui-padding);
274
+ }
275
+
276
+ .toggle-settings-container + div > .t-mv-settings-group-header:first-of-type,
277
+ .toggle-settings-container + .t-mv-settings-group-header {
278
+ margin-top: 0;
279
+ }
280
+
281
+ .t-mv-wrapper button.theia-button {
282
+ min-width: 30px;
283
+ margin: unset;
284
+ padding: unset;
285
+ }
286
+
287
+ .view-group {
288
+ grid-template-columns: 70px 1fr;
289
+ }
290
+
291
+ .settings-group {
292
+ grid-template-columns: 110px 1fr;
293
+ margin-top: calc(2 * var(--theia-ui-padding));
294
+ }
295
+
296
+ .ascii-group {
297
+ grid-template-columns: 70px 1fr;
298
+ }
299
+
300
+ .t-mv-group.view-group {
301
+ grid-template-columns: 3fr repeat(2, 1fr) 30px;
302
+ grid-template-rows: repeat(2, 24px);
303
+ grid-auto-flow: column;
304
+ border-bottom: 1px solid hsla(0, 0%, 50%, 0.5);
305
+ border-top: 1px solid hsla(0, 0%, 50%, 0.5);
306
+ padding-bottom: var(--theia-ui-padding);
307
+ }
308
+
309
+ .view-group-go-button {
310
+ grid-row: 2 / 3;
311
+ height: 100%;
312
+ }
313
+
314
+ .t-mv-group {
315
+ display: grid;
316
+ grid-column-gap: var(--theia-ui-padding);
317
+ grid-row-gap: calc(var(--theia-ui-padding) / 2);
318
+ align-items: center;
319
+ }
320
+
321
+ .t-mv-group .theia-select,
322
+ .t-mv-group .theia-input {
323
+ width: 100%;
324
+ box-sizing: border-box;
325
+ }
326
+
327
+ .t-mv-group .multi-select-bar {
328
+ min-height: 19px;
329
+ }
330
+
331
+ .t-mv-group .multi-select-label {
332
+ line-height: 17px;
333
+ }
334
+
335
+ .t-mv-input-group.button-wrapper {
336
+ margin: 2px;
337
+ width: 100%;
338
+ display: block;
339
+ text-align: center;
340
+ }
341
+
342
+ .t-mv-input-group.button-wrapper .theia-button.main {
343
+ margin: var(--theia-ui-padding) 0 0 0;
344
+ }
345
+
346
+ table.t-mv-view {
347
+ align-self: center;
348
+ border-collapse: collapse;
349
+ border: none;
350
+ }
351
+
352
+ table.t-mv-view {
353
+ font-size: var(--theia-ui-font-size1);
354
+ font-weight: 400;
355
+ text-align: left;
356
+ padding: 10px;
357
+ }
358
+
359
+ table.t-mv-view td,
360
+ table.t-mv-view th {
361
+ font-family: monospace;
362
+ padding-right: 15px;
363
+ white-space: pre;
364
+ }
365
+
366
+ table.t-mv-view .t-mv-view-row.t-mv-view-row-highlight {
367
+ border-bottom: 1px var(--theia-editorGroup-border) solid;
368
+ }
369
+
370
+ table.t-mv-view .t-mv-view-row:hover {
371
+ background-color: var(--theia-sideBar-background);
372
+ }
373
+
374
+ table.t-mv-view .t-mv-view-address {
375
+ font-weight: 700;
376
+ text-align: left;
377
+ }
378
+
379
+ .t-mv-settings-group-header.small-margin {
380
+ margin-bottom: var(--theia-ui-padding);
381
+ margin-top: var(--theia-ui-padding);
382
+ }
383
+
384
+ .t-mv-variable-label:not(:last-of-type)::after {
385
+ content: ",";
386
+ margin-right: var(--theia-ui-padding);
387
+ color: var(--theia-editor-foreground);
388
+ }
389
+
390
+ .mw-input-select {
391
+ position: relative;
392
+ height: 100%;
393
+ }
394
+
395
+ .mw-input-select .theia-input {
396
+ position: absolute;
397
+ z-index: 1;
398
+ width: calc(100% - 18px);
399
+ }
400
+
401
+ .mw-input-select .theia-input:focus {
402
+ outline: unset;
403
+ }
404
+
405
+ .mw-input-select .theia-select {
406
+ position: absolute;
407
+ z-index: 0;
408
+ height: calc(var(--theia-content-line-height) + 2px);
409
+ }
410
+
411
+ .mw-input-select .theia-select:focus {
412
+ outline: unset;
413
+ }
414
+
415
+ .memory-layout-widget {
416
+ display: flex;
417
+ flex-direction: column;
418
+ }
419
+
420
+ .memory-dock-panel {
421
+ flex-grow: 1;
422
+ margin: var(--theia-ui-padding);
423
+ margin-top: 0;
424
+ }
425
+
426
+ .memory-edit-button-container {
427
+ padding: var(--theia-ui-padding) 0;
428
+ width: 100%;
429
+ display: flex;
430
+ justify-content: center;
431
+ box-shadow: 0px 6px 6px 6px var(--theia-widget-shadow);
432
+ }
433
+
434
+ .memory-edit-button-container .memory-edit-error {
435
+ width: 100%;
436
+ height: 100%;
437
+ bottom: 0;
438
+ box-sizing: border-box;
439
+ white-space: normal;
440
+ padding: var(--theia-ui-padding);
441
+ background-color: var(--theia-editor-background);
442
+ color: var(--theia-editorWarning-foreground);
443
+ }
444
+
445
+ .memory-diff-select {
446
+ padding: var(--theia-ui-padding);
447
+ }
448
+
449
+ .memory-diff-select-wrapper {
450
+ display: flex;
451
+ flex-flow: row wrap;
452
+ justify-content: center;
453
+ align-content: center;
454
+ align-items: center;
455
+ border-top: 1px solid hsla(0, 0%, 50%, 0.5);
456
+ padding-top: var(--theia-ui-padding);
457
+ }
458
+
459
+ .diff-select-input-wrapper {
460
+ display: flex;
461
+ justify-content: space-around;
462
+ align-content: center;
463
+ align-items: center;
464
+ flex-flow: row wrap;
465
+ }
466
+
467
+ .memory-diff-select-go {
468
+ min-width: unset;
469
+ text-align: center;
470
+ width: 30px;
471
+ margin: 0 var(--theia-ui-padding);
472
+ margin-top: var(--theia-ui-padding);
473
+ align-self: flex-end;
474
+ }
475
+
476
+ .t-mv-diff-select-widget-options-wrapper {
477
+ display: grid;
478
+ grid-template-rows: 12px 24px;
479
+ grid-auto-flow: column;
480
+ gap: calc(var(--theia-ui-padding) / 2);
481
+ max-width: 215px;
482
+ margin: 0 var(--theia-ui-padding);
483
+ align-items: center;
484
+ }
485
+
486
+ .t-mv-diff-select-widget-options-wrapper .t-mv-label,
487
+ .t-mv-diff-select-widget-options-wrapper .t-mv-select {
488
+ min-width: 0;
489
+ }
490
+
491
+ .t-mv-diff-select-widget-options-wrapper .t-mv-select {
492
+ height: 100%;
493
+ }
494
+
495
+ .theia-input:disabled {
496
+ opacity: var(--memory-widget-disabled-opacity);
497
+ }
498
+
499
+ .t-mv-label.disabled {
500
+ font-style: italic;
501
+ opacity: var(--memory-widget-disabled-opacity);
502
+ }
503
+
504
+ .memory-widget-header {
505
+ font-weight: normal;
506
+ }
507
+
508
+ .memory-widget-header-click-zone {
509
+ display: flex;
510
+ flex: 1 1 0;
511
+ align-items: center;
512
+ }
513
+
514
+ .memory-widget-header-click-zone .memory-widget-header {
515
+ margin: 0;
516
+ white-space: nowrap;
517
+ flex-shrink: 1;
518
+ min-width: 0;
519
+ overflow: hidden;
520
+ text-overflow: ellipsis;
521
+ }
522
+
523
+ .memory-widget-header-click-zone input {
524
+ flex-grow: 1;
525
+ width: 0;
526
+ height: 18px;
527
+ }
528
+
529
+ .memory-widget-toolbar .fa.fa-pencil,
530
+ .memory-widget-toolbar .fa.fa-save {
531
+ font-size: 1.2em;
532
+ margin: 0 var(--theia-ui-padding);
533
+ transition: opacity 0.3s;
534
+ }
535
+
536
+ .memory-widget-header-click-zone:hover .fa.fa-pencil {
537
+ opacity: 1;
538
+ }
539
+
540
+ .memory-widget-header-click-zone .fa.fa-pencil {
541
+ opacity: 0;
542
+ }
543
+
544
+ .memory-widget-header-click-zone .theia-input {
545
+ font-size: 1.5em;
546
+ /* same as theia h2 */
547
+ }
548
+
549
+ .t-mv-settings-group-header.disabled,
550
+ .memory-widget-header.disabled {
551
+ font-style: italic;
552
+ opacity: var(--memory-widget-disabled-opacity);
553
+ }
554
+
555
+ .t-mv-view-container span {
556
+ display: inline-block;
557
+ }
558
+
559
+ .t-mv-diffed-ascii:not(:last-of-type) {
560
+ margin-right: var(--theia-ui-padding);
561
+ }
562
+
563
+ .t-mv-view-container span.different {
564
+ position: relative;
565
+ }
566
+
567
+ .t-mv-view-container span.different::before {
568
+ content: "";
569
+ position: absolute;
570
+ height: 100%;
571
+ width: 100%;
572
+ top: 0;
573
+ left: 0;
574
+ }
575
+
576
+ .t-mv-view-container span.before.different::before,
577
+ .t-mv-view-container .before.different {
578
+ background-color: var(--theia-memoryDiff-removedTextBackground);
579
+ }
580
+
581
+ .t-mv-view-container span.after.different::before,
582
+ .t-mv-view-container .after.different {
583
+ background-color: var(--theia-memoryDiff-insertedTextBackground);
584
+ }
585
+
586
+ .t-mv-view-container span.before.different.hc::before,
587
+ .t-mv-view-container .before.different.hc {
588
+ border-top: dotted 1px var(--theia-contrastActiveBorder);
589
+ border-bottom: dotted 1px var(--theia-contrastActiveBorder);
590
+ box-sizing: border-box;
591
+ }
592
+
593
+ .t-mv-view-container span.after.different.hc::before,
594
+ .t-mv-view-container .after.different.hc {
595
+ border-top: dashed 1px var(--theia-contrastBorder);
596
+ border-bottom: dashed 1px var(--theia-contrastBorder);
597
+ box-sizing: border-box;
598
+ }
599
+
600
+ .memory-dockpanel-placeholder {
601
+ position: absolute;
602
+ top: 10px;
603
+ padding: calc(2 * var(--theia-ui-padding));
604
+ width: 100%;
605
+ line-height: var(--memory-widget-placeholder-text-line-height);
606
+ }
607
+
608
+ .memory-dockpanel-placeholder i.toolbar {
609
+ background-color: var(--theia-errorForeground);
610
+ vertical-align: middle;
611
+ cursor: default;
612
+ }
613
+
614
+ .t-mv-hover {
615
+ position: fixed;
616
+ font-family: monospace;
617
+ box-sizing: border-box;
618
+ padding: var(--theia-ui-padding);
619
+ font-size: var(--theia-ui-font-size1);
620
+ background: var(--theia-editorHoverWidget-background);
621
+ border: 2px solid var(--theia-editorHoverWidget-border);
622
+ /* This ensures that the hover is visible over the widget even when focused */
623
+ z-index: 1000;
624
+
625
+ display: grid;
626
+ grid-template-columns: max-content max-content;
627
+ gap: calc(var(--theia-ui-padding) / 2) var(--theia-ui-padding);
628
+ }
629
+
630
+ .t-mv-hover.hidden {
631
+ display: none;
632
+ }
633
+
634
+ .t-mv-hover-key {
635
+ color: var(--theia-symbolIcon-variableForeground);
636
+ }
637
+
638
+ .t-mv-hover-value {
639
+ color: var(--theia-variable-number-variable-color);
640
+ }
641
+
642
+ .t-mv-hover-value.utf8 {
643
+ color: var(--theia-variable-string-variable-color);
644
+ }
645
+
646
+ .mw-more-memory-select {
647
+ display: flex;
648
+ justify-content: center;
649
+ align-items: center;
650
+ font-style: italic;
651
+ opacity: 0.7;
652
+ }
653
+
654
+ .mw-more-memory-select-top {
655
+ display: flex;
656
+ justify-content: center;
657
+ height: 16px;
658
+ padding-bottom: 1px;
659
+ transition: border-color 0.1s;
660
+ border-color: transparent;
661
+ }
662
+
663
+ .mw-more-memory-select-top:hover {
664
+ border-bottom: 1px solid;
665
+ padding-bottom: 0;
666
+ border-color: var(--theia-sideBar-foreground);
667
+ }
668
+
669
+ .mw-more-memory-select select {
670
+ border: none;
671
+ background: none;
672
+ border-radius: 3px;
673
+ margin: 0 2px;
674
+ position: relative;
675
+ bottom: 1px;
676
+ transition: background 0.1s;
677
+ font-style: italic;
678
+ }
679
+
680
+ .mw-more-memory-select select:hover {
681
+ background: var(--theia-dropdown-background);
682
+ }
683
+
684
+ .mw-more-memory-select button {
685
+ background-color: unset;
686
+ border: none;
687
+ padding: 2px;
688
+ color: var(--theia-sideBar-foreground);
689
+ }
690
+
691
+ .mw-bookmarks-bar {
692
+ padding: calc(var(--theia-ui-padding) / 2) 0;
693
+ }
694
+
695
+ .mw-bookmarks-bar .bookmark-container {
696
+ display: inline;
697
+ position: relative;
698
+ cursor: pointer;
699
+ padding: 0 var(--theia-ui-padding);
700
+ }
701
+
702
+ .mw-bookmarks-bar .bookmark-container .bookmark-radio-button {
703
+ height: 100%;
704
+ z-index: -1;
705
+ border-radius: 3px;
706
+ padding: 0 var(--theia-ui-padding);
707
+ background-color: var(--theia-button-secondaryBackground);
708
+ color: var(--theia-button-secondaryForeground);
709
+ box-shadow: 0 2px 0 rgba(187, 187, 187, 0.4);
710
+ }
711
+
712
+ .mw-bookmarks-bar input {
713
+ position: absolute;
714
+ left: 0;
715
+ appearance: none;
716
+ -webkit-appearance: none;
717
+ }
718
+
719
+ .mw-bookmarks-bar input:checked ~ .bookmark-radio-button {
720
+ background-color: var(--theia-button-background);
721
+ color: var(--theia-button-foreground);
722
+ }
723
+
724
+ .diff-options-widget .t-mv-group.view-group {
725
+ grid-template-columns: repeat(2, 1fr) 30px;
726
+ grid-template-rows: 18px 24px;
727
+ }
728
+
729
+ #memory-table-widget.editable .t-mv-view .eight-bits:hover {
730
+ cursor: pointer;
731
+ }
732
+
733
+ #memory-table-widget.editable
734
+ .t-mv-memory-container:focus
735
+ .eight-bits.highlight {
736
+ cursor: text;
737
+ }
738
+
739
+ .diff-options-widget .memory-widget-header-click-zone,
740
+ .diff-options-widget .toggle-settings-click-zone,
741
+ #memory-layout-widget .memory-widget-header-click-zone,
742
+ #memory-layout-widget .toggle-settings-click-zone,
743
+ #memory-layout-widget .fa-unlock,
744
+ #memory-layout-widget .fa-lock {
745
+ cursor: pointer;
746
+ }