Anthony Ramine e9feb20775 Simplify processing of deferred scripts ...

It is now done on-demand when a deferred script finished loading, and when
the page source finished loading.

2017-01-20 16:41:49 +01:00

..

html.rs

Mark the page source as loaded only after parsing is done

2017-01-19 16:17:14 +01:00

mod.rs

Simplify processing of deferred scripts

2017-01-20 16:41:49 +01:00

xml.rs

Mark the page source as loaded only after parsing is done

2017-01-19 16:17:14 +01:00