cloudius-systems/osv-gui — pull request #104 by dzautner (2014-09-29 13:00:21+00:00)
Title: Fix threads selection

When selecting / unselecting threads the thread graph won't automatically refresh, and instead wait for the next response from the API to redraw.
That caused some glitches when selecting / unelecting threads.

I have added a force refresh to the graph when selecting threads and the issue is now resolved.

Solves #95