A GtkNotebook that shows or hides itself when the same page tab is clicked.
It assumes that each page is wrapped in a GtkBox. The reason is that Gtk automatically hides the tab widget too if you hide the main child of a page, so we hide the box's child instead.
Previous paned position before setting it to max/min.
Revealer position before hiding.