theotheroracle
/
user-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add wezterm rounded corners, and set default size

This commit is contained in:
Bit Borealis 2023-08-02 18:22:07 +00:00
parent dcef6f99aa
commit 62f983c53b
Signed by: theotheroracle
GPG Key ID: 2D816A2DCA6E5649
1 changed files with 45 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
home.nix
View File

@ -74,7 +74,7 @@ with import ./modules/neovim-config.nix { inherit pkgs lib fromGitHub; };
# configure dconf
# use dconf watch / to monitor for changes
# use dconf dump /path/to/keys | dconf2nix to generate automatically
dconf.settings = {
dconf.settings = with lib.hm.gvariant; {
"org/gnome/shell" = {
disable-user-extensions = false;
enabled-extensions = [
@ -85,6 +85,7 @@ with import ./modules/neovim-config.nix { inherit pkgs lib fromGitHub; };
"quick-settings-avatar@d-go"
"appindicatorsupport@rgcjonas.gmail.com"
];
disabled-extensions = [];
favorite-apps = [
"firefox.desktop"
"org.gnome.Nautilus.desktop"
@ -96,6 +97,47 @@ with import ./modules/neovim-config.nix { inherit pkgs lib fromGitHub; };
show-window-buttons = "never";
show-window-title = "always";
};
"org/gnome/shell/extensions/rounded-window-corners" = {
custom-rounded-corner-settings = [(mkDictionaryEntry [
"org.wezfurlong.wezterm" (mkVariant [
(mkDictionaryEntry [
"padding" (mkVariant [
(mkDictionaryEntry [
"left" (mkVariant (mkUint32 13))
])
(mkDictionaryEntry [
"right" (mkVariant (mkUint32 14))
])
(mkDictionaryEntry [
"top" (mkVariant (mkUint32 29))
])
(mkDictionaryEntry [
"bottom" (mkVariant (mkUint32 13))
])
])
])
(mkDictionaryEntry [
"keep_rounded_corners" (mkVariant [
(mkDictionaryEntry [
"maximized" (mkVariant false)
])
(mkDictionaryEntry [
"fullscreen" (mkVariant false)
])
])
])
(mkDictionaryEntry [
"border_radius" (mkVariant (mkUint32 13))
])
(mkDictionaryEntry [
"smoothing" (mkVariant (mkUint32 0))
])
(mkDictionaryEntry [
"enabled" (mkVariant true)
])
])
])];
};
"org/gnome/mutter".center-new-windows = true;
"org/gnome/desktop/sound".allow-volume-above-100-percent = true;
"org/gnome/settings-daemon/plugins/media-keys".custom-keybindings
@ -294,6 +336,8 @@ return {
window_decorations = "INTEGRATED_BUTTONS | RESIZE",
integrated_title_button_style = "Gnome",
integrated_title_buttons = { 'Close' },
initial_cols = 86,
initial_rows = 28,
}
'';
};