modules/nixos/themes/a-happy-gnome: update theme

* Several extension configurations has been updated.
* It has a built-in extension for workspace rules?!
* More extensions!

modules/nixos/themes/a-happy-gnome/config/dconf/desktop.conf

@@ -12,7 +12,7 @@ disable-microphone = false
 
 [org/gnome/shell]
 disable-user-extensions = false
-enabled-extensions = ['arcmenu@arcmenu.com', 'just-perfection-desktop@just-perfection', 'gsconnect@andyholmes.github.io', 'pop-shell@system76.com', 'flypie@schneegans.github.com']
+enabled-extensions=['arcmenu@arcmenu.com', 'just-perfection-desktop@just-perfection', 'gsconnect@andyholmes.github.io', 'flypie@schneegans.github.com', 'kimpanel@kde.org', 'workspaces-bar@fthx', 'burn-my-windows@schneegans.github.com', 'sermon@rovellipaolo-gmail.com', 'runcat@kolesnikov.se', 'mprisindicatorbutton@JasonLG1979.github.io', 'appindicatorsupport@rgcjonas.gmail.com', 'screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com', 'windowsNavigator@gnome-shell-extensions.gcampax.github.com']
 
 [org/gnome/mutter]
 attach-modal-dialogs = true
@@ -28,3 +28,5 @@ locations = [<(uint32 2, <('New York', 'KNYC', true, [(0.71180344078725644, -1.2
 [org/gnome/system/location]
 enabled = false
 
+[org/gnome/desktop/wm/preferences]
+workspace-names = ['Web', 'Dev', 'Notes', 'Graphics', 'Audio']

modules/nixos/themes/a-happy-gnome/config/dconf/keybindings.conf

@@ -1,4 +1,3 @@
-# This is used in tandem with Pop shell plugin.
 [org/gnome/desktop/wm/keybindings]
 begin-resize=['<Super>r']
 close=['<Alt>F4', '<Super>q']
@@ -13,8 +12,8 @@ move-to-monitor-left=@as []
 move-to-monitor-right=@as []
 move-to-monitor-up=@as []
 move-to-workspace-first=['<Shift><Super>Home', '<Shift><Super>k']
-move-to-workspace-left=@as []
+move-to-workspace-right=['<Shift><Super>l', '<Shift><Super>Right', '<Shift><Super>Page_Down']
-move-to-workspace-right=@as []
+move-to-workspace-left=['<Shift><Super>h', '<Shift><Super>Left', '<Shift><Super>Page_Up']
 move-to-workspace-last=['<Shift><Super>End', '<Shift><Super>j']
 panel-main-menu=@as []
 switch-group=@as []
@@ -27,7 +26,7 @@ switch-to-workspace-right=['<Primary><Super>l', '<Super>Page_Down']
 switch-to-workspace-down=@as []
 toggle-fullscreen=['<Super>f']
 toggle-maximized=['<Shift><Super>f']
-toggle-overview=['<Shift><Super>s']
+toggle-overview=['<Super>s']
 toggle-tiled-left=@as []
 toggle-tiled-right=@as []
 

modules/nixos/themes/a-happy-gnome/config/dconf/shell-extensions.conf

@@ -1,3 +1,4 @@
+# arcmenu, the extensive and configurable menu
 [org/gnome/shell/extensions/arcmenu]
 arc-menu-icon=64
 arc-menu-placement='Panel'
@@ -13,18 +14,33 @@ search-provider-open-windows=true
 show-activities-button=false
 show-search-result-details=true
 
+# Minor tweaks ahoy!
 [org/gnome/shell/extensions/just-perfection]
 activities-button=false
-workspace-wrap-around=true
+workspace-wrap-around=false
 window-demands-attention-focus=true
 ripple-box=false
 
-# The default keybindings for this extension are enough but we'll have to adjust the shell keybindings/
+# The default keybindings for this extension are enough but we'll have to adjust the shell keybindings.
 [org/gnome/shell/extensions/pop-shell]
 active-hint=true
 smart-gaps=true
 tile-by-default=true
 hint-color-rgba='rgba(223, 147, 122, 1)'
 
+# The lovely tool if you're a mouse handler.
 [org/gnome/shell/extensions/flypie]
-menu-configuration='[{"name":"Global palette","icon":"🐶️","shortcut":"<Super>space","centered":false,"id":0,"children":[{"name":"Close window","type":"Shortcut","icon":"window-close","data":{"shortcut":"<Super>q"},"angle":-1},{"name":"Next Workspace","icon":"go-next","type":"Shortcut","data":{"shortcut":"<Control><Super>l"},"angle":90},{"name":"Favorites","icon":"emblem-favorite","type":"Favorites","data":{},"angle":-1},{"name":"Fly-Pie Settings","icon":"applications-system","type":"Command","data":"gnome-extensions prefs flypie@schneegans.github.com","angle":-1},{"name":"Previous Workspace","icon":"go-previous","type":"Shortcut","data":{"shortcut":"<Control><Super>h"},"angle":270},{"name":"Running Apps","icon":"flypie-menu-running-apps-symbolic-#74a","type":"RunningApps","data":{"activeWorkspaceOnly":false,"appGrouping":true,"hoverPeeking":true,"nameRegex":""},"angle":-1}],"type":"CustomMenu","data":{}}]'
+menu-configuration='[{"name":"Global palette","icon":"🐶️","shortcut":"<Super>space","centered":false,"id":0,"children":[{"name":"Close window","type":"Shortcut","icon":"window-close","data":{"shortcut":"<Super>q"},"angle":-1},{"name":"Next workspace","icon":"go-next","type":"Shortcut","data":{"shortcut":"<Control><Super>l"},"angle":90},{"name":"Favorites","icon":"emblem-favorite","type":"Favorites","data":{},"angle":-1},{"name":"Fly-Pie settings","icon":"applications-system","type":"Command","data":"gnome-extensions prefs flypie@schneegans.github.com","angle":-1},{"name":"Previous workspace","icon":"go-previous","type":"Shortcut","data":{"shortcut":"<Control><Super>h"},"angle":270},{"name":"Running apps","icon":"flypie-menu-running-apps-symbolic-#74a","type":"RunningApps","data":{"activeWorkspaceOnly":false,"appGrouping":true,"hoverPeeking":true,"nameRegex":""},"angle":-1},{"name":"Maximize window","icon":"window-maximize","type":"Shortcut","data":{"shortcut":"<Shift><Super>f"},"angle":-1}],"type":"CustomMenu","data":{},"touchButton":false,"superRMB":false}]'
+
+# A little novelty couldn't hurt.
+[org/gnome/shell/extensions/burn-my-windows]
+close-animation='tv'
+destroy-animation-time=500
+destroy-dialogs=true
+tv-animation-time=200
+tv-close-effect=true
+tv-open-effect=true
+
+# Workspace rules... in GNOME?!
+[org/gnome/shell/extensions/auto-move-windows]
+application-list=['emacs.desktop:3', 'brave-browser.desktop:1', 're.sonny.Tangram.desktop:1', 'krita_qimageio.desktop:4', 'blender.desktop:4']

modules/nixos/themes/a-happy-gnome/default.nix

@@ -4,7 +4,6 @@ let
   name = "a-happy-gnome";
   cfg = config.themes.themes.a-happy-gnome;
   dconfConfig = pkgs.runCommand "install-a-happy-gnome-dconf-keyfiles" {} ''
-    mkdir -p $out/etc/dconf/db/database.d
     install -Dm644 ${./config/dconf}/*.conf -t $out/etc/dconf/db/database.d
   '';
 in
@@ -59,6 +58,7 @@ in
 
       # My preferred extensions.
       gnomeExtensions.arcmenu
+      gnomeExtensions.appindicator
       gnomeExtensions.gsconnect
       gnomeExtensions.x11-gestures
       gnomeExtensions.kimpanel
@@ -73,6 +73,13 @@ in
       gnome-shell-extension-burn-my-windows
       gnome-shell-extension-desktop-cube
 
+      # GNOME search providers.
+      gnome-search-provider-recoll
+
+      gnome-search-provider-browser-tabs.gnome-shell-extension
+      gnome-search-provider-browser-tabs.web-extension
+      gnome-search-provider-browser-tabs.connector
+
       # Setting up Pop shell.
       gnome-shell-extension-pop-shell
       pop-launcher