[patch] Huge fonts do not set the row height, #3787

[Stefan Schimanski]

Bug: http://bugzilla.lyx.org/show_bug.cgi?id=3787
Problem: Changing the font does not change the fontmetrics variable.
Patch:

Index: src/TextMetrics.cpp
===================================================================
--- src/TextMetrics.cpp (Revision 18720)
+++ src/TextMetrics.cpp (Arbeitskopie)
@@ -664,6 +664,7 @@
                par.highestFontInRange(row.pos(), pos_end, size);
        if (maxsize > font.size()) {
                font.setSize(maxsize);
+               FontMetrics const & fontmetrics = theFontMetrics(font);
                maxasc  = max(maxasc,  fontmetrics.maxAscent());
                maxdesc = max(maxdesc, fontmetrics.maxDescent());
        }

Stefan

PGP.sig
Description: Signierter Teil der Nachricht