Better. Remaining issues with the toolbar: • Actually persisting settings across restart. • Still not responsive. But I have a plan for this. • Every color I use in the editor needs more sliders to customize 😬 Right now there are 3 other colors: comments, scrollbars and those borders around the editor. Maybe I need a dropdown 😬 Or just punt.