browser/devtools/framework/toolbox-options.xul

   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>&options.selectDefaultTools.label;</label>
  20         <vbox id="default-tools-box" class="options-groupbox" tabindex="0"/>
  21         <label>&options.selectAdditionalTools.label;</label>
  22         <vbox id="additional-tools-box" class="options-groupbox"/>
  23         <label>&options.selectEnabledToolboxButtons.label;</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         >&options.toolNotSupported.label;</label>
  28
  29       </vbox>
  30       <vbox class="options-vertical-pane" flex="1">
  31         <label>&options.selectDevToolsTheme.label2;</label>
  32         <vbox id="theme-options" class="options-groupbox">
  33           <radiogroup id="devtools-theme-box"
  34                       class="options-groupbox"
  35                       data-pref="devtools.theme"
  36                       orient="horizontal">
  37           </radiogroup>
  38           <checkbox id="devtools-browser-theme"
  39                     label="&options.usedeveditiontheme.label;"
  40                     tooltiptext="&options.usedeveditiontheme.tooltip;"/>
  41         </vbox>
  42         <label>&options.commonPrefs.label;</label>
  43         <vbox id="commonprefs-options" class="options-groupbox">
  44           <checkbox label="&options.enablePersistentLogs.label;"
  45                     tooltiptext="&options.enablePersistentLogs.tooltip;"
  46                     data-pref="devtools.webconsole.persistlog"/>
  47         </vbox>
  48         <label>&options.context.inspector;</label>
  49         <vbox id="inspector-options" class="options-groupbox">
  50           <checkbox label="&options.showUserAgentStyles.label;"
  51                     tooltiptext="&options.showUserAgentStyles.tooltip;"
  52                     data-pref="devtools.inspector.showUserAgentStyles"/>
  53           <description>
  54             <label control="defaultColorUnitMenuList"
  55                    accesskey="&options.defaultColorUnit.accesskey;"
  56             >&options.defaultColorUnit.label;</label>
  57             <hbox>
  58               <menulist id="defaultColorUnitMenuList"
  59                         data-pref="devtools.defaultColorUnit">
  60                 <menupopup>
  61                   <menuitem label="&options.defaultColorUnit.hex;" value="hex"/>
  62                   <menuitem label="&options.defaultColorUnit.hsl;" value="hsl"/>
  63                   <menuitem label="&options.defaultColorUnit.rgb;" value="rgb"/>
  64                   <menuitem label="&options.defaultColorUnit.name;" value="name"/>
  65                 </menupopup>
  66               </menulist>
  67             </hbox>
  68           </description>
  69         </vbox>
  70         <label>&options.webconsole.label;</label>
  71         <vbox id="webconsole-options" class="options-groupbox">
  72           <checkbox id="webconsole-timestamp-messages"
  73                     label="&options.timestampMessages.label;"
  74                     tooltiptext="&options.timestampMessages.tooltip;"
  75                     data-pref="devtools.webconsole.timestampMessages"/>
  76         </vbox>
  77         <label>&options.styleeditor.label;</label>
  78         <vbox id="styleeditor-options" class="options-groupbox">
  79           <checkbox label="&options.stylesheetSourceMaps.label;"
  80                     tooltiptext="&options.stylesheetSourceMaps.tooltip;"
  81                     data-pref="devtools.styleeditor.source-maps-enabled"/>
  82           <checkbox label="&options.stylesheetAutocompletion.label;"
  83                     tooltiptext="&options.stylesheetAutocompletion.tooltip;"
  84                     data-pref="devtools.styleeditor.autocompletion-enabled"/>
  85         </vbox>
  86         <label>&options.profiler.label;</label>
  87         <vbox id="profiler-options" class="options-groupbox">
  88           <checkbox label="&options.showPlatformData.label;"
  89                     tooltiptext="&options.showPlatformData.tooltip;"
  90                     data-pref="devtools.profiler.ui.show-platform-data"/>
  91         </vbox>
  92       </vbox>
  93
  94       <vbox id="sourceeditor-box" class="options-vertical-pane" flex="1">
  95         <label>&options.sourceeditor.label;</label>
  96         <vbox id="sourceeditor-options" class="options-groupbox">
  97           <checkbox id="devtools-sourceeditor-detectindentation"
  98                     label="&options.sourceeditor.detectindentation.label;"
  99                     tooltiptext="&options.sourceeditor.detectindentation.tooltip;"
 100                     data-pref="devtools.editor.detectindentation"/>
 101           <checkbox id="devtools-sourceeditor-autoclosebrackets"
 102                     label="&options.sourceeditor.autoclosebrackets.label;"
 103                     tooltiptext="&options.sourceeditor.autoclosebrackets.tooltip;"
 104                     data-pref="devtools.editor.autoclosebrackets"/>
 105           <checkbox id="devtools-sourceeditor-expandtab"
 106                     label="&options.sourceeditor.expandtab.label;"
 107                     tooltiptext="&options.sourceeditor.expandtab.tooltip;"
 108                     data-pref="devtools.editor.expandtab"/>
 109           <description>
 110             <label control="devtools-sourceeditor-tabsize-menulist"
 111                    accesskey="&options.sourceeditor.tabsize.accesskey;"
 112             >&options.sourceeditor.tabsize.label;</label>
 113             <hbox>
 114               <menulist id="devtools-sourceeditor-tabsize-menulist"
 115                         data-pref="devtools.editor.tabsize">
 116                 <menupopup>
 117                   <menuitem label="2" value="2"/>
 118                   <menuitem label="4" value="4"/>
 119                   <menuitem label="8" value="8"/>
 120                 </menupopup>
 121               </menulist>
 122             </hbox>
 123           </description>
 124           <description>
 125             <label control="devtools-sourceeditor-keybinding-menulist"
 126                    accesskey="&options.sourceeditor.keybinding.accesskey;"
 127             >&options.sourceeditor.keybinding.label;</label>
 128             <hbox>
 129               <menulist id="devtools-sourceeditor-keybinding-menulist"
 130                         data-pref="devtools.editor.keymap">
 131                 <menupopup>
 132                   <menuitem value="default"
 133                             label="&options.sourceeditor.keybinding.default.label;"/>
 134                   <menuitem label="Vim" value="vim"/>
 135                   <menuitem label="Emacs" value="emacs"/>
 136                   <menuitem label="Sublime Text" value="sublime"/>
 137                 </menupopup>
 138               </menulist>
 139             </hbox>
 140           </description>
 141         </vbox>
 142         <label>&options.context.advancedSettings;</label>
 143         <vbox id="context-options" class="options-groupbox">
 144           <checkbox id="devtools-disable-cache"
 145                     label="&options.disableCache.label2;"
 146                     tooltiptext="&options.disableCache.tooltip2;"
 147                     data-pref="devtools.cache.disabled"/>
 148           <checkbox id="devtools-disable-javascript"
 149                     label="&options.disableJavaScript.label;"
 150                     tooltiptext="&options.disableJavaScript.tooltip;"/>
 151           <hbox class="hidden-labels-box">
 152             <checkbox label="&options.enableChrome.label4;"
 153                       tooltiptext="&options.enableChrome.tooltip2;"
 154                       data-pref="devtools.chrome.enabled"/>
 155           </hbox>
 156           <hbox class="hidden-labels-box">
 157             <checkbox label="&options.enableRemote.label3;"
 158                       tooltiptext="&options.enableRemote.tooltip;"
 159                       data-pref="devtools.debugger.remote-enabled"/>
 160           </hbox>
 161           <label class="options-citation-label theme-comment"
 162           >&options.context.triggersPageRefresh;</label>
 163         </vbox>
 164       </vbox>
 165     </hbox>
 166   </hbox>
 167 </window>