Re: [Prerender] Bug 22737: Add link type "prerender" to html5 spec

Good point. Please see the update below. However, the response from
public-html@ is that we just put this in the wiki registry as opposed to in
the spec.

Arvind


4.13.5.10 Link type "prerender"

The prerender keyword may be used with a
link<http://www.w3.org/html/wg/drafts/html/master/single-page.html#the-link-element>
, a<http://www.w3.org/html/wg/drafts/html/master/single-page.html#the-a-element>,
and area<http://www.w3.org/html/wg/drafts/html/master/single-page.html#the-area-element>
 elements. This keyword creates an external resource
link<http://www.w3.org/html/wg/drafts/html/master/single-page.html#external-resource-link>
.

The prerender keyword indicates that preemptively fetching and loading the
specified resource in a hidden top-level browsing
context<http://www.w3.org/html/wg/drafts/html/master/single-page.html#top-level-browsing-context>
is
likely to be beneficial, as it is highly likely that the user will navigate
to this resource. If the resource is navigated to, the user agent may
replace the current browsing context with the one it loaded the specified
resource in. If the user agent performs such a replacement, it should
preserve the replaced browsing context's session history in such a manner
that it is indistinguishable from the case where the navigation happens without
replacement.

The user agent may discard the browsing context corresponding to the
prerendered resource if any of the following is true:


   - If the resource is not navigated to within a reasonable amount of time.
   - If the user navigates to some other resource from the current browsing
   context.
   - If the link element is removed from the document.

There is no default type for resources given by the prerender keyword.



On Tue, Jul 23, 2013 at 1:57 PM, Jatinder Mann <jmann@microsoft.com> wrote:

>  Arvind,****
>
> ** **
>
> Regarding https://www.w3.org/Bugs/Public/show_bug.cgi?id=22737, the bug
> to add link type ‘prerender’ to HTML5.1. The suggested spec text states:
> “If the resource is navigated to, the user agent may replace the current
> browsing context with the one it loaded the specified resource in.” If you
> replace the current browsing context, you will lose history. For example,
> the section on browsing contexts,
> http://www.w3.org/html/wg/drafts/html/master/browsers.html#windows,
> states that “A browsing context<http://www.w3.org/html/wg/drafts/html/master/browsers.html#browsing-context>has a session
> history<http://www.w3.org/html/wg/drafts/html/master/browsers.html#session-history>,”
> I don’t think we want a prerendered page to lose its history.****
>
> ** **
>
> I think we may want to update that sentence to instead say something like:
> “If the user chooses to navigate to this resource, the user agent may
> navigate<http://www.w3.org/html/wg/drafts/html/master/browsers.html#navigate>the current browsing
> context<http://www.w3.org/html/wg/drafts/html/master/browsers.html#browsing-context>to the specified resource.”
> ****
>
>
>
> 4.13.5.10 Link type "prerender"
> The prerender keyword may be used with a link, a, and area elements. This
> keyword creates an external resource link.
>
> The prerender keyword indicates that preemptively fetching and loading the
> specified resource in a hidden top-level browsing context is likely to be
> beneficial, as it is highly likely that the user will navigate to this
> resource. If the resource is navigated to, the user agent may replace the
> current browsing context with the one it loaded the specified resource in.
>
> The user agent may discard the browsing context corresponding to the
> prerendered resource if any of the following is true:
>
> - If the resource is not navigated to within a reasonable amount of time.
> - If the user navigates to some other resource from the current browsing
> context.
> - If the link element is removed from the document.
> - There is no default type for resources given by the prerender keyword.
>
> ****
>
> Thanks,
> Jatinder****
>
> ** **
>