Chromium Code Reviews| 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
|
| } |
| }, |