[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: delete-selection-mode as default
From: |
Eli Zaretskii |
Subject: |
Re: delete-selection-mode as default |
Date: |
Fri, 14 Sep 2018 21:49:48 +0300 |
> Date: Fri, 14 Sep 2018 08:23:31 -0700 (PDT)
> From: Drew Adams <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden, address@hidden,
> address@hidden, address@hidden, address@hidden
>
> Users can trivially control which of the 5 behaviors to use for
> a given command, just by putting a property on the command
> symbol.
Putting properties on symbols to change the behavior of a command is
not user-level customization. IOW, we are miscommunicating.
> There's no difficulty "reconciling" d-s-m with the "other
> uses" of the region that you cite. None whatsoever.
> You've shown none, AFAICT. No trick is needed. It just
> works.
This whole thread makes it acutely clear that there is a problem.
And your message actually agrees with me towards the end.
- Re: delete-selection-mode as default, (continued)
- Re: delete-selection-mode as default, Alan Mackenzie, 2018/09/13
- Re: delete-selection-mode as default, hw, 2018/09/13
- Re: delete-selection-mode as default, Alan Mackenzie, 2018/09/14
- Re: delete-selection-mode as default, Yuri Khan, 2018/09/14
- Re: delete-selection-mode as default, Alan Mackenzie, 2018/09/14
- Re: delete-selection-mode as default, Yuri Khan, 2018/09/14
- Re: delete-selection-mode as default, Phil Sainty, 2018/09/14
- Re: delete-selection-mode as default, Phil Sainty, 2018/09/14
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/14
- RE: delete-selection-mode as default, Drew Adams, 2018/09/14
- Re: delete-selection-mode as default,
Eli Zaretskii <=
- RE: delete-selection-mode as default, Drew Adams, 2018/09/14
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/15
- Re: delete-selection-mode as default, Alan Mackenzie, 2018/09/15
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/15
- Re: delete-selection-mode as default, Ergus, 2018/09/15
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/15
- Re: delete-selection-mode as default, Ergus, 2018/09/15
- Re: delete-selection-mode as default, Eli Zaretskii, 2018/09/16
- Re: delete-selection-mode as default, Alan Mackenzie, 2018/09/16
- Message not available
- Re: delete-selection-mode as default, Alan Mackenzie, 2018/09/16