download playlists as txt

src/main.js

@@ -220,6 +220,15 @@ const mixin = {
             const localSubscriptions = this.getLocalSubscriptions();
             return localSubscriptions.join(",");
         },
+        download(text, filename) {
+            var element = document.createElement("a");
+            element.setAttribute("href", "data:text/plain;charset=utf-8," + encodeURIComponent(text));
+            element.setAttribute("download", filename);
+            element.style.display = "none";
+            document.body.appendChild(element);
+            element.click();
+            document.body.removeChild(element);
+        },
     },
     computed: {
         theme() {