[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] fixed: calculation of mouse click position in get_mouseinput
|
From: |
Benno Schulenberg |
|
Subject: |
Re: [PATCH] fixed: calculation of mouse click position in get_mouseinput() |
|
Date: |
Tue, 22 Dec 2020 14:05:25 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
Op 22-12-2020 om 05:01 schreef ObeliX:
> version A patch only applies the correct margin shift for the mouse
> coordinates.
>
> version B patch is my (if-style correct) original patch, that also
> unifies the position reporting for the status bar between mouse click
> and mouse wheel events.
Ehm... the other way around: the B patch is the same as your earlier one,
just with whitespace corrections. And patch A does something extra with
a button.
Neither of them is what I asked for: to make only the changes that are
/necessary/ to fix the bug, and leave out any refactoring.
Something like the attached patch. It fixes the issue both for the
shortcuts and for the prompt bar. Or am I overlooking something?
Benno
0001-mouse-do-not-offset-the-shortcuts-by-margin-when-usi.patch
Description: Text Data
signature.asc
Description: OpenPGP digital signature