The little grab-bar (a bunch of dots on my kde desktop) between the header and body windows is rather hard to see and grab. Would it possible to make it at least three times more prominent somehow? Thank you.