Index: Source/devtools/front_end/sources/SourcesPanel.js |
diff --git a/Source/devtools/front_end/sources/SourcesPanel.js b/Source/devtools/front_end/sources/SourcesPanel.js |
index 9036c4d4318430ab1c161c1bb9f4c1d83bec75c3..e7447a7112bb4af60f4cddb608e5dc80ba4cd31a 100644 |
--- a/Source/devtools/front_end/sources/SourcesPanel.js |
+++ b/Source/devtools/front_end/sources/SourcesPanel.js |
@@ -1349,8 +1349,9 @@ WebInspector.SourcesPanel.DisableJavaScriptSettingDelegate.prototype = { |
var disabled = forbidden || (status === "disabled"); |
this._disableJSInfo.classList.toggle("hidden", !forbidden); |
- this._disableJSCheckbox.checked = disabled; |
this._disableJSCheckbox.disabled = forbidden; |
+ if (!forbidden && WebInspector.settings.javaScriptDisabled.get() !== disabled) |
+ WebInspector.settings.javaScriptDisabled.set(disabled); |
aandrey
2014/10/17 12:11:51
don't you still need to update this._disableJSChec
eustas
2014/10/17 12:16:11
Nope. setting change is listened by checkbox itsel
|
} |
}, |