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.