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.list

However, 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).

Reply via email to