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