Work in progress related to #130

src/source.cc

@@ -451,6 +451,13 @@ void Source::View::set_tooltip_events() {
     diagnostic_tooltips.hide();
     return false;
   });
+  
+  signal_leave_notify_event().connect([this](GdkEventCrossing*) {
+    delayed_tooltips_connection.disconnect();
+    type_tooltips.hide();
+    diagnostic_tooltips.hide();
+    return false;
+  });
 }
 
 void Source::View::search_occurrences_updated(GtkWidget* widget, GParamSpec* property, gpointer data) {

src/window.cc

@@ -25,7 +25,7 @@ namespace sigc {
 Window::Window() : compiling(false) {
   JDEBUG("start");
   set_title("juCi++");
-  set_events(Gdk::POINTER_MOTION_MASK|Gdk::FOCUS_CHANGE_MASK|Gdk::SCROLL_MASK);
+  set_events(Gdk::POINTER_MOTION_MASK|Gdk::FOCUS_CHANGE_MASK|Gdk::SCROLL_MASK|Gdk::LEAVE_NOTIFY_MASK);
   set_menu_actions();
   configure();
   set_default_size(Config::get().window.default_size.first, Config::get().window.default_size.second);