summaryrefslogtreecommitdiff
path: root/ide-highlights.c
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2023-01-03 23:09:32 -0500
committerpommicket <pommicket@gmail.com>2023-01-03 23:09:32 -0500
commitadabc989a118190a4dc7e85315b5a337b806b314 (patch)
tree0b73bdc55201ce5a38bd8c4c6a79288014775131 /ide-highlights.c
parentaa4f61bcaeaa7c3c028ac98a3206b41eedb59fd7 (diff)
fix problem when file is modified while it's read into the buffer.
before, the file wouldn't be reloaded properly
Diffstat (limited to 'ide-highlights.c')
0 files changed, 0 insertions, 0 deletions