Subject: Re: [PATCH] Fix for bug #863
From: Patrick Lam (plam@plam.lcs.mit.edu)
Date: Fri Apr 20 2001 - 17:12:00 CDT
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
This archive was generated by hypermail 2b25 : Fri Apr 20 2001 - 17:15:10 CDT