| 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');
|
|
|