From 7db99672e6838535d837096ab2344e7ecedb47e3 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sun, 4 Nov 2018 13:53:36 -1000
Subject: [PATCH] Avoid extra space in tooltips

When using QTextDocument to check the natutal size of a text, one has
to remove the text margin, which is not useful here.

Fixes bug #11353.
---
 src/frontends/qt4/qt_helpers.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/qt4/qt_helpers.cpp b/src/frontends/qt4/qt_helpers.cpp
index bc15bc7d01..0311b8b25f 100644
--- a/src/frontends/qt4/qt_helpers.cpp
+++ b/src/frontends/qt4/qt_helpers.cpp
@@ -645,6 +645,7 @@ QString formatToolTip(QString text, int em)
 	QTextDocument td("");
 	td.setHtml(text);
 	td.setDefaultFont(QToolTip::font());
+	td.setDocumentMargin(0);
 	td.setTextWidth(px_width);
 	double best_width = td.idealWidth();
 	// Set the line wrapping with appropriate width