Re: [Patch] Re: Scroll wheel etc. with this doc

[John Levon]

On Tue, Sep 27, 2005 at 03:08:43PM +0200, Juergen Spitzmueller wrote:

> > Surely it's a bug that we extend past the right border?
> 
> We don't. That's what I just fixed.

Ah, sorry

john