[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: delete-selection-mode as default
From: |
Drew Adams |
Subject: |
RE: delete-selection-mode as default |
Date: |
Sun, 16 Sep 2018 17:36:39 -0700 (PDT) |
> 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.
Shift selection and `interactive' `^' have nothing
whatsoever to do with `delete-selection-mode'.
D-s-m does not care how the text was selected.
And it works fine together with Shift selection.
It's not clear what you mean by making d-s-m
"more like shift-select-mode". But in any case I
disagree with such an incompatible change for d-s-m.
If you want something different from d-s-m (e.g.
"more like shift-select-mode) then please come up
with a new mode for that.
Please don't change the longstanding, simple, and
elegant d-s-m design, which includes the ability to
define the d-s-m behavior for a particular command
by putting a property on the command symbol.
This thread should really be about whether d-s-m
should be turned on by default. If you want something
different from d-s-m then, by all means, please
implement it - but using a new mode name.
- Re: delete-selection-mode as default, (continued)
- 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, 2018/09/16
- RE: delete-selection-mode as default,
Drew Adams <=
- 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
- Re: delete-selection-mode as default, hw, 2018/09/10