Deduplicate mime type settings + change font

2023-05-13 14:49:07 +02:00
parent d6578c243f
commit 273e89c648
4 changed files with 26 additions and 77 deletions
--- a/home/modules/gnome/default.nix
+++ b/home/modules/gnome/default.nix
@ -327,7 +327,7 @@ in {

      "org/gnome/TextEditor" = {
        auto-indent = true;
-        custom-font = "Victor Mono Semi-Bold 11";
+        custom-font = "JetBrainsMono Nerd Font Mono 11";
        highlight-current-line = true;
        indent-style = "space";
        show-gird = false;