pxt-ev3/theme
Michał Moskal c5cec3a6ba update to pxt 5 and pxt-common-packages 6 (#934)
* bump pxt

* fix build issues

* Auto-gen of projects/summary

* removing feild editors moved to pxt

* various typing fixes

* more typing fixes

* fixing various typing issues

* Start on integration of new pxt

* serial number fixes

* gc-ify MMap object

* Re-build generated files

* fix console listeners

* clear lf() warnings

* More generated files

* also auto-generated

* Compilation fixes

* fix merge

* mostly fixing blocks

* fix sim

* fix field motors

* enable a few features

* moving to tsx

* try to fix edtiro compilation

* more defs

* removing commands

* removing extra $

* fix blockly warning

* hiding images

* enabling more pxt features

* hide images

* setup autorun

* add lock on target_reset

* update deps

* return trylock result

* updated pxt

* rename video section

* add alpha channel

* upgraded pxt

* bump pxt/version

* removed alpha ref

* var ceanup

* don't do major bump
2019-10-08 21:57:55 -07:00
..
site Fix home screen close icon background color (#687) 2018-06-14 11:55:14 -07:00
blockly-toolbox.less Changes accompanying the new blockly toolbox (#545) 2018-04-30 13:06:24 -04:00
blockly.less Fix music field editor font size (#728) 2018-06-21 14:21:40 -07:00
fieldeditors.less Use a color picker for the color field (color enum picker) (#346) 2018-02-26 13:37:58 -08:00
style.less update to pxt 5 and pxt-common-packages 6 (#934) 2019-10-08 21:57:55 -07:00
target-home.less Applying home screen UI changes (#378) 2018-03-27 16:30:43 -07:00
theme.config Update UI to latest. 2017-10-30 13:21:03 -07:00