Stefan Schimanski wrote:

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.

And another question: need we really redoParagraph() on every single backspace? It looks like we only have the problem when we reach the beginning of the line. Wouldn't it be cheaper to test for that, first?


José: what do you think?

Stefan

Reply via email to