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 |