2 <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
4 <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
6 <page onload="parent.webdeveloper_initializeGeneral()"
7 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
10 <caption label="&webdeveloper.general.caption;"/>
11 <checkbox id="webdeveloper.context.hide" label="&webdeveloper.context.hide;"/>
12 <checkbox id="webdeveloper.menu.hide" label="&webdeveloper.menu.hide;"/>
13 <checkbox id="webdeveloper.confirmation.dialogs.hide" label="&webdeveloper.confirmation.dialogs.hide;"/>
14 <checkbox id="webdeveloper.informational.dialogs.hide" label="&webdeveloper.informational.dialogs.hide;"/>
17 <label control="webdeveloper.toolbar.icons" value="&webdeveloper.toolbar.icons;"/>
18 <menulist id="webdeveloper.toolbar.icons">
20 <menuitem label="&webdeveloper.icons.text;" value="full"/>
21 <menuitem label="&webdeveloper.icons;" value="icons"/>
22 <menuitem label="&webdeveloper.text;" value="text"/>
28 <caption label="&webdeveloper.tabs.windows.caption;"/>
29 <checkbox id="webdeveloper.open.tabs" label="&webdeveloper.open.tabs;" oncommand="parent.webdeveloper_updateTabOptionStatus()"/>
30 <checkbox id="webdeveloper.open.tabs.background" class="indent" label="&webdeveloper.open.tabs.background;"/>
34 <button label="&webdeveloper.options.reset;" oncommand="parent.webdeveloper_resetOptions()"/>