restore Window::hide

src/window.cc

@@ -682,7 +682,7 @@ bool Window::on_delete_event (GdkEventAny *event) {
   return true;
 }
 
-void Window::on_hide() {
+void Window::hide() {
   auto size=notebook.size();
   for(int c=0;c<size;c++) {
     if(!notebook.close_current_page())

src/window.h

@@ -29,7 +29,7 @@ private:
   void configure();
   void set_menu_actions();
   void activate_menu_items(bool activate=true);
-  void on_hide() override;
+  void hide();
   void search_and_replace_entry();
   void set_tab_entry();
   void goto_line_entry();