mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-24 09:04:48 +00:00
78b157b61e
Previously, when closing font tags, only the previous character's font was used. However, if that character is deleted, it had no change of having the right font tags opened/closed. Hence, look further to compare the font of the current character to output with the font of the previously output character.