From: Soeren Apel <soeren@apelpie.net>
Date: Thu, 1 Jun 2017 19:16:27 +0000 (+0200)
Subject: Remove Header::BaselineOffset and move arrows as needed instead
X-Git-Url: http://git.code-monkey.de/?a=commitdiff_plain;h=c1a6513b912e90ebcca2dba4453aa03fbddcfb58;hp=c1a6513b912e90ebcca2dba4453aa03fbddcfb58;p=pulseview.git

Remove Header::BaselineOffset and move arrows as needed instead

The baseline offset was used to keep 5px of distance between
the tip of the arrow and the scroll area. This way, the shadow
that is drawn around the arrow when it's selected won't get
cropped.
However, we can do this differently: instead of always keeping
the empty space around, we make the arrows align at the edge
of the widget space as they should and when they're selected,
we push them aside to the left so the shadow can still be
painted without cropping.

Logically, one would assume that the arrow's label also should
be moving left but I decided against it because this way it
looks as if the arrow didn't actually move, keeping all arrow
labels lined up.
---