2 <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
4 <!DOCTYPE dialog SYSTEM "chrome://webdeveloper/locale/options.dtd">
6 <dialog buttons="accept, cancel"
7 id="webdeveloper-options-dialog"
8 ondialogaccept="webdeveloper_saveOptions()"
9 onload="webdeveloper_initializeOptions(true)"
10 title="&webdeveloper.options.title;"
11 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
13 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/dom.js"/>
14 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/preferences.js"/>
15 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/platform.js"/>
16 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/prompt.js"/>
17 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/string.js"/>
18 <script type="application/x-javascript" src="chrome://webdeveloper/content/options/options.js"/>
19 <script type="application/x-javascript" src="chrome://webdeveloper/content/upgrade.js"/>
20 <script type="application/x-javascript" src="chrome://webdeveloper/content/webdeveloper.js"/>
22 <stringbundleset id="stringbundleset">
23 <stringbundle id="webdeveloper-string-bundle" src="chrome://webdeveloper/locale/webdeveloper.properties"/>
27 <listbox id="webdeveloper-options-page-list" onselect="webdeveloper_changePage(this)">
28 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/general.png" label="&webdeveloper.options.general.label;" selected="true" value="chrome://webdeveloper/content/options/pages/general.xul"/>
29 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/colors-fonts.png" label="&webdeveloper.options.colors.fonts.label;" value="chrome://webdeveloper/content/options/pages/colors_fonts.xul"/>
30 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/dashboard.png" label="&webdeveloper.options.dashboard.label;" value="chrome://webdeveloper/content/options/pages/dashboard.xul"/>
31 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/keys.png" label="&webdeveloper.options.keys.label;" value="chrome://webdeveloper/content/options/pages/keys.xul"/>
32 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/miscellaneous.png" label="&webdeveloper.options.miscellaneous.label;" value="chrome://webdeveloper/content/options/pages/miscellaneous.xul"/>
33 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/resize.png" label="&webdeveloper.options.resize.label;" value="chrome://webdeveloper/content/options/pages/resize.xul"/>
34 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/tools.png" label="&webdeveloper.options.tools.label;" value="chrome://webdeveloper/content/options/pages/tools.xul"/>
35 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/validation.png" label="&webdeveloper.options.validation.label;" value="chrome://webdeveloper/content/options/pages/validation.xul"/>
36 <listitem class="listitem-iconic" image="chrome://webdeveloper/skin/options/view-source.png" label="&webdeveloper.options.view.source.label;" value="chrome://webdeveloper/content/options/pages/view_source.xul"/>
39 <iframe flex="1" id="webdeveloper-options-iframe" src="chrome://webdeveloper/content/options/pages/general.xul"/>