From bb43014230888b0703ee8b786d9adb9097ed7cd3 Mon Sep 17 00:00:00 2001
From: zadam <zadam.apps@gmail.com>
Date: Wed, 29 May 2019 20:27:48 +0200
Subject: [PATCH] hide search help tooltip on executed search

---
 src/public/javascripts/services/search_notes.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/public/javascripts/services/search_notes.js b/src/public/javascripts/services/search_notes.js
index a9817a9c4..e37df3818 100644
--- a/src/public/javascripts/services/search_notes.js
+++ b/src/public/javascripts/services/search_notes.js
@@ -80,6 +80,8 @@ async function doSearch(searchText) {
         return;
     }
 
+    $searchBox.tooltip("hide");
+
     const response = await server.get('search/' + encodeURIComponent(searchText));
 
     if (!response.success) {