2 <?xml-stylesheet href="chrome://webdeveloper/content/dashboard/edit_html.css" type="text/css"?>
3 <?xml-stylesheet href="chrome://webdeveloper/skin/webdeveloper.css" type="text/css"?>
5 <!DOCTYPE window SYSTEM "chrome://webdeveloper/locale/dashboard.dtd">
7 <window id="webdeveloper-edit-html-dashboard"
8 onload="webdeveloper_initializeEditHTML()"
9 onunload="webdeveloper_unloadEditHTML()"
10 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
12 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/dom.js"/>
13 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/preferences.js"/>
14 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/prompt.js"/>
15 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/string.js"/>
16 <script type="application/x-javascript" src="chrome://webdeveloper/content/dashboard/edit_html.js"/>
18 <stringbundleset id="stringbundleset">
19 <stringbundle id="webdeveloper-string-bundle" src="chrome://webdeveloper/locale/webdeveloper.properties"/>
23 <toolbarbutton id="webdeveloper-save-dashboard" tooltiptext="&webdeveloper.save.label;" oncommand="webdeveloper_saveHTML()"/>
25 <toolbarbutton id="webdeveloper-clear-dashboard" tooltiptext="&webdeveloper.clear.label;" oncommand="webdeveloper_clearHTML()"/>
26 <toolbarbutton id="webdeveloper-reset-dashboard" tooltiptext="&webdeveloper.reset.label;" oncommand="webdeveloper_resetHTML()"/>
28 <toolbarbutton id="webdeveloper-apply-html-dashboard" tooltiptext="&webdeveloper.apply.label;" oncommand="webdeveloper_applyHTML()"/>
30 <textbox id="webdeveloper-search-dashboard-text" size="20"/>
31 <toolbarbutton id="webdeveloper-search-dashboard" tooltiptext="&webdeveloper.search.label;" oncommand="webdeveloper_searchHTML()"/>
33 <label control="webdeveloper-edit-html-text-box" value="&webdeveloper.html.body.label;"/>
34 <textbox flex="1" id="webdeveloper-edit-html-text-box" multiline="true"/>