From: Soeren Apel <soeren@apelpie.net>
Date: Tue, 5 Jun 2018 21:11:03 +0000 (+0200)
Subject: Fix #770 by adding a vertical hover line and a setting for it
X-Git-Url: http://git.code-monkey.de/?a=commitdiff_plain;h=1931b5f932cf068d073bc798f11dd21ede5389a2;hp=1931b5f932cf068d073bc798f11dd21ede5389a2;p=pulseview.git

Fix #770 by adding a vertical hover line and a setting for it
---