| Index: webkit/glue/devtools/js/devtools.js
|
| ===================================================================
|
| --- webkit/glue/devtools/js/devtools.js (revision 14839)
|
| +++ webkit/glue/devtools/js/devtools.js (working copy)
|
| @@ -289,7 +289,6 @@
|
| stylesSidebarPane.needsUpdate = false;
|
| node.clearStyles();
|
| };
|
| -
|
| devtools.tools.getDomAgent().getNodeStylesAsync(
|
| node,
|
| !Preferences.showUserAgentStyles,
|
| @@ -570,6 +569,7 @@
|
| devtools.tools.getDomAgent().toggleNodeStyleAsync(this.style, !disabled,
|
| this.name,
|
| function() {
|
| + WebInspector.panels.elements.sidebarPanes.styles.needsUpdate = true;
|
| WebInspector.panels.elements.updateStyles(true);
|
| });
|
| };
|
|
|