[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Feature request : Tab-completion for 'shell-comand'
From: |
Stefan Monnier |
Subject: |
Re: Feature request : Tab-completion for 'shell-comand' |
Date: |
Sun, 16 Mar 2008 14:28:46 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
>>> 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
- Re: Feature request : Tab-completion for 'shell-comand', (continued)
- Re: Feature request : Tab-completion for 'shell-comand', Richard Stallman, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', Richard Stallman, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', Stefan Monnier, 2008/03/13
- Re: Feature request : Tab-completion for 'shell-comand', martin rudalics, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', Stefan Monnier, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', martin rudalics, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', Stefan Monnier, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', martin rudalics, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', Stefan Monnier, 2008/03/14
- Re: Feature request : Tab-completion for 'shell-comand', martin rudalics, 2008/03/16
- Re: Feature request : Tab-completion for 'shell-comand',
Stefan Monnier <=
- Re: Feature request : Tab-completion for 'shell-comand', martin rudalics, 2008/03/17
- Re: Feature request : Tab-completion for 'shell-comand', Stefan Monnier, 2008/03/17
- Re: Feature request : Tab-completion for 'shell-comand', Juri Linkov, 2008/03/13
- Re: Feature request : Tab-completion for 'shell-comand', TSUCHIYA Masatoshi, 2008/03/09
- Re: Feature request : Tab-completion for 'shell-comand', Juri Linkov, 2008/03/09
- Re: Feature request : Tab-completion for 'shell-comand', TSUCHIYA Masatoshi, 2008/03/09
- RE: Feature request : Tab-completion for 'shell-comand', Drew Adams, 2008/03/09
- Re: Feature request : Tab-completion for 'shell-comand', Juri Linkov, 2008/03/09
- Re: Feature request : Tab-completion for 'shell-comand', Johan Bockgård, 2008/03/09
- Re: Feature request : Tab-completion for 'shell-comand', Lennart Borgman (gmail), 2008/03/09