Add setting to set a default proxy for all URLs

src/lib/config.ts

@@ -543,6 +543,11 @@ export class default_config {
         // "youtube.com": "google",
     })
 
+    /**
+     * Default proxy to use for all URLs. Has to be the name of a proxy. To add a proxy, see `:help proxyadd`.
+     */
+    proxy = ""
+
     /**
      * Definitions of proxies.
      *

src/lib/proxy.ts

@@ -108,9 +108,17 @@ const getProxiesForUrl = async (url: string): Promise<ProxyInfo[]> => {
     const aucon = new AutoContain()
     const [, containerProxies] = await aucon.getAuconAndProxiesForUrl(url)
     const proxies = await getProxies()
-    return Object.entries(proxies)
+    const filteredProxies = Object.entries(proxies)
         .filter(([name, ]) => containerProxies.includes(name))
         .map(([, proxy]) => proxy)
+    const defaultProxy = await config.getAsync("proxy")
+    if (
+        defaultProxy in proxies &&
+        !containerProxies.includes(defaultProxy)
+    ) {
+        filteredProxies.push(proxies[defaultProxy])
+    }
+    return filteredProxies
 }
 
 export const onRequestListener = async (