| Index: Source/devtools/front_end/ProfileLauncherView.js
|
| diff --git a/Source/devtools/front_end/ProfileLauncherView.js b/Source/devtools/front_end/ProfileLauncherView.js
|
| index af301acf1c752d11e21e1dd4b3d3b5c01ab0f091..b0287c6d74894a2431e375a6d2d2bf05d11b6813 100644
|
| --- a/Source/devtools/front_end/ProfileLauncherView.js
|
| +++ b/Source/devtools/front_end/ProfileLauncherView.js
|
| @@ -94,6 +94,15 @@ WebInspector.ProfileLauncherView.prototype = {
|
| this._updateControls();
|
| },
|
|
|
| + /**
|
| + * @param {WebInspector.ProfileType} profileType
|
| + */
|
| + updateProfileType: function(profileType)
|
| + {
|
| + this._isInstantProfile = profileType.isInstantProfile();
|
| + this._updateControls();
|
| + },
|
| +
|
| __proto__: WebInspector.View.prototype
|
| }
|
|
|
|
|