[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: delete-selection-mode as default
From: |
Robert Pluim |
Subject: |
Re: delete-selection-mode as default |
Date: |
Fri, 07 Sep 2018 19:08:02 +0200 |
Drew Adams <address@hidden> writes:
>> I wasn't picking a side, nor do I think we should pick one for anyone
>> else.
>
> It's about the choice of a _default_ behavior. Currently one particular
> choice was made. It's possible to choose a different one instead. In
> any case the choice of the default behavior picks the behavior for
> everyone - but only the default behavior.
Right. I meant that I donʼt think we should change the default
behaviour, but I won't scream if we do since I can always put it back.
- Re: delete-selection-mode as default (WAS: Some developement questions), Noam Postavsky, 2018/09/06
- RE: delete-selection-mode as default (WAS: Some developement questions), Drew Adams, 2018/09/06
- 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 <=
- 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, 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