blob: 5aebd48e7f2fd8d96ce85e6a2cdee3c6c1f02dcf [file] [log] [blame]
<?xml version="1.0"?>
<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
<dialog buttons="accept"
id="gwt-dmp-prefs"
title="GWT Development Mode Plugin Options"
onload="GwtDevelopmentModePlugin.onload()"
ondialogaccept="return true;"
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
<script type="application/x-javascript"
src="chrome://gwt-dmp/content/prefScript.js"/>
<vbox flex="1">
<groupbox flex="1">
<caption>
<hbox>
<image src="chrome://gwt-dmp/skin/warning.png"/>
<label value="Security Restrictions" style="font-weight: bold"/>
</hbox>
</caption>
<description width="55em">
The GWT Development Mode 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="GwtDevelopmentModePlugin.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="GwtDevelopmentModePlugin.removeEntry()"/>
<!-- TODO(jat): add move up/down buttons -->
</hbox>
</vbox>
</dialog>