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