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