Index: chrome/browser/resources/md_extensions/service.js |
diff --git a/chrome/browser/resources/md_extensions/service.js b/chrome/browser/resources/md_extensions/service.js |
index 0482a574cfccf26d0b04a259130be0b75818ab4e..d14cbda360647a834b431182df01395c3689af59 100644 |
--- a/chrome/browser/resources/md_extensions/service.js |
+++ b/chrome/browser/resources/md_extensions/service.js |
@@ -216,6 +216,17 @@ cr.define('extensions', function() { |
}, |
/** @override */ |
+ showItemOptionsPage: function(id) { |
+ var extension = this.extensions_.find(function(extension) { |
+ return extension.id == id; |
+ }); |
+ assert(extension && extension.optionsPage); |
+ if (extension.optionsPage.openInTab) |
+ chrome.developerPrivate.showOptions(id); |
+ // TODO(devlin): Handle embedded extension options. |
+ }, |
+ |
+ /** @override */ |
setProfileInDevMode: function(inDevMode) { |
chrome.developerPrivate.updateProfileConfiguration( |
{inDeveloperMode: inDevMode}); |