[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Feature request : Tab-completion for 'shell-comand'
From: |
martin rudalics |
Subject: |
Re: Feature request : Tab-completion for 'shell-comand' |
Date: |
Mon, 17 Mar 2008 08:36:01 +0100 |
User-agent: |
Mozilla Thunderbird 1.0 (Windows/20041206) |
>>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?
Removing the old whitespace overlays was devastatingly slow. Richard
fixed it by putting an (overlay-recenter (point-max)) somewhere in the
code of whitespace.el before the call of `remove-overlays'. But I still
don't understand why that fixed the problem and, for example, why the
argument `point-max' is any better than say `point-min'. And the nxml
author wants to
** Explore whether overlay-recenter can cure overlays performance
problems.
Is there really anyone using `remove-overlays' who also wants its
feature that "Overlays might be moved and/or split."
- 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', 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, 2008/03/16
- Re: Feature request : Tab-completion for 'shell-comand',
martin rudalics <=
- 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
- Re: Feature request : Tab-completion for 'shell-comand', Juri Linkov, 2008/03/10