Keep the source editor fully responsive at all times
Editing the source of a document can often make the entire IDE unresponsive, if it triggers a computationally
expensive recompilation. It is of course reasonable that the live preview should hang while this is happening.
But the source code editor should remain responsive; computation should be happening in another thread.
If the user then wants to see the current version of the live preview, then they just have to stop typing for
long enough for the live preview to catch up. Note that this would solve the issue with TikZ figures taking
too long to compile, as mentioned above. There is a workaround currently implemented allowing users to edit
source files with another text editor, but this is very clunky and often leads to crashes.