[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41343: tab-bar-mode: Close tab on mouse-2 click
From: |
Eli Zaretskii |
Subject: |
bug#41343: tab-bar-mode: Close tab on mouse-2 click |
Date: |
Wed, 11 Aug 2021 14:56:26 +0300 |
> From: Juri Linkov <juri@linkov.net>
> Cc: stefankangas@gmail.com, 41343@debbugs.gnu.org
> Date: Wed, 11 Aug 2021 10:01:53 +0300
>
> >> So now I've completely redesigned the event processing on the tab bar.
> >
> > Thanks, this looks much, much better to me.
>
> Could you please help to check if everything is correct
> on the Windows part (unfortunately, I don't have Windows).
> The changes in w32inevt.c and w32term.c just mirror the changes
> in xdisp.c and xterm.c, but I'm sure I might have made a typo.
I will, if you tell me what to try after applying the patch.
> There is the need to apply an additional patch below,
> because the tab symbol is carried by the event in its
> OBJECT slot, but some functions expect that the OBJECT
> slot should contain only (STRING . STRING-POS)
That expectation is according to the documented behavior, so it is
correct. I don't quite understand why you need to break the contract
here. Can you elaborate where do the deviant values come and why they
must have a different value form?
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, (continued)
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Eli Zaretskii, 2021/08/04
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/04
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Eli Zaretskii, 2021/08/05
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/05
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Eli Zaretskii, 2021/08/06
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/06
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Eli Zaretskii, 2021/08/06
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/09
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Eli Zaretskii, 2021/08/10
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/11
- bug#41343: tab-bar-mode: Close tab on mouse-2 click,
Eli Zaretskii <=
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/12
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Eli Zaretskii, 2021/08/12
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/13
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/18
- bug#41343: tab-bar-mode: Close tab on mouse-2 click, Stefan Kangas, 2021/08/24
- bug#41343: [External] : bug#41343: tab-bar-mode: Close tab on mouse-2 click, Drew Adams, 2021/08/06
- bug#41343: [External] : bug#41343: tab-bar-mode: Close tab on mouse-2 click, Juri Linkov, 2021/08/09