GNU bug report logs - #5557
<left-margin> <double-wheel-down> is undefined

Previous Next

Full log

Message #46 received at 5557 <at> debbugs.gnu.org (full text, mbox):

From: martin rudalics <rudalics <at> gmx.at>
To: Lars Ingebrigtsen <larsi <at> gnus.org>, Eli Zaretskii <eliz <at> gnu.org>
Cc: 5557 <at> debbugs.gnu.org, lennart.borgman <at> gmail.com
Subject: Re: bug#5557: <left-margin> <double-wheel-down> is undefined
Date: Thu, 3 Oct 2019 20:11:08 +0200

> That's true.  Hm...  perhaps the user has really big margins?  That
> would make the issue more apparent there -- and it's difficult to say
> what else the scroll wheel should do there other than work the same as
> in the main portion of the buffer.

Nowadays practically all applications scroll the window vertically
regardless of where the mouse pointer is - even when it's on the
horizontal scroll bar.  The only exception is the title bar where some
window managers optionally "roll" the window in or out.

martin

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.