Re: [PATCH] Fix for bug #863

[Patrick Lam]

On Sat, 21 Apr 2001, Jeremy Teo wrote:

> 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. )

Should this also be fixed in warpInsPtNextPrevPage, just above?

I don't understand the code you've patched yet so I don't know why your
patch works.  In particular, I don't really know what a FmtMark is.

pat