1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
<?xml version="1.0"?>
<!DOCTYPE overlay SYSTEM "chrome://web-developer/locale/options/options.dtd">
<overlay id="web-developer-options-colors-overlay" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
<prefpane id="web-developer-options-colors-pane" label="&webdeveloper.colors;">
<preferences>
<preference id="webdeveloper.syntax.highlight.theme" name="extensions.webdeveloper.syntax.highlight.theme" type="string"/>
<preference id="webdeveloper.toolbar.color" name="extensions.webdeveloper.toolbar.color" type="bool"/>
</preferences>
<description value="&webdeveloper.syntax.highlight.performance;"/>
<separator/>
<hbox align="center">
<label control="web-developer-syntax-highlight-theme" value="&webdeveloper.syntax.highlight.theme;"/>
<menulist id="web-developer-syntax-highlight-theme" preference="webdeveloper.syntax.highlight.theme" oncommand="WebDeveloper.Options.updateSyntaxHighlightTheme()">
<menupopup>
<menuitem value="dark" label="&webdeveloper.dark;"/>
<menuitem value="light" label="&webdeveloper.light;"/>
<menuitem value="none" label="&webdeveloper.none;"/>
</menupopup>
</menulist>
</hbox>
<separator/>
<description value="&webdeveloper.preview;"/>
<browser id="web-developer-syntax-highlight-browser" disablehistory="true" enablehistory="false" flex="1" src="chrome://web-developer/content/options/html/syntax-highlight.html"/>
<separator/>
<checkbox id="web-developer-toolbar-color" hidden="true" label="&webdeveloper.toolbar.color;" preference="webdeveloper.toolbar.color"/>
<separator/>
</prefpane>
</overlay>
|
