-
Kai Willadsen authored
Unfortunately, this means that we're going to be using a sourceview theme for directory highlighting as well, which... doesn't feel like it makes a whole lot of sense. However, since we need both themes to be coordinated, I can't see a sane way around this.
e3e8cb38