From: Peter Lohrmann Date: Wed, 19 Mar 2014 18:48:34 +0000 (-0700) Subject: Merge pull request #27 from PeterLValve/master X-Git-Url: https://git.notmuchmail.org/git?p=vogl;a=commitdiff_plain;h=0182af18d34ccd6cd468afae9e0e478d377bf8fa Merge pull request #27 from PeterLValve/master UI: Fix issue #21: Resizing of vogleditor window is slow depending on trace size --- 0182af18d34ccd6cd468afae9e0e478d377bf8fa