[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: AW: delete-selection-mode
From: |
Miles Bader |
Subject: |
Re: AW: delete-selection-mode |
Date: |
Thu, 18 Mar 2010 11:36:08 +0900 |
Stefan Monnier <address@hidden> writes:
> This will be a good occasion to get rid of the butt-ugly and
> bug-inducing code that implements the feature now. And it will provide
> the DEL part of delete-selection-mode.
>
> I'd be happy to also provide the self-insert behavior of
> delete-selection-mode, but at least this intermediate step sounds very
> good to me.
>
> The implementation should keep an eye towards generalizing it to
> self-insertion keys (i.e. maybe it should just use the code from
> delete-selection-mode).
That all sounds perfect.
The "DEL deletes" functionality seems the main thing; a mode which only
did that would probably be fine, and solve 95% of the muscle-memory-
from-other-apps issues.
-Miles
--
Liberty, n. One of imagination's most precious possessions.
- AW: AW: delete-selection-mode, (continued)
- AW: AW: delete-selection-mode, Berndl, Klaus, 2010/03/17
- RE: AW: delete-selection-mode, Drew Adams, 2010/03/17
- Re: AW: delete-selection-mode, David Kastrup, 2010/03/17
- Re: AW: delete-selection-mode, David Kastrup, 2010/03/17
- RE: AW: delete-selection-mode, Drew Adams, 2010/03/17
- Re: AW: delete-selection-mode, David Kastrup, 2010/03/17
- Re: AW: delete-selection-mode, Stefan Monnier, 2010/03/17
- Re: AW: delete-selection-mode, Chong Yidong, 2010/03/17
- Re: AW: delete-selection-mode, Lennart Borgman, 2010/03/17
- Re: AW: delete-selection-mode, Stefan Monnier, 2010/03/17
- Re: AW: delete-selection-mode,
Miles Bader <=
- RE: AW: delete-selection-mode, Drew Adams, 2010/03/18
- Re: AW: delete-selection-mode, Miles Bader, 2010/03/18
- Re: AW: delete-selection-mode, Chong Yidong, 2010/03/18
- Re: AW: delete-selection-mode, Juri Linkov, 2010/03/18
- Re: AW: delete-selection-mode, Miles Bader, 2010/03/18
- RE: AW: delete-selection-mode, Drew Adams, 2010/03/18
- RE: AW: delete-selection-mode, Drew Adams, 2010/03/18
- Re: AW: delete-selection-mode, Juri Linkov, 2010/03/18
- RE: AW: delete-selection-mode, Drew Adams, 2010/03/18
- Re: AW: delete-selection-mode, David Kastrup, 2010/03/19