blob: aebefbc97739d7ed37732ca8dc67f63f4c2535a9 [file] [log] [blame]
<?xml version="1.0"?>
<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
<dialog buttons="accept"
title="GWT Developer Plugin Options"
ondialogaccept="return true;"
<script type="application/x-javascript"
<vbox flex="1">
<groupbox flex="1">
<image src="chrome://gwt-dev-plugin/skin/warning.png"/>
<label value="Security Restrictions" style="font-weight: bold"/>
<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.
<hbox align="top" flex="1">
<hbox align="center" flex="1">
<label control="hostname" value="Host name: "/>
<textbox id="hostname" maxlength="40" flex="1"/>
<radiogroup id="incexc">
<radio id="include" label="Include" selected="true"/>
<radio id="exclude" label="Exclude"/>
<button id="addButton" label="Add Entry" oncommand="GwtDevelopmentModePlugin.addEntry()"/>
<listbox id="accessListListbox" rows="5">
<listheader label="Inc/Exc"/>
<listheader label="Host Name"/>
<listcol flex="1"/>
<button id="removeButton" label="Remove Selected"
<!-- TODO(jat): add move up/down buttons -->