use a dedicated render thread to keep the UI responsive

For big box models or low memory, the garbage collector might kick in
while doing the layout. To keep the UI responsive, we use a dedicated
render thread in conjunction with the double buffering.

Signed-off-by: Florian Thienel <florian@thienel.org>
1 file changed