[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: delete-selection-mode as default
From: |
Juri Linkov |
Subject: |
Re: delete-selection-mode as default |
Date: |
Mon, 17 Sep 2018 02:34:52 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (x86_64-pc-linux-gnu) |
> But before that I'd appreciate if we could improve its implementation so
> it doesn't rely on pre-command-hook.
Reimplementing delete-selection-mode to be more like shift-select-mode
will also require to get rid of putting 'delete-selection props on
command symbols, and like shift-translated commands have a `^' character
in the `interactive' spec, delete-selection-mode might require a separate
character. Hopefully, these types of commands are mutual exclusive,
so their disjoint sets won't cause conflicting interactive specs.
- Re: delete-selection-mode as default, (continued)
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/07
- Re: delete-selection-mode as default, Robert Pluim, 2018/09/07
- RE: delete-selection-mode as default, Drew Adams, 2018/09/07
- Re: delete-selection-mode as default, Robert Pluim, 2018/09/07
- Re: delete-selection-mode as default, Jostein Kjønigsen, 2018/09/07
- Re: delete-selection-mode as default, Stefan Monnier, 2018/09/07
- Re: delete-selection-mode as default, Juri Linkov, 2018/09/08
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/09
- Re: delete-selection-mode as default, Juri Linkov, 2018/09/09
- RE: delete-selection-mode as default, Drew Adams, 2018/09/09
- Re: delete-selection-mode as default,
Juri Linkov <=
- RE: delete-selection-mode as default, Drew Adams, 2018/09/16
- Re: delete-selection-mode as default, Juri Linkov, 2018/09/17
- RE: delete-selection-mode as default, Drew Adams, 2018/09/17
- Re: delete-selection-mode as default, Juri Linkov, 2018/09/17
- RE: delete-selection-mode as default, Drew Adams, 2018/09/17
- Re: delete-selection-mode as default, Jostein Kjønigsen, 2018/09/19
- Re: delete-selection-mode as default, Juri Linkov, 2018/09/19
- Re: delete-selection-mode as default, hw, 2018/09/07
- RE: delete-selection-mode as default, Drew Adams, 2018/09/07
- Re: delete-selection-mode as default, Clément Pit-Claudel, 2018/09/08