browser/devtools/framework/toolbox-options.xul@6474c204b198 (annotated)
browser/devtools/framework/toolbox-options.xul
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | <?xml version="1.0" encoding="utf-8"?> |
| michael@0 | 2 | <!-- This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 3 | - License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 4 | - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> |
| michael@0 | 5 | <!DOCTYPE window [ |
| michael@0 | 6 | <!ENTITY % toolboxDTD SYSTEM "chrome://browser/locale/devtools/toolbox.dtd" > |
| michael@0 | 7 | %toolboxDTD; |
| michael@0 | 8 | ]> |
| michael@0 | 9 | <?xml-stylesheet href="chrome://browser/skin/" type="text/css"?> |
| michael@0 | 10 | <?xml-stylesheet rel="stylesheet" href="chrome://browser/content/devtools/framework/options-panel.css" type="text/css"?> |
| michael@0 | 11 | |
| michael@0 | 12 | <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> |
| michael@0 | 13 | |
| michael@0 | 14 | <script type="application/javascript;version=1.8" |
| michael@0 | 15 | src="chrome://browser/content/devtools/theme-switching.js"/> |
| michael@0 | 16 | <hbox id="options-panel-container" flex="1"> |
| michael@0 | 17 | <hbox id="options-panel" class="theme-body" flex="1"> |
| michael@0 | 18 | <vbox id="tools-box" class="options-vertical-pane" flex="1"> |
| michael@0 | 19 | <label value="&options.selectDefaultTools.label;"/> |
| michael@0 | 20 | <vbox id="default-tools-box" class="options-groupbox" tabindex="0"/> |
| michael@0 | 21 | <label value="&options.selectAdditionalTools.label;"/> |
| michael@0 | 22 | <vbox id="additional-tools-box" class="options-groupbox"/> |
| michael@0 | 23 | <label value="&options.selectEnabledToolboxButtons.label;"/> |
| michael@0 | 24 | <vbox id="enabled-toolbox-buttons-box" class="options-groupbox"/> |
| michael@0 | 25 | <label id="tools-not-supported-label" |
| michael@0 | 26 | class="options-citation-label theme-comment" |
| michael@0 | 27 | value="&options.toolNotSupported.label;"/> |
| michael@0 | 28 | |
| michael@0 | 29 | </vbox> |
| michael@0 | 30 | <vbox class="options-vertical-pane" flex="1"> |
| michael@0 | 31 | <label value="&options.selectDevToolsTheme.label;"/> |
| michael@0 | 32 | <radiogroup id="devtools-theme-box" |
| michael@0 | 33 | class="options-groupbox" |
| michael@0 | 34 | data-pref="devtools.theme" |
| michael@0 | 35 | orient="horizontal"> |
| michael@0 | 36 | <radio value="light" label="&options.lightTheme.label;"/> |
| michael@0 | 37 | <radio value="dark" label="&options.darkTheme.label;"/> |
| michael@0 | 38 | </radiogroup> |
| michael@0 | 39 | <label value="&options.commonPrefs.label;"/> |
| michael@0 | 40 | <vbox id="commonprefs-options" class="options-groupbox"> |
| michael@0 | 41 | <checkbox label="&options.enablePersistentLogging.label;" |
| michael@0 | 42 | tooltiptext="&options.enablePersistentLogging.tooltip;" |
| michael@0 | 43 | data-pref="devtools.webconsole.persistlog"/> |
| michael@0 | 44 | </vbox> |
| michael@0 | 45 | <label value="&options.context.inspector;"/> |
| michael@0 | 46 | <vbox id="inspector-options" class="options-groupbox"> |
| michael@0 | 47 | <hbox align="center"> |
| michael@0 | 48 | <label value="&options.defaultColorUnit.label;" |
| michael@0 | 49 | control="defaultColorUnitMenuList" |
| michael@0 | 50 | accesskey="&options.defaultColorUnit.accesskey;"/> |
| michael@0 | 51 | <menulist id="defaultColorUnitMenuList" |
| michael@0 | 52 | label="&options.defaultColorUnit.label;" |
| michael@0 | 53 | data-pref="devtools.defaultColorUnit"> |
| michael@0 | 54 | <menupopup> |
| michael@0 | 55 | <menuitem label="&options.defaultColorUnit.hex;" value="hex"/> |
| michael@0 | 56 | <menuitem label="&options.defaultColorUnit.hsl;" value="hsl"/> |
| michael@0 | 57 | <menuitem label="&options.defaultColorUnit.rgb;" value="rgb"/> |
| michael@0 | 58 | <menuitem label="&options.defaultColorUnit.name;" value="name"/> |
| michael@0 | 59 | </menupopup> |
| michael@0 | 60 | </menulist> |
| michael@0 | 61 | </hbox> |
| michael@0 | 62 | </vbox> |
| michael@0 | 63 | <label value="&options.webconsole.label;"/> |
| michael@0 | 64 | <vbox id="webconsole-options" class="options-groupbox"> |
| michael@0 | 65 | <checkbox id="webconsole-timestamp-messages" |
| michael@0 | 66 | label="&options.timestampMessages.label;" |
| michael@0 | 67 | tooltiptext="&options.timestampMessages.tooltip;" |
| michael@0 | 68 | data-pref="devtools.webconsole.timestampMessages"/> |
| michael@0 | 69 | </vbox> |
| michael@0 | 70 | <label value="&options.styleeditor.label;"/> |
| michael@0 | 71 | <vbox id="styleeditor-options" class="options-groupbox"> |
| michael@0 | 72 | <checkbox label="&options.stylesheetSourceMaps.label;" |
| michael@0 | 73 | tooltiptext="&options.stylesheetSourceMaps.tooltip;" |
| michael@0 | 74 | data-pref="devtools.styleeditor.source-maps-enabled"/> |
| michael@0 | 75 | <checkbox label="&options.stylesheetAutocompletion.label;" |
| michael@0 | 76 | tooltiptext="&options.stylesheetAutocompletion.tooltip;" |
| michael@0 | 77 | data-pref="devtools.styleeditor.autocompletion-enabled"/> |
| michael@0 | 78 | </vbox> |
| michael@0 | 79 | <label value="&options.profiler.label;"/> |
| michael@0 | 80 | <vbox id="profiler-options" class="options-groupbox"> |
| michael@0 | 81 | <checkbox label="&options.showPlatformData.label;" |
| michael@0 | 82 | tooltiptext="&options.showPlatformData.tooltip;" |
| michael@0 | 83 | data-pref="devtools.profiler.ui.show-platform-data"/> |
| michael@0 | 84 | </vbox> |
| michael@0 | 85 | <label value="&options.context.advancedSettings;"/> |
| michael@0 | 86 | <vbox id="context-options" class="options-groupbox"> |
| michael@0 | 87 | <checkbox id="devtools-disable-cache" |
| michael@0 | 88 | label="&options.disableCache.label;" |
| michael@0 | 89 | tooltiptext="&options.disableCache.tooltip;"/> |
| michael@0 | 90 | <checkbox id="devtools-disable-javascript" |
| michael@0 | 91 | label="&options.disableJavaScript.label;" |
| michael@0 | 92 | tooltiptext="&options.disableJavaScript.tooltip;"/> |
| michael@0 | 93 | <hbox class="hidden-labels-box"> |
| michael@0 | 94 | <checkbox label="&options.enableChrome.label4;" |
| michael@0 | 95 | tooltiptext="&options.enableChrome.tooltip2;" |
| michael@0 | 96 | data-pref="devtools.chrome.enabled"/> |
| michael@0 | 97 | </hbox> |
| michael@0 | 98 | <hbox class="hidden-labels-box"> |
| michael@0 | 99 | <checkbox label="&options.enableRemote.label3;" |
| michael@0 | 100 | tooltiptext="&options.enableRemote.tooltip;" |
| michael@0 | 101 | data-pref="devtools.debugger.remote-enabled"/> |
| michael@0 | 102 | </hbox> |
| michael@0 | 103 | <label class="options-citation-label" |
| michael@0 | 104 | value="&options.context.triggersPageRefresh;"/> |
| michael@0 | 105 | </vbox> |
| michael@0 | 106 | </vbox> |
| michael@0 | 107 | </hbox> |
| michael@0 | 108 | </hbox> |
| michael@0 | 109 | </window> |
