| Index: Source/devtools/front_end/devtools.js
|
| diff --git a/Source/devtools/front_end/devtools.js b/Source/devtools/front_end/devtools.js
|
| index 52107f7d06440a1f4bd4f058c205754e6574b0ee..79432697cd39e67a6cd2b4801351d2e7299647ba 100644
|
| --- a/Source/devtools/front_end/devtools.js
|
| +++ b/Source/devtools/front_end/devtools.js
|
| @@ -205,6 +205,14 @@ DevToolsAPIImpl.prototype = {
|
| },
|
|
|
| /**
|
| + * @param {boolean} hard
|
| + */
|
| + reloadInspectedPage: function(hard)
|
| + {
|
| + this._dispatchOnInspectorFrontendAPI("reloadInspectedPage", [hard]);
|
| + },
|
| +
|
| + /**
|
| * @param {string} url
|
| * @param {number} lineNumber
|
| * @param {number} columnNumber
|
|
|