DevTools: [Console] checkbox to hide network messages

Source/devtools/front_end/common/Settings.js

 /*
  * Copyright (C) 2009 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 24 matching lines @@
 {
     this._eventSupport = new WebInspector.Object();
     this._registry = /** @type {!Object.<string, !WebInspector.Setting>} */ ({});
 
     this.colorFormat = this.createSetting("colorFormat", "original");
     this.consoleHistory = this.createSetting("consoleHistory", []);
     this.domWordWrap = this.createSetting("domWordWrap", true);
     this.eventListenersFilter = this.createSetting("eventListenersFilter", "all");
     this.lastViewedScriptFile = this.createSetting("lastViewedScriptFile", "application");
     this.monitoringXHREnabled = this.createSetting("monitoringXHREnabled", false);
+    this.hideNetworkMessages = this.createSetting("hideNetworkMessages", false);
     this.preserveConsoleLog = this.createSetting("preserveConsoleLog", false);
     this.consoleTimestampsEnabled = this.createSetting("consoleTimestampsEnabled", false);
     this.resourcesLargeRows = this.createSetting("resourcesLargeRows", true);
     this.resourcesSortOptions = this.createSetting("resourcesSortOptions", {timeOption: "responseTime", sizeOption: "transferSize"});
     this.resourceViewTab = this.createSetting("resourceViewTab", "preview");
     this.showInheritedComputedStyleProperties = this.createSetting("showInheritedComputedStyleProperties", false);
     this.showUserAgentStyles = this.createSetting("showUserAgentStyles", true);
     this.watchExpressions = this.createSetting("watchExpressions", []);
     this.breakpoints = this.createSetting("breakpoints", []);
     this.eventListenerBreakpoints = this.createSetting("eventListenerBreakpoints", []);
@@ skipping 576 matching lines @@
 
     _fireChangedIfNeeded: function()
     {
         var newValue = this._calculateValue();
         if (newValue === this._value)
             return;
         this._value = newValue;
         this._eventSupport.dispatchEventToListeners(this._name, this._value);
     }
 }