{ config, lib, pkgs, ... }: let left = "h"; down = "j"; up = "k"; right = "l"; in { dconf.settings = with lib.hm.gvariant; { "org/gnome/shell" = { enabled-extensions = [ "user-theme@gnome-shell-extensions.gcampax.github.com" "pop-shell@system76.com" "native-window-placement@gnome-shell-extensions.gcampax.github.com" # works better with pop-shell "appindicatorsupport@rgcjonas.gmail.com" ]; favorite-apps = [ "org.gnome.Nautilus.desktop" "firefox.desktop" ]; }; "org/gnome/shell/extensions/user-theme" = { name = "Adwaita-dark"; }; "org/gnome/shell/extensions/pop-shell" = { tile-by-default = true; snap-to-grid = true; smart-gaps = true; show-title = false; active-hint = false; }; "org/gnome/desktop/sound" = { theme-name = "freedesktop"; }; "org/gnome/desktop/input-sources" = { sources = map mkTuple [ [ "xkb" "gb" ] [ "ibus" "mozc-jp" ] ]; xkb-options = [ "compose:ralt" ]; }; "org/gnome/desktop/app-folders" = { folder-children = [ "Office" "Utilities" ]; }; "org/gnome/desktop/app-folders/folders/Office" = { name = "Office"; translate = true; categories = [ "Office" ]; }; "org/gnome/desktop/app-folders/folders/Utilities" = { name = "Utilities"; translate = true; categories = [ "Utility" "X-GNOME-Utilities" "System" ]; }; # key bindings for pop-shell "org/gnome/mutter/wayland/keybindings" = { restore-shortcuts = [ ]; }; "org/gnome/shell/keybindings" = { open-application-menu = [ ]; toggle-message-tray = [ "v" ]; toggle-overview = [ ]; }; "org/gnome/desktop/wm/keybindings" = { close = [ "q" ]; minimize = [ "comma" ]; maximize = [ ]; unmaximize = [ ]; toggle-maximized = [ "m" ]; switch-to-workspace-left = [ ]; switch-to-workspace-right = [ ]; move-to-workspace-up = [ ]; move-to-workspace-down = [ ]; move-to-monitor-left = [ ]; move-to-monitor-right = [ ]; move-to-monitor-up = [ ]; move-to-monitor-down = [ ]; switch-to-workspace-down = [ "Down" "${down}" ]; switch-to-workspace-up = [ "Up" "${up}" ]; }; "org/gnome/mutter/keybindings" = { toggle-tiled-left = [ ]; toggle-tiled-right = [ ]; }; "org/gnome/settings-daemon/plugins/media-keys" = { screensaver = [ "Escape" ]; home = [ "f" ]; email = [ "e" ]; www = [ "b" ]; terminal = [ "t" ]; rotate-video-lock-static = [ ]; }; }; }