From 3373b9bfe276352458df314ee9554b72ddd108ef Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Thu, 14 Feb 2019 14:48:04 +0100
Subject: [PATCH] tooltip

---
 src/qtgui/uiprefs.ui | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/qtgui/uiprefs.ui b/src/qtgui/uiprefs.ui
index 847f2270..3ceb2421 100644
--- a/src/qtgui/uiprefs.ui
+++ b/src/qtgui/uiprefs.ui
@@ -45,6 +45,9 @@
              </item>
              <item>
               <widget class="QLineEdit" name="qtermStyleLE">
+               <property name="toolTip">
+                <string>Query terms highlighting in results. &lt;br&gt;Maybe try something like "color:red;background:yellow" for something more lively than the default blue...</string>
+               </property>
                <property name="minimumSize">
                 <size>
                  <width>50</width>