From: Soeren Apel Date: Sun, 16 Jul 2017 17:14:16 +0000 (+0200) Subject: Introduce "default div height" setting X-Git-Url: http://git.code-monkey.de/?a=commitdiff_plain;h=daa54986010a11879da11e30aafd3a2739ab7a15;hp=daa54986010a11879da11e30aafd3a2739ab7a15;p=pulseview.git Introduce "default div height" setting ---