blob: d7e45c5de360ac19bb43bef3f732b5ade3ef9087 [file] [log] [blame]
<?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 servers 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>
<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"/>
</listhead>
<listcols>
<listcol/>
<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>