Index: chrome/browser/resources/extensions/extension_options_overlay.js |
diff --git a/chrome/browser/resources/extensions/extension_options_overlay.js b/chrome/browser/resources/extensions/extension_options_overlay.js |
index 899098d625ec446767be32d832602b97367fd582..383dabd4b2ff8838c8142e7830a936bce7112749 100644 |
--- a/chrome/browser/resources/extensions/extension_options_overlay.js |
+++ b/chrome/browser/resources/extensions/extension_options_overlay.js |
@@ -50,6 +50,12 @@ cr.define('extensions', function() { |
var extensionoptions = document.querySelector('extensionoptions'); |
if (extensionoptions) |
$('extension-options-overlay').removeChild(extensionoptions); |
+ |
+ // Remove the options query string |
Devlin
2014/08/21 17:18:19
nit: .
ericzeng
2014/08/21 17:59:52
Done.
|
+ window.parent.postMessage({ |
+ method: 'updateHistory', |
+ params: {state: {}, path: '', replace: false} |
+ }, 'chrome://chrome'); |
}, |
/** |