Zim

Comment 3 for bug 691273

Revision history for this message
Jaap Karssenberg (jaap.karssenberg) wrote :

Found this depends on the position of the cursor, if the cursor is on the word that should be replaced (or similar) it will keep the formatting, else it will loose it.

Not sure if this is something I can fix since the actions for spell checking are handled completely inside the gtkspell library, so there is no entry point were I can add a check for this.