[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: delete-selection-mode as default
From: |
Stefan Monnier |
Subject: |
Re: delete-selection-mode as default |
Date: |
Fri, 07 Sep 2018 10:22:55 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
FWIW, while I personally don't use delete-selection-mode, I wouldn't
object to enabling it by default (I'd probably disable it in my .emacs,
but I'd first try to keep it enabled to see if I can change my habits).
But before that I'd appreciate if we could improve its implementation so
it doesn't rely on pre-command-hook.
Stefan
Eli Zaretskii <address@hidden> writes:
>> From: Robert Pluim <address@hidden>
>> Date: Fri, 07 Sep 2018 15:28:31 +0200
>> Cc: address@hidden
>>
>> > I prefer to think of it as a very convenient feature. For example, as
>> > I typed this email, I first wrote "as I composed" instead of "as I
>> > typed", pressed Control+Shift+Left Arrow, and pressed "typed".
>> > Similarly, I had first written "I call it" instead of "I prefer to
>> > think of it", and the way I changed one into the other was to select
>> > "call it" and type "prefer to think of it as".
>>
>> Neither of those require 'replace selected' behaviour, since you could
>> easily use M-DEL instead.
>
> In Emacs, yes. Let's not assume everybody here uses only Emacs for
> each and every editing job.
>
> So I'm with Clément on this one.
- Re: delete-selection-mode as default (WAS: Some developement questions), (continued)
- Re: delete-selection-mode as default (WAS: Some developement questions), Eli Zaretskii, 2018/09/07
- Re: delete-selection-mode as default, hw, 2018/09/07
- Re: delete-selection-mode as default, Clément Pit-Claudel, 2018/09/07
- Re: delete-selection-mode as default, Robert Pluim, 2018/09/07
- Re: delete-selection-mode as default, Dmitry Gutov, 2018/09/07
- 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 <=
- 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, 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