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 yet another question: Why do we set the font only ay the end of the
line? Every else we don't do that... I don't see the logic in that...
José: what do you think?
Stefan
