Customizing the Mini Micro code editor
With the recent release of Mini Micro v1.2, you can now customize the colors used in the built-in...
Tags: miniscript, minimicro, programming, themes