| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2013 Google Inc. All rights reserved. | 2 * Copyright (C) 2013 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 265 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 276 p.appendChild(disableJSElement); | 276 p.appendChild(disableJSElement); |
| 277 WebInspector.settings.javaScriptDisabled.addChangeListener(this._javaScriptD
isabledChanged, this); | 277 WebInspector.settings.javaScriptDisabled.addChangeListener(this._javaScriptD
isabledChanged, this); |
| 278 this._disableJSCheckbox = disableJSElement.getElementsByTagName("input")[0]; | 278 this._disableJSCheckbox = disableJSElement.getElementsByTagName("input")[0]; |
| 279 this._updateScriptDisabledCheckbox(); | 279 this._updateScriptDisabledCheckbox(); |
| 280 | 280 |
| 281 p = this._appendSection(WebInspector.UIString("Appearance")); | 281 p = this._appendSection(WebInspector.UIString("Appearance")); |
| 282 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Show 'Emulation' view in console drawer."), WebInspector.settings.showEmu
lationViewInDrawer)); | 282 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Show 'Emulation' view in console drawer."), WebInspector.settings.showEmu
lationViewInDrawer)); |
| 283 this._appendDrawerNote(p.lastElementChild); | 283 this._appendDrawerNote(p.lastElementChild); |
| 284 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Show 'Rendering' view in console drawer."), WebInspector.settings.showRen
deringViewInDrawer)); | 284 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Show 'Rendering' view in console drawer."), WebInspector.settings.showRen
deringViewInDrawer)); |
| 285 this._appendDrawerNote(p.lastElementChild); | 285 this._appendDrawerNote(p.lastElementChild); |
| 286 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Split panels vertically when docked to right"), WebInspector.settings.spl
itVerticallyWhenDockedToRight)); | 286 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Split panels vertically when docked to left or right"), WebInspector.sett
ings.splitVerticallyWhenDockedToRight)); |
| 287 | 287 |
| 288 p = this._appendSection(WebInspector.UIString("Elements")); | 288 p = this._appendSection(WebInspector.UIString("Elements")); |
| 289 var colorFormatElement = this._createSelectSetting(WebInspector.UIString("Co
lor format"), [ | 289 var colorFormatElement = this._createSelectSetting(WebInspector.UIString("Co
lor format"), [ |
| 290 [ WebInspector.UIString("As authored"), WebInspector.Color.Format.Or
iginal ], | 290 [ WebInspector.UIString("As authored"), WebInspector.Color.Format.Or
iginal ], |
| 291 [ "HEX: #DAC0DE", WebInspector.Color.Format.HEX ], | 291 [ "HEX: #DAC0DE", WebInspector.Color.Format.HEX ], |
| 292 [ "RGB: rgb(128, 255, 255)", WebInspector.Color.Format.RGB ], | 292 [ "RGB: rgb(128, 255, 255)", WebInspector.Color.Format.RGB ], |
| 293 [ "HSL: hsl(300, 80%, 90%)", WebInspector.Color.Format.HSL ] | 293 [ "HSL: hsl(300, 80%, 90%)", WebInspector.Color.Format.HSL ] |
| 294 ], WebInspector.settings.colorFormat); | 294 ], WebInspector.settings.colorFormat); |
| 295 p.appendChild(colorFormatElement); | 295 p.appendChild(colorFormatElement); |
| 296 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Show user agent styles"), WebInspector.settings.showUserAgentStyles)); | 296 p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIS
tring("Show user agent styles"), WebInspector.settings.showUserAgentStyles)); |
| (...skipping 803 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1100 var inputElement = this._addInputElements[columnId]; | 1100 var inputElement = this._addInputElements[columnId]; |
| 1101 inputElement.value = ""; | 1101 inputElement.value = ""; |
| 1102 } | 1102 } |
| 1103 }, | 1103 }, |
| 1104 | 1104 |
| 1105 __proto__: WebInspector.SettingsList.prototype | 1105 __proto__: WebInspector.SettingsList.prototype |
| 1106 } | 1106 } |
| 1107 | 1107 |
| 1108 /** @type {!WebInspector.SettingsController} */ | 1108 /** @type {!WebInspector.SettingsController} */ |
| 1109 WebInspector.settingsController; | 1109 WebInspector.settingsController; |
| OLD | NEW |