Re: shrink-window-if-larger-than-buffer broken in CVS
At 06:44 PM 7/31/00 +0900, Yoshiki Hayashi wrote:
The latter patch is to fix window-pixel-edges. Right now,
left top corner is not (0 0). According to the ChangeLog,
Andy made the change but I don't know why. Andy, could you
review this patch?
Well the patch looks ok. But you may want to check that anything using the
gutter still works ok.
Thanks
andy
--------------------------------------------------------------
Dr Andy Piper
Principal Consultant, BEA Systems Ltd