Download:
Patch
child 223:ce73d0a1c827
parent 221:0c928913c8ad
222:807345aad816
Anton Shestakov <av6@dwimlabs.net>, Sun, 16 Jan 2022 23:54:58 +0300
gtk3: turns out there WAS a setting for this
1 файлов изменено, 2 вставок(+), 0 удалений(-) [+]
.config/gtk-3.0/settings.ini file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.config/gtk-3.0/settings.ini	Sun Jan 16 23:54:58 2022 +0300
@@ -0,0 +1,2 @@
+[Settings]
+gtk-primary-button-warps-slider = false