]> git.notmuchmail.org Git - vogl/commitdiff
Merge pull request #27 from PeterLValve/master
authorPeter Lohrmann <PeterL@valvesoftware.com>
Wed, 19 Mar 2014 18:48:34 +0000 (11:48 -0700)
committerCarl Worth <cworth@cworth.org>
Tue, 1 Apr 2014 19:37:30 +0000 (12:37 -0700)
UI: Fix issue #21: Resizing of vogleditor window is slow depending on trace size


Trivial merge