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

/.config/gtk-3.0/

.. drwxr-xr-x
settings.ini 51 -rw-r--r-- file | revisions | annotate