| Index: webkit/glue/devtools/js/devtools.js
|
| ===================================================================
|
| --- webkit/glue/devtools/js/devtools.js (revision 20016)
|
| +++ webkit/glue/devtools/js/devtools.js (working copy)
|
| @@ -907,6 +907,7 @@
|
| var oldShow = WebInspector.ScriptsPanel.prototype.show;
|
| WebInspector.ScriptsPanel.prototype.show = function() {
|
| devtools.tools.getDebuggerAgent().initializeScriptsCache();
|
| + this.enableToggleButton.addStyleClass('hidden');
|
| oldShow.call(this);
|
| };
|
| })();
|
| @@ -950,6 +951,7 @@
|
| var oldShow = WebInspector.ProfilesPanel.prototype.show;
|
| WebInspector.ProfilesPanel.prototype.show = function() {
|
| devtools.tools.getDebuggerAgent().initializeProfiling();
|
| + this.enableToggleButton.addStyleClass('hidden');
|
| oldShow.call(this);
|
| // Show is called on every show event of a panel, so
|
| // we only need to intercept it once.
|
|
|