| Index: content/public/renderer/document_state.h
|
| diff --git a/content/public/renderer/document_state.h b/content/public/renderer/document_state.h
|
| index d47891cb8aba9ed3a143255c1589e94a0484f1b4..b9adb22d0eaa3cd3210fba601c9c60204e2014d3 100644
|
| --- a/content/public/renderer/document_state.h
|
| +++ b/content/public/renderer/document_state.h
|
| @@ -197,6 +197,15 @@ class DocumentState : public WebKit::WebDataSource::ExtraData {
|
| is_overriding_user_agent_ = state;
|
| }
|
|
|
| + // True if we have to reset the scroll and scale state of the page
|
| + // after the provisional load has been committed.
|
| + bool must_reset_scroll_and_scale_state() const {
|
| + return must_reset_scroll_and_scale_state_;
|
| + }
|
| + void set_must_reset_scroll_and_scale_state(bool state) {
|
| + must_reset_scroll_and_scale_state_ = state;
|
| + }
|
| +
|
| void set_was_prefetcher(bool value) { was_prefetcher_ = value; }
|
| bool was_prefetcher() const { return was_prefetcher_; }
|
|
|
| @@ -279,6 +288,7 @@ class DocumentState : public WebKit::WebDataSource::ExtraData {
|
| bool use_error_page_;
|
|
|
| bool is_overriding_user_agent_;
|
| + bool must_reset_scroll_and_scale_state_;
|
|
|
| // A prefetcher is a page that contains link rel=prefetch elements.
|
| bool was_prefetcher_;
|
|
|