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); |
}); |
}; |