| Index: Source/devtools/front_end/devtools_app/InspectorFrontendHostImpl.js
|
| diff --git a/Source/devtools/front_end/devtools_app/InspectorFrontendHostImpl.js b/Source/devtools/front_end/devtools_app/InspectorFrontendHostImpl.js
|
| index a8b66976fd5dec8b10bd4c967e6bbff4626a0195..904416f9ca8b9cc550e62fbc1e28f5efdecb18e2 100644
|
| --- a/Source/devtools/front_end/devtools_app/InspectorFrontendHostImpl.js
|
| +++ b/Source/devtools/front_end/devtools_app/InspectorFrontendHostImpl.js
|
| @@ -104,42 +104,6 @@
|
|
|
| /**
|
| * @override
|
| - * @param {function(!Object<string, string>)} callback
|
| - */
|
| - getPreferences: function(callback)
|
| - {
|
| - DevToolsAPI.sendMessageToEmbedder("getPreferences", [], /** @type {function(?Object)} */ (callback));
|
| - },
|
| -
|
| - /**
|
| - * @override
|
| - * @param {string} name
|
| - * @param {string} value
|
| - */
|
| - setPreference: function(name, value)
|
| - {
|
| - DevToolsAPI.sendMessageToEmbedder("setPreference", [name, value], null);
|
| - },
|
| -
|
| - /**
|
| - * @override
|
| - * @param {string} name
|
| - */
|
| - removePreference: function(name)
|
| - {
|
| - DevToolsAPI.sendMessageToEmbedder("removePreference", [name], null);
|
| - },
|
| -
|
| - /**
|
| - * @override
|
| - */
|
| - clearPreferences: function()
|
| - {
|
| - DevToolsAPI.sendMessageToEmbedder("clearPreferences", [], null);
|
| - },
|
| -
|
| - /**
|
| - * @override
|
| * @param {string} origin
|
| * @param {string} script
|
| */
|
|
|