Theme creation tool in-editor
StoneCypher opened this issue · comments
John Haugeland commented
- Make that palette button just drop all the color properties
- Make choosing colors nicer
- Make a button that'll open a new file on Github, so they get credit
- Figure out what low-friction to do for people who don't have Github accounts (email?)
- Fonts
- Background images
- Whether-feature-enabled (eg key)
Notation is approximately https://github.com/Pithikos/C-Thread-Pool/new/master/tests?filename=newfile.py&value=PUT%20YOUR%20CODE%20HERE
(citing this)