diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-11 18:07:59 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-11 18:07:59 +0200 |
| commit | 889069bc593bb9a857372783ff837b13e64942d6 (patch) | |
| tree | 9bcc0cf35a2d2fec51aa015c1fc97dc301da82fe /coq/coq-syntax.el | |
| parent | b3ff384a564a0d5a4206c1eb1e2eaa06da6f909a (diff) | |
Small bug unhighlighting.
Selecting the unhighlightied hyps showed a different region color.
Setting the face to nil is better.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions