On Wednesday, 11 May 2016 at 12:55:13 UTC, Chris wrote:
Is there a way I can add my own themes? I've created a theme file and added it to views/resources.listHowever, it doesn't show up. "Default" and "Dark" seem to be hardwired somewhere in the source code.
Indeed they are, just grep for "ide_theme_dark" and you'll find those two places (settings.d, idesettings.d).