diff options
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.xul')
| -rw-r--r-- | data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.xul | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.xul b/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.xul new file mode 100644 index 0000000..caa0048 --- /dev/null +++ b/data/extensions/https-everywhere@eff.org/chrome/content/fetch-source.xul @@ -0,0 +1,29 @@ +<?xml version="1.0" encoding="UTF-8"?> +<?xml-stylesheet href="chrome://global/skin/" type="text/css"?> + +<!DOCTYPE overlay SYSTEM "chrome://https-everywhere/locale/https-everywhere.dtd"> + +<dialog id="https-everywhere-fetch-xml" + xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" + xmlns:html="http://www.w3.org/1999/xhtml" + title="&https-everywhere.prefs.view_xml_source;" + persist="screenX screenY width height" + style="height:80%; resize:both;" + buttons="accept" + height="600" + width="650"> + + + <script type="application/x-javascript" src="fetch-source.js"/> + <box orient="horizontal"> + <label id="filename-label" value="&https-everywhere.source.filename;:"/> + <label id="filename-text"/> + </box> + <box orient="horizontal"> + <label id="path-label" value="URL:"/> + <label id="path-text"/> + </box> + <separator class="thin"/> + <textbox id="source-text" multiline="true" readonly="true" value="&https-everywhere.source.downloading;..."/> + <label id="failure-label" hidden="true" value="&https-everywhere.source.unable_to_download;"/> +</dialog> |