diff --git a/config/home-manager/workstation/gnome-extensions.nix b/config/home-manager/workstation/gnome-extensions.nix index 95145a8..57f6f95 100644 --- a/config/home-manager/workstation/gnome-extensions.nix +++ b/config/home-manager/workstation/gnome-extensions.nix @@ -54,15 +54,15 @@ icon-style = 1; }; - "/org/gnome/shell/extensions/pano" = { - "history-length" = 500; - "global-shortcut" = [ "V" ]; - "item-date-font-family" = "Hack Nerd Font Mono"; - "item-date-font-size" = 10; - "search-bar-font-family" = "Hack Nerd Font Mono"; - "search-bar-font-size" = 14; - "item-title-font-family" = "Hack Nerd Font Mono"; - "item-title-font-size" = 20; + "org/gnome/shell/extensions/pano" = { + history-length = 500; + global-shortcut = [ "V" ]; + item-date-font-family = "Hack Nerd Font Mono"; + item-date-font-size = 10; + search-bar-font-family = "Hack Nerd Font Mono"; + search-bar-font-size = 14; + item-title-font-family = "Hack Nerd Font Mono"; + item-title-font-size = 20; }; # To get an ID of an extension, run `gnome-extensions list`