commit 7db99672e6838535d837096ab2344e7ecedb47e3
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date: Sun Nov 4 13:53:36 2018 -1000
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 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/frontends/qt4/qt_helpers.cpp b/src/frontends/qt4/qt_helpers.cpp
index bc15bc7..0311b8b 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
