Jean-Marc Lasgouttes 7db99672e6 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.
2018-11-04 14:02:42 -10:00
..
2018-11-04 14:02:42 -10:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-07-19 22:16:40 +02:00
2017-10-25 12:16:16 +02:00