Download:
child 225:c53f0e031cca
parent 223:ce73d0a1c827
224:667352b3e8d2
Anton Shestakov <av6@dwimlabs.net>, Mon, 17 Jan 2022 00:16:53 +0300
gtk3: add more settings, move to etc/gtk-3.0

2 файлов изменено, 4 вставок(+), 2 удалений(-) [+]
.config/gtk-3.0/settings.ini file | annotate | diff | comparison | revisions
etc/gtk-3.0/settings.ini file | annotate | diff | comparison | revisions
--- a/.config/gtk-3.0/settings.ini Mon Jan 17 00:03:33 2022 +0300
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-[Settings]
-gtk-primary-button-warps-slider = false
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/gtk-3.0/settings.ini Mon Jan 17 00:16:53 2022 +0300
@@ -0,0 +1,4 @@
+[Settings]
+gtk-dialogs-use-header = false
+gtk-overlay-scrolling = false
+gtk-primary-button-warps-slider = false