From 99dd906cc2527b6322d6b17d6945315018229725 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Mon, 14 May 2018 14:37:15 +0200
Subject: [PATCH] Do not show tooltips after style format

---
 src/source.cc                   | 1 +
 src/source_language_protocol.cc | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/source.cc b/src/source.cc
index b196a93..53203a1 100644
--- a/src/source.cc
+++ b/src/source.cc
@@ -665,6 +665,7 @@ void Source::View::setup_format_style(bool is_generic_view) {
         if(update_status_diagnostics)
           update_status_diagnostics(this);
       }
+      hide_tooltips();
     };
   }
   else if(is_bracket_language) {
diff --git a/src/source_language_protocol.cc b/src/source_language_protocol.cc
index 9c32dcd..219f038 100644
--- a/src/source_language_protocol.cc
+++ b/src/source_language_protocol.cc
@@ -529,6 +529,7 @@ void Source::LanguageProtocolView::setup_navigation_and_refactoring() {
         }
         get_buffer()->end_user_action();
       }
+      hide_tooltips();
     };
   }