From 0837f6c8a15005fb307c26f059d8e792cf142ffe Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Sat, 19 Dec 2015 10:38:15 +0100
Subject: [PATCH] Minor bug fix: tooltips and spellcheck dialog no longer gets
 hidden when shown on top of mouse cursor

---
 src/source.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/source.cc b/src/source.cc
index 1afe104..42064c8 100644
--- a/src/source.cc
+++ b/src/source.cc
@@ -468,8 +468,6 @@ void Source::View::set_tooltip_and_dialog_events() {
   
   signal_leave_notify_event().connect([this](GdkEventCrossing*) {
     delayed_tooltips_connection.disconnect();
-    type_tooltips.hide();
-    diagnostic_tooltips.hide();
     delayed_spellcheck_suggestions_connection.disconnect();
     return false;
   });