diff options
| author | David Aspinall | 2008-01-25 18:24:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 18:24:09 +0000 |
| commit | 5b8d8e42498b0f1141ea5f39c8490567d8f8fa30 (patch) | |
| tree | 51c365a3957dddf57d88ffb4e49285fb4a0743dc /lib | |
| parent | edf1899143874c6f8fba9bc81046be47ff46ae62 (diff) | |
proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitches
with XEmacs progress bar.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions