From: Soeren Apel <soeren@apelpie.net>
Date: Sun, 4 Jun 2017 20:11:59 +0000 (+0200)
Subject: View: Optimize header pane sizing
X-Git-Url: http://git.code-monkey.de/?a=commitdiff_plain;h=76750c410e299f9ba9f0f9d1e220713861cc67b6;hp=76750c410e299f9ba9f0f9d1e220713861cc67b6;p=pulseview.git

View: Optimize header pane sizing

Before, the header pane didn't resize to accomodate all signals
when a new session was created and a driver selected (e.g. demo).
To fix this, the header pane autosizing was put in a method of
its own and is now called when new signals are added.

Also, the name of header_fully_visible() needed adjustment
because it also returned true when it *wasn't* 100% visible
due to the margin of error that we permit. It's now called
header_was_shrunk() and its return value logic inverted.
---