|Subject:||Re: suggested new command `picture-mouse-set-point'|
|Date:||Tue, 05 Nov 2002 00:13:11 -0500|
> OK, here's the (still uncommited) "definitive" patch. Er, *this* one I mean. Little change, but I prefer not to mess with the filename passed to `get-file-buffer'. This version looks good. Please install it.
|[Prev in Thread]||Current Thread||[Next in Thread]|