DevTools: fix "Disable Javascript" checkbox glitch.

Source/devtools/front_end/sources/SourcesPanel.js

 /*
  * Copyright (C) 2008 Apple Inc. All Rights Reserved.
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
@@ skipping 1331 matching lines @@
          */
         function executionStatusCallback(error, status)
         {
             if (error || !status)
                 return;
 
             var forbidden = (status === "forbidden");
             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._disableJSCheckbox.checked ?

[eustas, 2014/10/17 12:16:11]

Nope. setting change is listened by checkbox itself.

         }
     },
 
     __proto__: WebInspector.UISettingDelegate.prototype
 }
 
 /**
  * @constructor
  * @implements {WebInspector.ActionDelegate}
  */
@@ skipping 39 matching lines @@
 
 WebInspector.SourcesPanelFactory.prototype = {
     /**
      * @return {!WebInspector.Panel}
      */
     createPanel: function()
     {
         return WebInspector.SourcesPanel.instance();
     }
 }