[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Additional cleanup around xterm-mouse
From: |
Stefan Monnier |
Subject: |
Re: Additional cleanup around xterm-mouse |
Date: |
Sat, 19 Dec 2020 17:50:15 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Let's see what Stefan suggests here. Stefan?
I'm afraid I don't have much time to think about this.
My suggestion is to add an option to `read-key` which makes it ignore
`function-key-map` and all other hardcoded remappings that are only
applied when a key sequence is not bound (i.e. those remappings which
could/should conceptually be applied by `function-key-map` but aren't
for various historical/technical reasons, such as dropping `down` events,
demoting `drag` events, downcasing letters, ...).
At the level of `read-key-sequence` this should use the
`dont-downcase-last` argument (since `read-key` only reads one event,
it's OK if `read-key-sequence` only applies it to the last event).
Stefan
- Re: Additional cleanup around xterm-mouse, (continued)
- Re: Additional cleanup around xterm-mouse, Eli Zaretskii, 2020/12/01
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/02
- Re: Additional cleanup around xterm-mouse, Stefan Monnier, 2020/12/02
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/03
- Re: Additional cleanup around xterm-mouse, Stefan Monnier, 2020/12/03
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/03
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/13
- Re: Additional cleanup around xterm-mouse, Eli Zaretskii, 2020/12/14
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/16
- Re: Additional cleanup around xterm-mouse, Eli Zaretskii, 2020/12/19
- Re: Additional cleanup around xterm-mouse,
Stefan Monnier <=
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/20
- Re: Additional cleanup around xterm-mouse, Stefan Monnier, 2020/12/20
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/20
- Re: Additional cleanup around xterm-mouse, Eli Zaretskii, 2020/12/23
- Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/23
- Re: Additional cleanup around xterm-mouse, Eli Zaretskii, 2020/12/24
Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/13
Re: Additional cleanup around xterm-mouse, Jared Finder, 2020/12/26