Index: content/shell/browser/shell.h |
diff --git a/content/shell/browser/shell.h b/content/shell/browser/shell.h |
index 35955567fd25c838615139879d0fd694857f513e..efd68213b5ab306a5fa2335bf51f2eb7230513a8 100644 |
--- a/content/shell/browser/shell.h |
+++ b/content/shell/browser/shell.h |
@@ -65,7 +65,7 @@ class Shell : public WebContentsDelegate, |
void GoBackOrForward(int offset); |
void Reload(); |
void Stop(); |
- void UpdateNavigationControls(); |
+ void UpdateNavigationControls(bool to_different_document); |
void Close(); |
void ShowDevTools(); |
void ShowDevToolsForElementAt(int x, int y); |
@@ -119,7 +119,8 @@ class Shell : public WebContentsDelegate, |
const gfx::Rect& initial_pos, |
bool user_gesture, |
bool* was_blocked) OVERRIDE; |
- virtual void LoadingStateChanged(WebContents* source) OVERRIDE; |
+ virtual void LoadingStateChanged(WebContents* source, |
+ bool to_different_document) OVERRIDE; |
#if defined(OS_ANDROID) |
virtual void LoadProgressChanged(WebContents* source, |
double progress) OVERRIDE; |