Dov Feldstern wrote:
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...
I guess I see some sense in it: when we're not at the end of the line,
the font is already set to the font at the current position. At the end
of the line, however, there is no font at the current position, so we
match the font at the last position. Well, okay...
