Re: Feature request : Tab-completion for 'shell-comand'

[Stefan Monnier]

>>> Anyway, most calls of `remove-overlays' are a pain.
>> I have no idea what that is supposed to mean.
> They're a pain because `remove-overlays' does (1) recenter all overlays,
> (2) construct a list of all overlays in the region, (3) select the
> overlays needed, and (4) delete them.  All this for the single purpose
> that overlays overlapping BEG or END get split appropriately.

You mean it's not as efficient as it could be?  Agreed.
It hasn't bit me yet, tho.  Do you have a use case where the speed is
a problem?


        Stefan