[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: doc-view.el: about cursor and filename display
From: |
Stefan Monnier |
Subject: |
Re: doc-view.el: about cursor and filename display |
Date: |
Mon, 15 Oct 2007 10:00:32 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/23.0.50 (gnu/linux) |
> I don't know if that's a good idea. a-r-m checks files periodically and
> reverts if something changed. Since "reverting" means reconverting for
> doc-view, it's possible that it blows your computer because it may
> happen that a new conversion is started before the last one finished
> (e.g. every 5 seconds a new conversion is started).
That can happen if the user calls revert explicitly as well (yes, less
likely and less severe, but still: the user might do M-x revert-buffer,
then get annoyed that it doesn't see the result, so do it again and again
and again).
It shouldn't be too difficult to protect against it by detecting the
situation and "reacting appropriately".
Stefan
- doc-view.el: about cursor and filename display, William Xu, 2007/10/15
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/15
- Re: doc-view.el: about cursor and filename display,
Stefan Monnier <=
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/15
- Re: doc-view.el: about cursor and filename display, Richard Stallman, 2007/10/16
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/16
- Re: doc-view.el: about cursor and filename display, Richard Stallman, 2007/10/17
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/17
- Re: doc-view.el: about cursor and filename display, Stefan Monnier, 2007/10/17
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/17
- Re: doc-view.el: about cursor and filename display, Richard Stallman, 2007/10/18
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/18
- Re: doc-view.el: about cursor and filename display, Tassilo Horn, 2007/10/17