diff options
| author | Lionel Rieg | 2016-06-02 15:24:35 +0200 |
|---|---|---|
| committer | Lionel Rieg | 2016-06-02 15:28:07 +0200 |
| commit | 205bfad25b144f7a6a4e869d8253ec8471d52108 (patch) | |
| tree | dc30a1aeb6cdde948403adbb609413b94faf4d39 /kernel/cbytecodes.ml | |
| parent | b6b98a67c65d7aeeeeca12d1ccb9d55b654c554d (diff) | |
Avoid refreshing the segment widget each time a sentence is added.
This brings a 10x speedup for going at the end of large .v files.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions