[Greasemonkey] add prefetch attributes

[Leo Zelevinsky]

Wow, Live HTTP Headers is great (and I found out that every time I
start my browser, it refreshes my live bookmarks which I didn't even
remember I had - so bonus).

OK, here's my findings so far:
Using GM_xml...
seems to work as far as going to retrieve the page, but doesn't seem
to speed up the actual "continue" click - could "Pragma: no-cache"
have something to do with it?

changing rel="prefetch" on the links doesn't seem to do anything, as
we suspected.

Thanks everyone for your help - awesome stuff.

On 5/16/05, Phil Ringnalda <philringnalda at gmail.com> wrote:
> On 5/16/05, Nikolas Coukouma <lists at atrus.org> wrote:
> > chris feldmann wrote:
> >
> > > " I have no idea how I can confirm whether Firefox is prefetching or not."
> > >
> > > Sounds like yet another perfect use for the Live HTTP Headers
> > > extension: http://livehttpheaders.mozdev.org.
> > > <http://livehttpheaders.mozdev.org>
> >
> > That doesn't seem likely to indicate prefetching, but maybe I'm just not
> > seeing it.
> 
> It sees prefetch just fine: google "ibm" and you'll see it prefetching
> www.ibm.com
> 
> Phil Ringnalda
> _______________________________________________
> Greasemonkey mailing list
> Greasemonkey at mozdev.org
> http://mozdev.org/mailman/listinfo/greasemonkey
>