Perhaps I'm just not finding the button, but is there a way to run the code? 35 different color themes for the editor is really nice. I got to try a bunch that

Perhaps I'm just not finding the button, but is there a way to run the code? 35 different color themes for the editor is really nice. I got to try a bunch that would be too cumbersome to install in my working environment. Font size could probably use a slider vs having to click +/- 1 digit at a time. For example, if presenting, I'd want to scale up and down quickly without having to make 20 mouse clicks.