[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Disabling mouse input
From: |
Daniel Radetsky |
Subject: |
Re: Disabling mouse input |
Date: |
Sun, 3 Nov 2024 00:54:54 -0700 |
On Sat, Nov 02, 2024 at 09:56:31PM GMT, Stefan Monnier wrote:
> For that reason, I'm in favor of adding generic support but not
> ad-hoc support.
Very sensible. FWIW, I provided low-genericity solution at
first just because I didn't want to invest a bunch of work
before I talked it over with y'all. I figured once (or if)
we established that the basic premise was sound (e.g. that I
had hooked the event check in at the right place) we could
talk about making it more complicated (like exposing the
to-filter event list to the user). As we seem to have
established the opposite, I'm glad I didn't.
> > I agree with your concern and your suggestion looks intriguing so I'm
> > going to test it.
>
> I'm curious to know how it works for your use case. If you encounter
> problems, do report them so we can see if maybe there's a way to provide
> solutions for them.
I created https://github.com/dradetsky/ignore-mouse. It
works in the sense of doing what I wanted. However, per
Eli's suggestion, the downsides of the approach are likely
to be subtle, and when they are problematic, difficult to
trace back to this package. But we'll see how it goes. If my
emacs explodes and kills the neighbor's dog, I won't mention
your name.
--dmr
- Re: Disabling mouse input, (continued)
- Re: Disabling mouse input, tomas, 2024/11/03
- Re: Disabling mouse input, Eli Zaretskii, 2024/11/02
- Re: Disabling mouse input, Stefan Monnier, 2024/11/02
- Re: Disabling mouse input, Eli Zaretskii, 2024/11/02
- Re: Disabling mouse input, Stefan Monnier, 2024/11/02
- Re: Disabling mouse input, Eli Zaretskii, 2024/11/02
- Re: Disabling mouse input, Stefan Monnier, 2024/11/02
- Re: Disabling mouse input, Eli Zaretskii, 2024/11/02
- Re: Disabling mouse input, Daniel Radetsky, 2024/11/02
- Re: Disabling mouse input, Stefan Monnier, 2024/11/02
- Re: Disabling mouse input,
Daniel Radetsky <=
- Re: Disabling mouse input, James Cherti, 2024/11/03
Re: Disabling mouse input, Po Lu, 2024/11/04
Re: Disabling mouse input, James Cherti, 2024/11/02