Re-add the accidentally-removed 'text' theme (the-argus#47)

A1ca7raz · Jan 2, 2024 · 1325416 · 1325416
1 parent 3c702af
commit 1325416
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/pkgs/themes.nix b/pkgs/themes.nix
@@ -223,7 +223,19 @@ in {
           }
         '';
       };
-
+      text = {
+        name = "text";
+        src = officialThemes;
+        patches = {
+          "xpui.js_find_8008" = ",(\\w+=)56";
+          "xpui.js_repl_8008" = ",$\{1}32";
+        };
+        injectCss = true;
+        replaceColors = true;
+        appendName = true;
+        overwriteAssets = false;
+        sidebarConfig = false;
+      };
       Dreary = {
         name = "Dreary";
         src = officialThemes;