Re: delete-selection-mode

[Miles Bader]

Stefan Monnier <address@hidden> writes:
> If the fact that the region is active at that point "is right"
> (i.e. you indeed intended to highlight that region), then deleting it is
> probably the right thing to do.
>
> But if the region is active by accident (e.g. the fact that it's
> highlighted is something you grudgingly live with since t-m-m was made
> the default), then you may get annoyed that merely inserting a char at
> point ends up deleting all the text that happened to be highlighted.

Yeah, and what's worse is if a _little_ text is inadvertently
highlighted (say, a single comma or a space, because you accidentally
dragged a little whwen you meant to click), and you don't actually
notice it being deleted when you start typing...

I'm burned by that regularly in other apps, to the point where I think
"deletion upon typing" is a positively harmful feature.  Viewed in
isolation, it's "clever", but really offers nothing significant over
just hitting DEL before typing. in a general context (i.e., not in a
specialized context like a browser address bar).

-Miles

-- 
Faith, n. Belief without evidence in what is told by one who speaks without
knowledge, of things without parallel.