Fixes #306 (closed) and probably some GUI performance issues too. If it works, at all.
Depends on !206 (merged), because it's too much of a hassle to juggle the Qt prelude imports on my system. 🙃
To use Gitpod you must first enable the feature in the integrations section of your user preferences.