DevTools: Run workspace mapping tip infobar animation only once

Source/devtools/front_end/sources/WorkspaceMappingTip.js

 
 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @constructor
  * @param {!WebInspector.SourcesPanel} sourcesPanel
  * @param {!WebInspector.Workspace} workspace
  */
@@ skipping 133 matching lines @@
         var uiSourceCodeFrame = this._sourcesView.viewForFile(uiSourceCode);
 
         infobar.createDetailsRowMessage("").createChild("br");
         var rowElement = infobar.createDetailsRowMessage(WebInspector.UIString("For more information on workspaces, refer to the "));
         var a = rowElement.createChild("a");
         a.textContent = "workspaces documentation";
         a.href = "https://developer.chrome.com/devtools/docs/workspaces";
         rowElement.createTextChild(".");
         uiSourceCode[WebInspector.WorkspaceMappingTip._infobarSymbol] = infobar;
         uiSourceCodeFrame.attachInfobars([infobar]);
+        WebInspector.runCSSAnimationOnce(infobar.element, "source-frame-infobar-animation");
     }
 }