X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2Fqt4%2FGuiFontMetrics.cpp;h=76ebd907064e088a442cdd03fb2097196c1a2f8e;hb=425d092204118ea6c24c28e85fdf03fcf2bb51a4;hp=01c8ce7738df4fe2c63dad5ae2ce2993e20aaf2d;hpb=bced5446741879336e922c5a20b77035d1ce9581;p=lyx.git diff --git a/src/frontends/qt4/GuiFontMetrics.cpp b/src/frontends/qt4/GuiFontMetrics.cpp index 01c8ce7738..76ebd90706 100644 --- a/src/frontends/qt4/GuiFontMetrics.cpp +++ b/src/frontends/qt4/GuiFontMetrics.cpp @@ -20,7 +20,7 @@ #include "insets/Inset.h" -#include +#include "support/lassert.h" using namespace std; @@ -36,7 +36,7 @@ namespace frontend { */ static inline QChar const ucs4_to_qchar(char_type const ucs4) { - BOOST_ASSERT(is_utf16(ucs4)); + LASSERT(is_utf16(ucs4), /**/); return QChar(static_cast(ucs4)); } @@ -79,7 +79,7 @@ int GuiFontMetrics::lbearing(char_type c) const if (!is_utf16(c)) // FIXME: QFontMetrics::leftBearingdoes not support the // full unicode range. Once it does, we could use: - //return metrics_.leftBearing(toqstr(docstring(1,c))); + //return metrics_.leftBearing(toqstr(docstring(1, c))); return 0; return metrics_.leftBearing(ucs4_to_qchar(c)); @@ -104,7 +104,7 @@ int GuiFontMetrics::rbearing(char_type c) const } else { // FIXME: QFontMetrics::leftBearing does not support the // full unicode range. Once it does, we could use: - // metrics_.rightBearing(toqstr(docstring(1,c))); + // metrics_.rightBearing(toqstr(docstring(1, c))); value = width(c); } @@ -125,7 +125,7 @@ int GuiFontMetrics::smallcapsWidth(char_type c) const else return metrics_.width(qc); } else { - QString const s = toqstr(docstring(1,c)); + QString const s = toqstr(docstring(1, c)); QString const us = s.toUpper(); if (s != us) return smallcaps_metrics_.width(us); @@ -216,7 +216,7 @@ GuiFontMetrics::AscendDescend const GuiFontMetrics::fillMetricsCache( if (is_utf16(c)) r = metrics_.boundingRect(ucs4_to_qchar(c)); else - r = metrics_.boundingRect(toqstr(docstring(1,c))); + r = metrics_.boundingRect(toqstr(docstring(1, c))); AscendDescend ad = { -r.top(), r.bottom() + 1}; // We could as well compute the width but this is not really