[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: delete-selection-mode
From: |
Harald Hanche-Olsen |
Subject: |
Re: delete-selection-mode |
Date: |
Thu, 18 Mar 2010 14:02:40 -0400 (EDT) |
+ Lennart Borgman <address@hidden>:
> On Thu, Mar 18, 2010 at 5:37 PM, Richard Stallman <address@hidden> wrote:
> > Is this true even when the region has been activated by keyboard commands?
> > If so, perhaps it is a bug. Perhaps the feature should only apply when
> > you make the region using the mouse.
>
>
> I think it would be a very bad idea to introduce an invisible state
> this way. (I agree with Klaus here - if I do not misunderstand him.)
One way to solve that might be to use a different face for the region
depending on whether it was mouse selected or keyboard generated.
Maybe using a more scary (reddish?) colour if typing something is
going to delete it.
- Harald
- Re: delete-selection-mode, (continued)
- Re: delete-selection-mode, Harald Hanche-Olsen, 2010/03/17
- Re: delete-selection-mode (was: Put scroll-bar on right by default on UNIX.), Richard Stallman, 2010/03/17
- Re: delete-selection-mode, Stefan Monnier, 2010/03/17
- Re: delete-selection-mode, Miles Bader, 2010/03/17
- Re: delete-selection-mode, Richard Stallman, 2010/03/18
- Re: delete-selection-mode, Lennart Borgman, 2010/03/18
- AW: delete-selection-mode, Berndl, Klaus, 2010/03/18
- Re: delete-selection-mode,
Harald Hanche-Olsen <=
- Re: delete-selection-mode, Richard Stallman, 2010/03/19
- Re: delete-selection-mode, Chad Brown, 2010/03/19
- Re: delete-selection-mode, Richard Stallman, 2010/03/19
- Re: delete-selection-mode, Lennart Borgman, 2010/03/19
- Re: delete-selection-mode, Uwe Siart, 2010/03/20
- Re: delete-selection-mode, Richard Stallman, 2010/03/20
- Re: delete-selection-mode, Lennart Borgman, 2010/03/20
- Re: delete-selection-mode, David Kastrup, 2010/03/20
- AW: delete-selection-mode, Berndl, Klaus, 2010/03/20
- Re: AW: delete-selection-mode, David Kastrup, 2010/03/21