Small tweak to avoid pushing overlay URLs. This prevents overlays URLs from...

chrome/browser/resources/options/options_page.js

Index: chrome/browser/resources/options/options_page.js
===================================================================
--- chrome/browser/resources/options/options_page.js	(revision 53424)
+++ chrome/browser/resources/options/options_page.js	(working copy)
@@ -146,13 +146,14 @@
       return;
 
     if (visible) {
-      window.history.pushState({pageName: this.name},
-                               this.title,
-                               '/' + this.name);
       this.pageDiv.style.display = 'block';
       if (this.isOverlay) {
         var overlay = $('overlay');
         overlay.classList.remove('hidden');
+      } else {
+        window.history.pushState({pageName: this.name},
+                                 this.title,
+                                 '/' + this.name);
       }
       if (this.tab) {
         this.tab.classList.add('navbar-item-selected');