In principle the change in select_page could also be made globally, i.e. to PageTreeView.select_page.
« Back to merge proposal
In principle the change in select_page could also be made globally, i.e. to PageTreeView. select_ page.