| Index: Source/devtools/front_end/sources/WorkspaceMappingTip.js
|
| diff --git a/Source/devtools/front_end/sources/WorkspaceMappingTip.js b/Source/devtools/front_end/sources/WorkspaceMappingTip.js
|
| index 9780bde85b53742ac3e687d99fb888c2f167360a..ee0db7b970eb1c343d7b7986001320c631830d28 100644
|
| --- a/Source/devtools/front_end/sources/WorkspaceMappingTip.js
|
| +++ b/Source/devtools/front_end/sources/WorkspaceMappingTip.js
|
| @@ -151,5 +151,6 @@ WebInspector.WorkspaceMappingTip.prototype = {
|
| rowElement.createTextChild(".");
|
| uiSourceCode[WebInspector.WorkspaceMappingTip._infobarSymbol] = infobar;
|
| uiSourceCodeFrame.attachInfobars([infobar]);
|
| + WebInspector.runCSSAnimationOnce(infobar.element, "source-frame-infobar-animation");
|
| }
|
| }
|
|
|