Index: chrome/browser/resources/options/options_page.js |
diff --git a/chrome/browser/resources/options/options_page.js b/chrome/browser/resources/options/options_page.js |
index 510e1e577bc35d32c51495f0ef533e1d7303abfb..2c22e4d36a089bf686859dea19b37aed58c28176 100644 |
--- a/chrome/browser/resources/options/options_page.js |
+++ b/chrome/browser/resources/options/options_page.js |
@@ -499,7 +499,8 @@ cr.define('options', function() { |
OptionsPage.updateManagedBannerVisibility(); |
// Recent webkit change no longer allows url change from "chrome://". |
- window.history.pushState({pageName: this.name}, this.title); |
+ window.history.pushState({pageName: this.name}, this.title, |
+ '/' + this.name); |
} |
if (this.tab) { |
this.tab.classList.add('navbar-item-selected'); |