DevTools: fix execution line update on pretty-print

Source/devtools/front_end/JavaScriptSourceFrame.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 607 matching lines @@
         this._scriptFile = this._uiSourceCode.scriptFile();
         if (this._scriptFile) {
             this._scriptFile.addEventListener(WebInspector.ScriptFile.Events.DidMergeToVM, this._didMergeToVM, this);
             this._scriptFile.addEventListener(WebInspector.ScriptFile.Events.DidDivergeFromVM, this._didDivergeFromVM, this);
 
             if (this.loaded)
                 this._scriptFile.checkMapping();
         }
     },
 
+    beforeFormattedChange: function()
+    {
+        this.clearExecutionLine();
+    },
+
     onTextEditorContentLoaded: function()
     {
         if (typeof this._executionLineNumber === "number")
             this.setExecutionLine(this._executionLineNumber, this._executionCallFrame);
 
         var breakpointLocations = this._breakpointManager.breakpointLocationsForUISourceCode(this._uiSourceCode);
         for (var i = 0; i < breakpointLocations.length; ++i)
             this._breakpointAdded({data:breakpointLocations[i]});
 
         var messages = this._uiSourceCode.consoleMessages();
@@ skipping 290 matching lines @@
  * @param {!DebuggerAgent.Location} locationB
  * @return {number}
  */
 WebInspector.JavaScriptSourceFrame.StepIntoMarkup._Comparator = function(locationA, locationB)
 {
     if (locationA.lineNumber === locationB.lineNumber)
         return locationA.columnNumber - locationB.columnNumber;
     else
         return locationA.lineNumber - locationB.lineNumber;
 };