chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4075460) | patch
dot/gtk3-settings.ini: Inhibit ridiculous fine-tuning scrollbar behaviour.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 16 Nov 2017 12:24:02 +0000 (12:24 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 16 Nov 2017 12:24:02 +0000 (12:24 +0000)
commit9b0c1c10462e8a84669410dfda4cbee561787b94
tree538518ef493e3d114535e45325f237d968e4dfbftree | snapshot
parent4075460990736fff383a41b409172ac4a1895bb8commit | diff
dot/gtk3-settings.ini: Inhibit ridiculous fine-tuning scrollbar behaviour.

This is a horrid kludge.
dot/gtk3-settings.ini diff | blob | blame | history
Dotfiles and other configuration.