Am 31.05.2007 um 22:27 schrieb Stefan Schimanski:

The patch:

Index: src/Text.cpp
===================================================================
--- src/Text.cpp        (Revision 18599)
+++ src/Text.cpp        (Arbeitskopie)
@@ -1330,8 +1331,10 @@
                checkBufferStructure(cur.buffer(), cur);
        }
-       if (cur.pos() == cur.lastpos())
+       if (cur.pos() == cur.lastpos()) {
+               cur.bv().textMetrics(this).redoParagraph(cur.pit());
                setCurrentFont(cur);
+       }
        needsUpdate |= handleBibitems(cur);

The question though is why the cursor must be updated at that position in the code.

Ok, makes sense. The character then entered should be with the font of the character at that position.

José: what do you think?

Stefan

Attachment: PGP.sig
Description: Signierter Teil der Nachricht

Reply via email to