We were letting the bottom panel overlap the whole TextView,
one thing is that at least the minimal size of the view should
always be visible and the other issue to change this is that
there is a bug in gtk+ that makes the textview overlap the paned
when the paned reaches the minimum size of the view.