tree aa2c193a531665913070cb54ae76193178c184e0
parent f17b47543969005692dfd543520798bacd8754f5
author Fabio Zadrozny <fabiofz@gmail.com> 1459708659 -0300
committer Dani Megert <Daniel_Megert@ch.ibm.com> 1461586269 -0500

Bug 490951 - Overview ruler inverted when using themed scroll.

Makes the HeaderPainter invisible if there are no scroll bars.
Fixes the computation of positions in the overview ruler.

Change-Id: I5900ac1bf9e03069a23c971c1bf82f46ed3650f0
Signed-off-by: Fabio Zadrozny <fabiofz@gmail.com>