diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-16 23:00:15 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-16 23:00:15 -0500 |
| commit | 84f3ad81a0e768204d27e61d04fc15f31e942e65 (patch) | |
| tree | 5199c569da4cf9799f036e9a7922414082ab23ef /lib/proof-site | |
| parent | cbc4f6d44ecf6b01cff1b9fcbbffb559ac864c10 (diff) | |
| download | configs-84f3ad81a0e768204d27e61d04fc15f31e942e65.tar.gz configs-84f3ad81a0e768204d27e61d04fc15f31e942e65.tar.xz configs-84f3ad81a0e768204d27e61d04fc15f31e942e65.zip | |
[emacs] better scrolling (both keyboard and mouse)
also use the new (version<= "26.1" emacs-version) pixel-scroll-mode
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions