header scroll extension 0.3.2

door Jürgen Ernst

Adds a scrollbar to the extended all header view so that it doesn't take all the space when viewing all headers. This is a workaround for bug #223132...