Changeset 76681 in webkit

Timestamp:

Jan 26, 2011 2:24:59 AM (13 years ago)

Author:

pfeldman@chromium.org

Message:

2011-01-26 Pavel Feldman <​pfeldman@chromium.org>

Reviewed by Yury Semikhatsky.

Web Inspector: live edit does not update source snippet.
​https://bugs.webkit.org/show_bug.cgi?id=53097

• inspector/front-end/ScriptsPanel.js: (WebInspector.ScriptsPanel.prototype._scriptSourceChanged):

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/ScriptsPanel.js (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2011-01-26  Pavel Feldman  <pfeldman@chromium.org>
+
+        Reviewed by Yury Semikhatsky.
+
+        Web Inspector: live edit does not update source snippet.
+        https://bugs.webkit.org/show_bug.cgi?id=53097
+
+        * inspector/front-end/ScriptsPanel.js:
+        (WebInspector.ScriptsPanel.prototype._scriptSourceChanged):
+
 2011-01-26  Pavel Feldman  <pfeldman@chromium.org>
 

trunk/Source/WebCore/inspector/front-end/ScriptsPanel.js

@@ -257 +257 @@
 
         var script = WebInspector.debuggerModel.scriptForSourceID(sourceID);
-        var oldView = script._sourceFrame
-        if (oldView) {
+        if (script.resource) {
             delete script._sourceFrame;
-            this.viewRecreated(oldView, this._sourceFrameForScriptOrResource(script));
-        }
-        if (script.resource) {
+            delete script.resource._sourceFrame;
             var revertHandle = WebInspector.debuggerModel.editScriptSource.bind(WebInspector.debuggerModel, sourceID, oldSource);
             script.resource.setContent(script.source, revertHandle);
+        } else {
+            var oldView = script._sourceFrame;
+            delete script._sourceFrame;
+            if (oldView)
+                this.viewRecreated(oldView, this._sourceFrameForScriptOrResource(script));
         }