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