Merged with bbcmicro/PythonEditor and UI Tweaks#25

Merged

WilliamMayor merged 63 commits intoCodeGuild-co:masterfrom

truejasonliu:master

Apr 10, 2019

Commits on Jan 30, 2019

Replace firmware with version from microbit.co.uk

jaustin
authored and
microbit-sam
committed
Foundation config for deployment

jaustin
authored and
microbit-sam
committed
Update script box styling

microbit-matt-smith
authored and
microbit-sam
committed
Remove arbitrary height on script name box at small widths

microbit-matt-smith
authored and
microbit-sam
committed
Fix positioning / wrapping of script name box

microbit-matt-smith
authored and
microbit-sam
committed
Fix annoying 1px button background gap on first button

microbit-matt-smith
authored and
microbit-sam
committed
Add right padding to script name box

microbit-matt-smith
authored and
microbit-sam
committed
Move show script to bin directory

microbit-matt-smith
authored and
microbit-sam
committed
Revert "Initial export script"

microbit-matt-smith
authored and
microbit-sam
committed
Add VERSION

microbit-matt-smith
authored and
microbit-sam
committed
non micro:bit related changes
microbit-sam
committed

Commits on Jan 31, 2019

Commits on Feb 1, 2019

Commits on Feb 8, 2019

Add OS generated files to gitignore.
microbit-carlos
committed

Commits on Feb 19, 2019

help: Add feature flags and update wording (#92)

microbit-mark
authored and
microbit-carlos
committed

Commits on Feb 26, 2019

Minor refactor to decouple hex generation from button actions (#94)
microbit-carlos
authored

Commits on Feb 27, 2019

Commits on Mar 6, 2019

Commits on Mar 11, 2019

Commits on Mar 12, 2019

python-main: Make the EDITOR instance available globally. (#125)
microbit-carlos
authored

Commits on Mar 14, 2019

Bump version to 1.2.3 and update changelog.
microbit-carlos
committed