cloudius-systems/osv-gui — pull request #140 by dzautner (2014-10-15 09:54:39+00:00)
Title: added pause play features to tracepoints graph

Fixes #138