GNU bug report logs - #47360
27.1; using 'bar cursor, mouseclick is rounded to the wrong char position

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Julian Rohrhuber <rohrhuber <at> protonmail.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 47360 <at> debbugs.gnu.org
Subject: bug#47360: 27.1; using 'bar cursor, mouseclick is rounded to the wrong char position
Date: Wed, 24 Mar 2021 19:39:29 +0100

Julian Rohrhuber <rohrhuber <at> protonmail.com> writes:

> But when in bar mode, it should jump to the right when the click is
> right of the middle of the character, and only left when to its left
> of the middle.
>
> Instead, it also jumps to the left.

The cursor shape is purely cosmetic at present, I think.  Your
suggestion to add semantics to the bar shape makes some intuitive sense,
but I'm afraid that might leave us open to user interface
inconsistencies unless considered carefully.

Are there other instances we might want to do something based on the
cursor shape other than setting point with the mouse, I wonder?  Would
"marking an area to the left" (i.e., clicking on a character and then
dragging to the left) be handled differently?  In that case, dragging
starting with the mouse at any point right of the bar cursor should
perhaps include the character under point, and not just at the half-way
point?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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