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