1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/browser/devtools/framework/toolbox-options.xul Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,109 @@
1.4 +<?xml version="1.0" encoding="utf-8"?>
1.5 +<!-- This Source Code Form is subject to the terms of the Mozilla Public
1.6 + - License, v. 2.0. If a copy of the MPL was not distributed with this
1.7 + - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
1.8 +<!DOCTYPE window [
1.9 +<!ENTITY % toolboxDTD SYSTEM "chrome://browser/locale/devtools/toolbox.dtd" >
1.10 + %toolboxDTD;
1.11 +]>
1.12 +<?xml-stylesheet href="chrome://browser/skin/" type="text/css"?>
1.13 +<?xml-stylesheet rel="stylesheet" href="chrome://browser/content/devtools/framework/options-panel.css" type="text/css"?>
1.14 +
1.15 +<window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
1.16 +
1.17 + <script type="application/javascript;version=1.8"
1.18 + src="chrome://browser/content/devtools/theme-switching.js"/>
1.19 + <hbox id="options-panel-container" flex="1">
1.20 + <hbox id="options-panel" class="theme-body" flex="1">
1.21 + <vbox id="tools-box" class="options-vertical-pane" flex="1">
1.22 + <label value="&options.selectDefaultTools.label;"/>
1.23 + <vbox id="default-tools-box" class="options-groupbox" tabindex="0"/>
1.24 + <label value="&options.selectAdditionalTools.label;"/>
1.25 + <vbox id="additional-tools-box" class="options-groupbox"/>
1.26 + <label value="&options.selectEnabledToolboxButtons.label;"/>
1.27 + <vbox id="enabled-toolbox-buttons-box" class="options-groupbox"/>
1.28 + <label id="tools-not-supported-label"
1.29 + class="options-citation-label theme-comment"
1.30 + value="&options.toolNotSupported.label;"/>
1.31 +
1.32 + </vbox>
1.33 + <vbox class="options-vertical-pane" flex="1">
1.34 + <label value="&options.selectDevToolsTheme.label;"/>
1.35 + <radiogroup id="devtools-theme-box"
1.36 + class="options-groupbox"
1.37 + data-pref="devtools.theme"
1.38 + orient="horizontal">
1.39 + <radio value="light" label="&options.lightTheme.label;"/>
1.40 + <radio value="dark" label="&options.darkTheme.label;"/>
1.41 + </radiogroup>
1.42 + <label value="&options.commonPrefs.label;"/>
1.43 + <vbox id="commonprefs-options" class="options-groupbox">
1.44 + <checkbox label="&options.enablePersistentLogging.label;"
1.45 + tooltiptext="&options.enablePersistentLogging.tooltip;"
1.46 + data-pref="devtools.webconsole.persistlog"/>
1.47 + </vbox>
1.48 + <label value="&options.context.inspector;"/>
1.49 + <vbox id="inspector-options" class="options-groupbox">
1.50 + <hbox align="center">
1.51 + <label value="&options.defaultColorUnit.label;"
1.52 + control="defaultColorUnitMenuList"
1.53 + accesskey="&options.defaultColorUnit.accesskey;"/>
1.54 + <menulist id="defaultColorUnitMenuList"
1.55 + label="&options.defaultColorUnit.label;"
1.56 + data-pref="devtools.defaultColorUnit">
1.57 + <menupopup>
1.58 + <menuitem label="&options.defaultColorUnit.hex;" value="hex"/>
1.59 + <menuitem label="&options.defaultColorUnit.hsl;" value="hsl"/>
1.60 + <menuitem label="&options.defaultColorUnit.rgb;" value="rgb"/>
1.61 + <menuitem label="&options.defaultColorUnit.name;" value="name"/>
1.62 + </menupopup>
1.63 + </menulist>
1.64 + </hbox>
1.65 + </vbox>
1.66 + <label value="&options.webconsole.label;"/>
1.67 + <vbox id="webconsole-options" class="options-groupbox">
1.68 + <checkbox id="webconsole-timestamp-messages"
1.69 + label="&options.timestampMessages.label;"
1.70 + tooltiptext="&options.timestampMessages.tooltip;"
1.71 + data-pref="devtools.webconsole.timestampMessages"/>
1.72 + </vbox>
1.73 + <label value="&options.styleeditor.label;"/>
1.74 + <vbox id="styleeditor-options" class="options-groupbox">
1.75 + <checkbox label="&options.stylesheetSourceMaps.label;"
1.76 + tooltiptext="&options.stylesheetSourceMaps.tooltip;"
1.77 + data-pref="devtools.styleeditor.source-maps-enabled"/>
1.78 + <checkbox label="&options.stylesheetAutocompletion.label;"
1.79 + tooltiptext="&options.stylesheetAutocompletion.tooltip;"
1.80 + data-pref="devtools.styleeditor.autocompletion-enabled"/>
1.81 + </vbox>
1.82 + <label value="&options.profiler.label;"/>
1.83 + <vbox id="profiler-options" class="options-groupbox">
1.84 + <checkbox label="&options.showPlatformData.label;"
1.85 + tooltiptext="&options.showPlatformData.tooltip;"
1.86 + data-pref="devtools.profiler.ui.show-platform-data"/>
1.87 + </vbox>
1.88 + <label value="&options.context.advancedSettings;"/>
1.89 + <vbox id="context-options" class="options-groupbox">
1.90 + <checkbox id="devtools-disable-cache"
1.91 + label="&options.disableCache.label;"
1.92 + tooltiptext="&options.disableCache.tooltip;"/>
1.93 + <checkbox id="devtools-disable-javascript"
1.94 + label="&options.disableJavaScript.label;"
1.95 + tooltiptext="&options.disableJavaScript.tooltip;"/>
1.96 + <hbox class="hidden-labels-box">
1.97 + <checkbox label="&options.enableChrome.label4;"
1.98 + tooltiptext="&options.enableChrome.tooltip2;"
1.99 + data-pref="devtools.chrome.enabled"/>
1.100 + </hbox>
1.101 + <hbox class="hidden-labels-box">
1.102 + <checkbox label="&options.enableRemote.label3;"
1.103 + tooltiptext="&options.enableRemote.tooltip;"
1.104 + data-pref="devtools.debugger.remote-enabled"/>
1.105 + </hbox>
1.106 + <label class="options-citation-label"
1.107 + value="&options.context.triggersPageRefresh;"/>
1.108 + </vbox>
1.109 + </vbox>
1.110 + </hbox>
1.111 + </hbox>
1.112 +</window>
