Znachor/Desktop
1
1
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Added rounded window corners extension

Browse source
This commit is contained in:
Filip Znachor 2022-12-10 22:04:22 +01:00
parent ec355c037a
commit 182240e2dd
2 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
config.yml
View file

@ -23,6 +23,7 @@ gnome:
extensions/dash-to-panel: /org/gnome/shell/extensions/dash-to-panel/
# extensions/dash-to-panel-larger: /org/gnome/shell/extensions/dash-to-panel/
extensions/blur-my-shell: /org/gnome/shell/extensions/blur-my-shell/
extensions/rounded-window-corners: /org/gnome/shell/extensions/rounded-window-corners/
# disabled:
# - gnome

7
gnome/extensions/rounded-window-corners.dconf Normal file
View file

@ -0,0 +1,7 @@
[/]
border-color=(0.25490197539329529, 0.25490197539329529, 0.25490197539329529, 1.0)
border-width=1
custom-rounded-corner-settings=@a{sv} {}
global-rounded-corner-settings={'padding': <{'left': <uint32 1>, 'right': <uint32 1>, 'top': <uint32 1>, 'bottom': <uint32 0>}>, 'keep_rounded_corners': <{'maximized': <false>, 'fullscreen': <false>}>, 'border_radius': <uint32 12>, 'smoothing': <uint32 0>, 'enabled': <true>}
settings-version=uint32 5
skip-libadwaita-app=true