-
Adam Barth authored
In the dark theme, there isn't really a primary swatch, so this API was a sandtrap. Instead, be explicit about the colors we need for various widgets in the theme. Fixes #1277
2c2fa238
In the dark theme, there isn't really a primary swatch, so this API was a sandtrap. Instead, be explicit about the colors we need for various widgets in the theme. Fixes #1277