From 9734ea89fc552787b0ba1689cec9bb6dc3aebbcb Mon Sep 17 00:00:00 2001
From: Vadim <t0638221399@gmail.com>
Date: Tue, 24 Nov 2015 02:37:36 +0200
Subject: [PATCH] don't hide gtkmm interfaces! (gtkmm doc)

---
 src/window.cc | 2 +-
 src/window.h  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/window.cc b/src/window.cc
index b157296..c53443c 100644
--- a/src/window.cc
+++ b/src/window.cc
@@ -683,7 +683,7 @@ bool Window::on_delete_event (GdkEventAny *event) {
   return true;
 }
 
-void Window::hide() {
+void Window::on_hide() {
   auto size=notebook.size();
   for(int c=0;c<size;c++) {
     if(!notebook.close_current_page())
diff --git a/src/window.h b/src/window.h
index 957b44d..2e76163 100644
--- a/src/window.h
+++ b/src/window.h
@@ -29,7 +29,7 @@ private:
   void configure();
   void set_menu_actions();
   void activate_menu_items(bool activate=true);
-  void hide();
+  void on_hide() override;
   void search_and_replace_entry();
   void set_tab_entry();
   void goto_line_entry();