commit 633ad2032e36c87e571a6a8967cc2018dd66f333
Author: Enrico Forestieri <[email protected]>
Date: Fri Jan 20 20:30:06 2017 +0100
Add clarifying comment
---
po/sv.gmo | Bin 468962 -> 476868 bytes
po/uk.gmo | Bin 606923 -> 608290 bytes
src/frontends/qt4/GuiFontMetrics.cpp | 3 ++-
3 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/po/sv.gmo b/po/sv.gmo
index c19b2b9..299f6fe 100644
Binary files a/po/sv.gmo and b/po/sv.gmo differ
diff --git a/po/uk.gmo b/po/uk.gmo
index 7639bcc..a331875 100644
Binary files a/po/uk.gmo and b/po/uk.gmo differ
diff --git a/src/frontends/qt4/GuiFontMetrics.cpp
b/src/frontends/qt4/GuiFontMetrics.cpp
index 2f598f4..2ab182e 100644
--- a/src/frontends/qt4/GuiFontMetrics.cpp
+++ b/src/frontends/qt4/GuiFontMetrics.cpp
@@ -186,7 +186,8 @@ int GuiFontMetrics::width(docstring const & s) const
#endif
/* For some reason QMetrics::width returns a wrong value with Qt5
* with some arabic text. OTOH, QTextLayout is broken for single
- * characters with null width (like \not in mathed).
+ * characters with null width (like \not in mathed). Also, as a
+ * safety measure, always use QMetrics::width with our math fonts.
*/
int w = 0;
if (s.length() == 1