Martin Vermeer wrote:
When moving the cursor by mouse clicking, the old current_font is remembered and used when inserting. (Didn't we have this same bug a long time ago?)
I've noticed that but hadn't time to investigate yet. Glad you did. It might have been my fault during the 'undo' work, dunno.
The attached fixes it. This part of the code is a jungle, so does anyone remember why this may not be a good idea? Otherwise I'll just commit.
Seems correct.
BTW has anyone else noticed that the character panel (text Style -> Customized) doesn't do anything anymore? Setting emph by ctrl-e works fine, but from the panel it does nothing.
I guess nobody touched it after Andre' big GUII overhaul... Abdel.
