The cache per display doesn't seem to be robust enough. However, the caching is still needed as it saved quite a bunch of boot time. If someone is wanting to work on that, he's more than welcome to do so, I'm afraid I have unfortunatly no time to work on it.
The cache per display doesn't seem to be robust enough. However, the caching is still needed as it saved quite a bunch of boot time. If someone is wanting to work on that, he's more than welcome to do so, I'm afraid I have unfortunatly no time to work on it.