pxt-core 13.2.14 → 13.2.16
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/built/backendutils.d.ts +120 -0
- package/built/backendutils.js +2171 -5
- package/built/cli.js +5 -2
- package/built/pxt.js +5785 -5553
- package/built/pxtcompiler.js +2 -2
- package/built/pxtlib.d.ts +178 -127
- package/built/pxtlib.js +21858 -21629
- package/built/target.js +1 -1
- package/built/targetlight.js +1 -1
- package/built/web/main.js +1 -1
- package/built/web/pxtapp.js +2 -2
- package/built/web/pxtcompiler.js +1 -1
- package/built/web/pxtembed.js +1 -1
- package/built/web/pxtlib.js +1 -1
- package/built/web/pxtworker.js +1 -1
- package/built/web/rtlsemantic.css +1 -1
- package/built/web/semantic.css +1 -1
- package/package.json +1 -1
- package/theme/highcontrast.less +4 -0
- package/theme/project-backpack.less +1 -1
- package/theme/project-tools.less +4 -4
package/package.json
CHANGED
package/theme/highcontrast.less
CHANGED
|
@@ -171,6 +171,10 @@
|
|
|
171
171
|
background: @HCblocklySvgColor !important;
|
|
172
172
|
border-right: 4px solid @HCtextColor !important;
|
|
173
173
|
|
|
174
|
+
.blocklyTreeIconsearch {
|
|
175
|
+
color: var(--pxt-neutral-foreground3) !important;
|
|
176
|
+
}
|
|
177
|
+
|
|
174
178
|
.monacoBlock {
|
|
175
179
|
color: @HCtextColor !important;
|
|
176
180
|
}
|
|
@@ -105,7 +105,7 @@
|
|
|
105
105
|
border-radius: .5rem;
|
|
106
106
|
background: var(--tools-surface);
|
|
107
107
|
}
|
|
108
|
-
.common-input { font: inherit; color: var(--tools-foreground); }
|
|
108
|
+
.common-input { font: inherit; color: var(--tools-foreground); border-radius: inherit; }
|
|
109
109
|
.common-input::placeholder { color: var(--tools-foreground); opacity: .7; }
|
|
110
110
|
.common-input-group:focus-within::after { border-radius: .5rem; }
|
|
111
111
|
|
package/theme/project-tools.less
CHANGED
|
@@ -51,7 +51,7 @@
|
|
|
51
51
|
position: fixed;
|
|
52
52
|
width: var(--tools-bubble-size);
|
|
53
53
|
inset-inline-end: 1rem;
|
|
54
|
-
top: calc(var(--tools-menu-height) + var(--tools-banner-height) + 1rem);
|
|
54
|
+
top: calc(var(--tools-menu-height) + var(--tools-banner-height) + var(--editor-offset, 0px) + 1rem);
|
|
55
55
|
// Keep bubble labels above the panel.
|
|
56
56
|
z-index: (@sidedocZIndex + 1);
|
|
57
57
|
}
|
|
@@ -137,7 +137,7 @@
|
|
|
137
137
|
|
|
138
138
|
.project-tools-panel {
|
|
139
139
|
--tools-pointer-offset: calc(var(--tools-bubble-size) * (var(--tools-tab-index) + 1.5) + var(--tools-bubble-gap) * (var(--tools-tab-index) + 1));
|
|
140
|
-
--tools-panel-top: calc(var(--tools-menu-height) + var(--tools-banner-height) + 1rem);
|
|
140
|
+
--tools-panel-top: calc(var(--tools-menu-height) + var(--tools-banner-height) + var(--editor-offset, 0px) + 1rem);
|
|
141
141
|
--tools-panel-bottom: calc(@editorToolsCollapsedHeight + 1rem);
|
|
142
142
|
--tools-available-width: calc(100vw - 6rem);
|
|
143
143
|
--tools-default-width: @sideBarWidth;
|
|
@@ -460,7 +460,7 @@
|
|
|
460
460
|
&[dir="rtl"] { --tools-slide-x: -1; }
|
|
461
461
|
|
|
462
462
|
.project-tools-launcher {
|
|
463
|
-
top: calc(var(--tools-menu-height) + var(--tools-banner-height) + .5rem);
|
|
463
|
+
top: calc(var(--tools-menu-height) + var(--tools-banner-height) + var(--editor-offset, 0px) + .5rem);
|
|
464
464
|
inset-inline-end: .5rem;
|
|
465
465
|
}
|
|
466
466
|
.project-tools-bubbles {
|
|
@@ -483,7 +483,7 @@
|
|
|
483
483
|
}
|
|
484
484
|
.project-tools-panel {
|
|
485
485
|
--tools-pointer-offset: calc(var(--tools-bubble-size) * (var(--tools-tab-count) - var(--tools-tab-index) + .5) + var(--tools-bubble-gap) * (var(--tools-tab-count) - var(--tools-tab-index)));
|
|
486
|
-
--tools-panel-top: calc(var(--tools-menu-height) + var(--tools-banner-height) + 4.75rem);
|
|
486
|
+
--tools-panel-top: calc(var(--tools-menu-height) + var(--tools-banner-height) + var(--editor-offset, 0px) + 4.75rem);
|
|
487
487
|
--tools-available-width: calc(100vw - 1rem);
|
|
488
488
|
// Include the outer gutter in the default width.
|
|
489
489
|
--tools-launcher-space: .5rem;
|