DevTools: fix execution line update on pretty-print

Source/devtools/front_end/UISourceCodeFrame.js

 /*
  * Copyright (C) 2012 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:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 102 matching lines @@
     },
 
     _didEditContent: function(error)
     {
         if (error) {
             WebInspector.log(error, WebInspector.ConsoleMessage.MessageLevel.Error, true);
             return;
         }
     },
 
+    beforeFormattedChange: function() { },
+
     /**
      * @param {!WebInspector.Event} event
      */
     _onFormattedChanged: function(event)
     {
+        this.beforeFormattedChange();
         var content = /** @type {string} */ (event.data.content);
         this._textEditor.setReadOnly(this._uiSourceCode.formatted());
         var selection = this._textEditor.selection();
         this._innerSetContent(content);
         var start = null;
         var end = null;
         if (this._uiSourceCode.formatted()) {
             start = event.data.newFormatter.originalToFormatted(selection.startLine, selection.startColumn);
             end = event.data.newFormatter.originalToFormatted(selection.endLine, selection.endColumn);
         } else {
@@ skipping 55 matching lines @@
         contextMenu.appendSeparator();
     },
 
     dispose: function()
     {
         this.detach();
     },
 
     __proto__: WebInspector.SourceFrame.prototype
 }