#5 Top pane never shrinks

[Paul Brett]

Top pane size is scaled based on the largest it has ever
been, but contents shrink when a filter is added.
Changing filters (or expiring nodes) should allow pane to
shrink.