1 files changed, 63 insertions, 0 deletions
diff --git a/data/extensions/torproxy@icecat.gnu/settings.html b/data/extensions/torproxy@icecat.gnu/settings.html
new file mode 100644
index 0000000..1fe61c9
--- /dev/null
+++ b/data/extensions/torproxy@icecat.gnu/settings.html
@@ -0,0 +1,63 @@
+<!DOCTYPE html>
+<html>
+    <head>
+        <meta charset="utf-8">
+        <link rel="stylesheet" href="settings.css" />
+    </head>
+    <body>
+        <form>
+            <table class="configtable">
+                <tr>
+                    <th colspan="2">
+                        Proxy configuration
+                    </th>
+                </tr>
+                <tr>
+			<td colspan="2">The default values to use with a Tor service are:<br/>type=socks5, host=127.0.0.1, port=9050, RemoteDNS=true.<br/>The Tor service needs to be installed and running, separately of IceCat.</td>
+                </tr>
+                <tr>
+                    <td>Type</td>
+                    <td>
+                        <select id="type">
+                            <option value="direct" selected>Select proxy type</option>
+                            <option value="http">HTTP</option>
+                            <option value="https">HTTPS</option>
+                            <option value="socks">SOCKS5</option>
+                            <option value="socks4">SOCKS4</option>
+                        </select>
+                    </td>
+                </tr>
+                <tr>
+                    <td>Host</td>
+                    <td><input type="text" id="host"></td>
+                </tr>
+                <tr>
+                    <td>Port</td>
+                    <td><input type="number" min="1" max="65535" id="port"></td>
+                </tr>
+                <tr id="usernamerow">
+                    <td>Username (optional)</td>
+                    <td><input type="text" id="username"></td>
+                </tr>
+                <tr id="passwordrow">
+                    <td>Password (optional)</td>
+                    <td><input type="password" id="password"></td>
+                </tr>
+                <tr id="dnsrow">
+                    <td>Remote DNS</td>
+                    <td><input type="checkbox" id="dns"></td>
+                </tr>
+                <tr>
+                    <th colspan="2">
+                        General settings
+                    </th>
+                </tr>
+                <tr id="skiplocalrow">
+                    <td>Don't use proxy for hosts we can detect as local (e.g. LAN IPs)</td>
+                    <td><input type="checkbox" id="skiplocal"></td>
+                </tr>
+            </table>
+        </form>
+        <script src="settings.js"></script>
+    </body>
+</html>