| Index: chrome/browser/resources/extensions/extension_list.js
|
| diff --git a/chrome/browser/resources/extensions/extension_list.js b/chrome/browser/resources/extensions/extension_list.js
|
| index 7067da5d00362dd398a95e914e17ca357a3a74ea..6ee7bb2c35c9abb966776e03236606360575bb8a 100644
|
| --- a/chrome/browser/resources/extensions/extension_list.js
|
| +++ b/chrome/browser/resources/extensions/extension_list.js
|
| @@ -193,9 +193,14 @@ cr.define('options', function() {
|
| if (extension.enabled && extension.optionsUrl) {
|
| var options = node.querySelector('.options-link');
|
| options.addEventListener('click', function(e) {
|
| - chrome.send('extensionSettingsOptions', [extension.id]);
|
| + if (this.data_.enableEmbeddedExtensionOptions) {
|
| + extensions.ExtensionOptionsOverlay.getInstance().
|
| + setExtensionAndShowOverlay([extension.id], extension.name);
|
| + } else {
|
| + chrome.send('extensionSettingsOptions', [extension.id]);
|
| + }
|
| e.preventDefault();
|
| - });
|
| + }.bind(this));
|
| options.hidden = false;
|
| }
|
|
|
|
|