| Index: webkit/glue/devtools/js/devtools.js
|
| ===================================================================
|
| --- webkit/glue/devtools/js/devtools.js (revision 20134)
|
| +++ webkit/glue/devtools/js/devtools.js (working copy)
|
| @@ -906,7 +906,7 @@
|
| (function() {
|
| var oldShow = WebInspector.ScriptsPanel.prototype.show;
|
| WebInspector.ScriptsPanel.prototype.show = function() {
|
| - devtools.tools.getDebuggerAgent().initializeScriptsCache();
|
| + devtools.tools.getDebuggerAgent().requestScripts();
|
| this.enableToggleButton.addStyleClass('hidden');
|
| oldShow.call(this);
|
| };
|
|
|