tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

toolbox-options.html (11907B)


      1 <!-- This Source Code Form is subject to the terms of the Mozilla Public
      2   - License, v. 2.0. If a copy of the MPL was not distributed with this
      3   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
      4 <!doctype html>
      5 <html dir="">
      6  <head>
      7    <title>Toolbox option</title>
      8    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
      9    <meta
     10      http-equiv="Content-Security-Policy"
     11      content="default-src chrome: resource:; style-src chrome: resource: 'unsafe-inline';"
     12    />
     13    <link
     14      rel="stylesheet"
     15      href="chrome://devtools/content/framework/options-panel.css"
     16    />
     17    <script src="chrome://devtools/content/shared/theme-switching.js"></script>
     18    <link rel="localization" href="devtools/client/toolbox-options.ftl" />
     19  </head>
     20  <body role="application" class="theme-body">
     21    <form id="options-panel">
     22      <div id="tools-box" class="options-vertical-pane">
     23        <fieldset id="default-tools-box" class="options-groupbox">
     24          <legend data-l10n-id="options-select-default-tools-label"></legend>
     25          <span
     26            id="tools-not-supported-label"
     27            class="options-citation-label theme-comment"
     28            data-l10n-id="options-tool-not-supported-label"
     29          ></span>
     30        </fieldset>
     31 
     32        <fieldset id="additional-tools-box" class="options-groupbox">
     33          <legend data-l10n-id="options-select-additional-tools-label"></legend>
     34        </fieldset>
     35 
     36        <fieldset id="enabled-toolbox-buttons-box" class="options-groupbox">
     37          <legend
     38            data-l10n-id="options-select-enabled-toolbox-buttons-label"
     39          ></legend>
     40        </fieldset>
     41      </div>
     42 
     43      <div class="options-vertical-pane">
     44        <fieldset
     45          id="devtools-theme-box"
     46          class="options-groupbox horizontal-options-groupbox radiogroup"
     47          data-pref="devtools.theme"
     48        >
     49          <legend data-l10n-id="options-select-dev-tools-theme-label"></legend>
     50        </fieldset>
     51 
     52        <fieldset id="inspector-options" class="options-groupbox">
     53          <legend data-l10n-id="options-context-inspector"></legend>
     54          <label data-l10n-id="options-show-user-agent-styles-tooltip">
     55            <input
     56              type="checkbox"
     57              data-pref="devtools.inspector.showUserAgentStyles"
     58            />
     59            <span data-l10n-id="options-show-user-agent-styles-label"></span>
     60          </label>
     61          <label data-l10n-id="options-show-user-agent-shadow-dom-tooltip">
     62            <input
     63              type="checkbox"
     64              data-pref="devtools.inspector.showAllAnonymousContent"
     65              data-force-reload
     66            />
     67            <span
     68              data-l10n-id="options-show-user-agent-shadow-dom-label"
     69            ></span>
     70            <span
     71              class="option-secondary-label"
     72              data-l10n-id="options-context-triggers-page-refresh-persists"
     73            ></span>
     74          </label>
     75          <label data-l10n-id="options-collapse-attrs-tooltip">
     76            <input
     77              type="checkbox"
     78              data-pref="devtools.markup.collapseAttributes"
     79            />
     80            <span data-l10n-id="options-collapse-attrs-label"></span>
     81          </label>
     82          <label data-l10n-id="options-inspector-draggable-properties-tooltip">
     83            <input
     84              type="checkbox"
     85              data-pref="devtools.inspector.draggable_properties"
     86            />
     87            <span
     88              data-l10n-id="options-inspector-draggable-properties-label"
     89            ></span>
     90          </label>
     91          <label
     92            data-l10n-id="options-inspector-simplified-highlighters-tooltip"
     93          >
     94            <input
     95              type="checkbox"
     96              data-pref="devtools.inspector.simple-highlighters-reduced-motion"
     97            />
     98            <span
     99              data-l10n-id="options-inspector-simplified-highlighters-label"
    100            ></span>
    101          </label>
    102          <label
    103            data-l10n-id="options-inspector-rules-focus-next-on-enter-tooltip"
    104          >
    105            <input
    106              type="checkbox"
    107              data-pref="devtools.inspector.rule-view.focusNextOnEnter"
    108            />
    109            <span
    110              data-l10n-id="options-inspector-rules-focus-next-on-enter-label"
    111            ></span>
    112          </label>
    113          <label>
    114            <span data-l10n-id="options-default-color-unit-label"></span>
    115            <select
    116              id="defaultColorUnitMenuList"
    117              data-pref="devtools.defaultColorUnit"
    118            >
    119              <option
    120                value="authored"
    121                data-l10n-id="options-default-color-unit-authored"
    122              ></option>
    123              <option
    124                value="hex"
    125                data-l10n-id="options-default-color-unit-hex"
    126              ></option>
    127              <option
    128                value="hsl"
    129                data-l10n-id="options-default-color-unit-hsl"
    130              ></option>
    131              <option
    132                value="rgb"
    133                data-l10n-id="options-default-color-unit-rgb"
    134              ></option>
    135              <option
    136                value="hwb"
    137                data-l10n-id="options-default-color-unit-hwb"
    138              ></option>
    139              <option
    140                value="name"
    141                data-l10n-id="options-default-color-unit-name"
    142              ></option>
    143            </select>
    144          </label>
    145        </fieldset>
    146 
    147        <fieldset id="webconsole-options" class="options-groupbox">
    148          <legend data-l10n-id="options-webconsole-label"></legend>
    149          <label data-l10n-id="options-webconsole-split-console-tooltip">
    150            <input
    151              type="checkbox"
    152              id="devtools-enable-split-console"
    153              data-pref="devtools.toolbox.splitconsole.enabled"
    154            />
    155            <span data-l10n-id="options-webconsole-split-console-label"></span>
    156          </label>
    157        </fieldset>
    158 
    159        <fieldset id="styleeditor-options" class="options-groupbox">
    160          <legend data-l10n-id="options-styleeditor-label"></legend>
    161          <label data-l10n-id="options-stylesheet-autocompletion-tooltip">
    162            <input
    163              type="checkbox"
    164              data-pref="devtools.styleeditor.autocompletion-enabled"
    165            />
    166            <span data-l10n-id="options-stylesheet-autocompletion-label"></span>
    167          </label>
    168        </fieldset>
    169 
    170        <fieldset id="screenshot-options" class="options-groupbox">
    171          <legend data-l10n-id="options-screenshot-label"></legend>
    172          <label data-l10n-id="options-screenshot-clipboard-tooltip2">
    173            <input
    174              type="checkbox"
    175              id="devtools-screenshot-clipboard"
    176              data-pref="devtools.screenshot.clipboard.enabled"
    177            />
    178            <span data-l10n-id="options-screenshot-clipboard-only-label"></span>
    179          </label>
    180          <label data-l10n-id="options-screenshot-audio-tooltip">
    181            <input
    182              type="checkbox"
    183              id="devtools-screenshot-audio"
    184              data-pref="devtools.screenshot.audio.enabled"
    185            />
    186            <span data-l10n-id="options-screenshot-audio-label"></span>
    187          </label>
    188        </fieldset>
    189      </div>
    190 
    191      <div class="options-vertical-pane">
    192        <fieldset id="sourceeditor-options" class="options-groupbox">
    193          <legend data-l10n-id="options-sourceeditor-label"></legend>
    194          <label data-l10n-id="options-sourceeditor-detectindentation-tooltip">
    195            <input
    196              type="checkbox"
    197              id="devtools-sourceeditor-detectindentation"
    198              data-pref="devtools.editor.detectindentation"
    199            />
    200            <span
    201              data-l10n-id="options-sourceeditor-detectindentation-label"
    202            ></span>
    203          </label>
    204          <label data-l10n-id="options-sourceeditor-autoclosebrackets-tooltip">
    205            <input
    206              type="checkbox"
    207              id="devtools-sourceeditor-autoclosebrackets"
    208              data-pref="devtools.editor.autoclosebrackets"
    209            />
    210            <span
    211              data-l10n-id="options-sourceeditor-autoclosebrackets-label"
    212            ></span>
    213          </label>
    214          <label data-l10n-id="options-sourceeditor-expandtab-tooltip">
    215            <input
    216              type="checkbox"
    217              id="devtools-sourceeditor-expandtab"
    218              data-pref="devtools.editor.expandtab"
    219            />
    220            <span data-l10n-id="options-sourceeditor-expandtab-label"></span>
    221          </label>
    222          <label>
    223            <span data-l10n-id="options-sourceeditor-tabsize-label"></span>
    224            <select
    225              id="devtools-sourceeditor-tabsize-select"
    226              data-pref="devtools.editor.tabsize"
    227            >
    228              <option label="2">2</option>
    229              <option label="4">4</option>
    230              <option label="8">8</option>
    231            </select>
    232          </label>
    233          <label>
    234            <span data-l10n-id="options-sourceeditor-keybinding-label"></span>
    235            <select
    236              id="devtools-sourceeditor-keybinding-select"
    237              data-pref="devtools.editor.keymap"
    238            >
    239              <option
    240                value="default"
    241                data-l10n-id="options-sourceeditor-keybinding-default-label"
    242              ></option>
    243              <option value="vim">Vim</option>
    244              <option value="emacs">Emacs</option>
    245              <option value="sublime">Sublime Text</option>
    246            </select>
    247          </label>
    248        </fieldset>
    249 
    250        <fieldset id="context-options" class="options-groupbox">
    251          <legend data-l10n-id="options-context-advanced-settings"></legend>
    252          <label data-l10n-id="options-source-maps-tooltip">
    253            <input
    254              type="checkbox"
    255              data-pref="devtools.source-map.client-service.enabled"
    256            />
    257            <span data-l10n-id="options-source-maps-label"></span>
    258          </label>
    259          <label data-l10n-id="options-disable-http-cache-tooltip">
    260            <input
    261              type="checkbox"
    262              id="devtools-disable-cache"
    263              data-pref="devtools.cache.disabled"
    264            />
    265            <span data-l10n-id="options-disable-http-cache-label"></span>
    266          </label>
    267          <label data-l10n-id="options-disable-javascript-tooltip">
    268            <input type="checkbox" id="devtools-disable-javascript" />
    269            <span data-l10n-id="options-disable-javascript-label-2"></span>
    270            <span
    271              class="option-secondary-label"
    272              data-l10n-id="options-context-triggers-page-refresh-temporary"
    273            ></span>
    274          </label>
    275          <label data-l10n-id="options-enable-service-workers-http-tooltip">
    276            <input
    277              type="checkbox"
    278              id="devtools-enable-serviceWorkersTesting"
    279              data-pref="devtools.serviceWorkers.testing.enabled"
    280            />
    281            <span
    282              data-l10n-id="options-enable-service-workers-http-label"
    283            ></span>
    284          </label>
    285          <label data-l10n-id="options-enable-chrome-tooltip">
    286            <input type="checkbox" data-pref="devtools.chrome.enabled" />
    287            <span data-l10n-id="options-enable-chrome-label"></span>
    288          </label>
    289          <label data-l10n-id="options-enable-remote-tooltip2">
    290            <input
    291              type="checkbox"
    292              data-pref="devtools.debugger.remote-enabled"
    293            />
    294            <span data-l10n-id="options-enable-remote-label"></span>
    295          </label>
    296          <label data-l10n-id="options-enable-f12-tooltip">
    297            <input type="checkbox" data-pref="devtools.f12_enabled" />
    298            <span data-l10n-id="options-enable-f12-label"></span>
    299          </label>
    300        </fieldset>
    301      </div>
    302    </form>
    303  </body>
    304 </html>