Fix for #863: Font Size reverts back to normal if u move cursor away. Appreciate feedback, and pointers. (imho, kinda ugly. but it *seems to work*. Now, i need to sleep. )
- Re: [PATCH] Fix for bug #863 Jeremy Teo
- Re: [PATCH] Fix for bug #863 Patrick Lam
- Re: [PATCH] Fix for bug #863 Jeremy Teo
- Re: [PATCH] Fix for bug #863 Jesper Skov
- Re: [PATCH] Fix for bug #863 Jesper Skov
- FmtMarks (was Re: [PATCH] Fix for bug #863) Paul Rohr
FontRevert.diff