diff options
| author | pommicket <pommicket@gmail.com> | 2023-01-03 23:09:32 -0500 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2023-01-03 23:09:32 -0500 |
| commit | adabc989a118190a4dc7e85315b5a337b806b314 (patch) | |
| tree | 0b73bdc55201ce5a38bd8c4c6a79288014775131 /ide-highlights.c | |
| parent | aa4f61bcaeaa7c3c028ac98a3206b41eedb59fd7 (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