|  | <?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> |