diff options
| author | David B. Lamkins <dlamkins@galois.com> | 2015-11-13 13:05:39 +0100 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2015-11-14 07:28:28 +0100 |
| commit | d72a2928e49139a39bd5ccd77dfedda8b01faac1 (patch) | |
| tree | 7406f797dccccd62b625e171166c2f87ea085fc1 /Makefile | |
| parent | 4e0600b21373829aa3396660d65266ad3407a9b5 (diff) | |
| download | vis-d72a2928e49139a39bd5ccd77dfedda8b01faac1.tar.gz vis-d72a2928e49139a39bd5ccd77dfedda8b01faac1.tar.xz | |
view: increase range to consider for syntax highlighting
Increase the number of bytes to consider for syntax highligthing
before the visisble area. This should improve the handling of long
block comments.
Closes #110
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions