diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-12 15:26:26 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-12 15:26:26 -0500 |
| commit | b9d46ec704f654b7a95762810b54c95a6a194789 (patch) | |
| tree | 3677b4156ca5d1fb5f452e990b727374cc04c918 /lib/proof-site | |
| parent | e87abe21e1508a23d17c14b02ca9b0244b329106 (diff) | |
| download | configs-b9d46ec704f654b7a95762810b54c95a6a194789.tar.gz configs-b9d46ec704f654b7a95762810b54c95a6a194789.tar.xz configs-b9d46ec704f654b7a95762810b54c95a6a194789.zip | |
[emacs] focus follows mouse, except in gnus-summary-mode buffers
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions