diff options
| author | Clément Pit--Claudel | 2015-12-31 17:48:47 +0100 |
|---|---|---|
| committer | Clément Pit--Claudel | 2015-12-31 17:52:38 +0100 |
| commit | e3d4762275b810307acf865c124b1265bc01a5d8 (patch) | |
| tree | 8e660e382b3481dc29ede31e9d0be3cac9ba1ab9 /FAQ | |
| parent | e0e2ceaa1bc1750fc05b4589351e10a1081453dd (diff) | |
Fix spurious scrolling of *goals* and *response* buffers
See https://github.com/cpitclaudel/company-coq/issues/8 and
https://github.com/cpitclaudel/company-coq/issues/32 for some background
info.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions