| <?xml version="1.0"?> | 
 | <?xml-stylesheet href="chrome://global/skin/" type="text/css"?> | 
 |  | 
 | <dialog buttons="accept" | 
 |      id="gwt-dev-prefs" | 
 |      title="GWT Developer Plugin Options" | 
 |      onload="GwtDeveloperPlugin.onload()" | 
 |      ondialogaccept="return true;" | 
 |      xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> | 
 |  | 
 | <script type="application/x-javascript" | 
 |     src="chrome://gwt-dev-plugin/content/prefScript.js"/> | 
 |  | 
 | <vbox flex="1"> | 
 |  | 
 |   <groupbox flex="1"> | 
 |     <caption> | 
 |       <hbox> | 
 |         <image src="chrome://gwt-dev-plugin/skin/warning.png"/> | 
 |         <label value="Security Restrictions" style="font-weight: bold"/> | 
 |       </hbox> | 
 |     </caption> | 
 |     <description width="55em"> | 
 |       The GWT Developer Plugin will open a TCP/IP connection to an | 
 |       arbitrary host/port at the request of a web page.  To minimize security | 
 |       risks, by default it will only connect to the local machine.  To allow | 
 |       cross-machine debugging, you can add exceptions here -- include the exact | 
 |       host name of the web and code server you will use for debugging, but do not | 
 |       include any you do not trust. | 
 |     </description> | 
 |   </groupbox> | 
 |  | 
 |   <hbox align="top" flex="1"> | 
 |     <hbox align="center" flex="1"> | 
 |       <label control="hostname" value="Host name: "/> | 
 |       <textbox id="hostname" maxlength="40" flex="1"/> | 
 |     </hbox> | 
 |     <hbox align="center" flex="1"> | 
 |       <label control="codeserver" value="Code server: "/> | 
 |       <textbox id="codeserver" maxlength="40" flex="1"/> | 
 |     </hbox> | 
 |     <radiogroup id="incexc"> | 
 |       <radio id="include" label="Include" selected="true"/> | 
 |       <radio id="exclude" label="Exclude"/> | 
 |     </radiogroup> | 
 |     <button id="addButton" label="Add Entry" oncommand="GwtDeveloperPlugin.addEntry()"/> | 
 |   </hbox> | 
 |  | 
 |   <listbox id="accessListListbox" rows="5"> | 
 |     <listhead> | 
 |       <listheader label="Inc/Exc"/> | 
 |       <listheader label="Host Name"/> | 
 |       <listheader label="Code Server"/> | 
 |     </listhead> | 
 |     <listcols> | 
 |       <listcol/> | 
 |       <listcol flex="1"/> | 
 |       <listcol flex="1"/> | 
 |     </listcols> | 
 |   </listbox> | 
 |  | 
 |   <hbox> | 
 |     <button id="removeButton" label="Remove Selected" | 
 |         oncommand="GwtDeveloperPlugin.removeEntry()"/> | 
 |     <!-- TODO(jat): add move up/down buttons --> | 
 |   </hbox> | 
 |  | 
 | </vbox> | 
 |  | 
 | </dialog> |