UI Tweaks: Splitter pushbuttons problem

.. attempt to resolve issues on Linux Mint reported
by Tom Weichmann.