etc/gtk-3.0/settings.ini at 86ac042faf0f

279:86ac042faf0f

Anton Shestakov <av6@dwimlabs.net>, Sat, 13 Jul 2024 01:33:51 +0400

ide.sh: sometimes this is all you need for software development

previous change

etc/gtk-3.0/settings.ini

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison

Other formats:

JSON Raw

Feeds:

Atom RSS

[Settings]
gtk-dialogs-use-header = false
gtk-overlay-scrolling = false
gtk-primary-button-warps-slider = false