Re: Remove delete-overlay?

[Lennart Borgman (gmail)]

Miles Bader wrote:
> Daniel Brockman <address@hidden> writes:
> > By the way, I agree with Lennart: while (to me) `delete' has
> > misleading connotations, `remove' is just right.
>
> What connotations are those?
>
> [For the most part, "remove" and "delete" are synonyms; I generally try
> to always pair add/remove and insert/delete, just to keep things tidy,
> but that's just me...]

Since I am non-english I had to consult a dictionary now:

- delete: to eliminate especially by blotting out, cutting out, or erasing
- remove: to change the location, position -- but also to get rid of, 
eliminate

I think the first meaning of "remove" is what our teachers tell us.