v0.18.1

bendera released this 08 May 12:35

· 310 commits to master since this release

2900455

A small cosmetic change: the border is removed from the monospace editor to make it look more like an editor widget (ex.: in Interactive Playground).

Assets 3