DevTools: fix "Disable Javascript" checkbox glitch.

Settings checkbox UI state was changed from outside, that confused control.

BUG=402406

Review URL: https://codereview.chromium.org/640633007

git-svn-id: svn://svn.chromium.org/blink/trunk@183880 bbb929c8-8fbe-4397-9dbb-9b2b20218538

third_party/WebKit/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);
         }
     },