[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Referring users to external web pages
From: |
Tom Tromey |
Subject: |
Re: Referring users to external web pages |
Date: |
Fri, 20 Jan 2017 10:21:04 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.91 (gnu/linux) |
>>>>> "Stefan" == Stefan Monnier <address@hidden> writes:
Stefan> An easier first step might be to make sure that those Mozilla pages get
Stefan> cached locally after you access them, with a fairly long "time before
Stefan> refresh" (and in such a way that subsequent accesses don't need *any*
Stefan> network access).
You mean like having css-mode locally set url-automatic-caching and
url-cache-directory in the new EWW buffer?
I think that would work but I don't know if it should be the default,
because the URL docs say that the cache isn't cleared automatically, and
also I don't see any sort of maximum size setting in the cache code.
OTOH if you think it's still ok, despite that, I'll add something.
Tom
- Referring users to external web pages, Simen Heggestøyl, 2017/01/17
- Re: Referring users to external web pages, John Wiegley, 2017/01/18
- Re: Referring users to external web pages, Richard Stallman, 2017/01/19
- Re: Referring users to external web pages, Tom Tromey, 2017/01/19
- Re: Referring users to external web pages, Clément Pit--Claudel, 2017/01/19
- Re: Referring users to external web pages, Marcin Borkowski, 2017/01/20
- Re: Referring users to external web pages, Stefan Monnier, 2017/01/20
- Re: Referring users to external web pages, Yuri Khan, 2017/01/20
- Re: Referring users to external web pages,
Tom Tromey <=
- Re: Referring users to external web pages, Richard Stallman, 2017/01/20