> Maybe even per-editor instance preferences. Inherit the global as a default but allow changing at need. Need a UI to make it useful. Actually we really need some big improvements to the prefs/settings/style/font/colour stuff for editors anyway.

UserInterfaceTheme in the image does that.  We did it in summer of
2016, the color themes work pretty well ever since.