Comment 150 for bug 1084

(In reply to comment #73)
> ...This is important because the header pane almost vanishes
> entirely when I use the +/- widget to display abbreviated headers.

Aha! I just realized that this problem occurs because the horizontal scrollbar
covers up most of the header pane. Therefore you would only see this problem if
you have a header long enough to trigger a horiz scrollbar, which is uncommon.

If this one problem could be solved then I agree that this would be the perfect
solution for this bug. Thanks!