diff options
| author | Lionel Rieg | 2016-06-02 15:24:35 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-06-02 15:44:40 +0200 |
| commit | 9bbad8a588a98fc4836809f73db0caf7efa9e346 (patch) | |
| tree | 2dba51affb211a45e8096538d5705b854c5a70e3 /dev | |
| parent | 4c66c7f9c370d2088dfa064e77f45b869c672e98 (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 'dev')
0 files changed, 0 insertions, 0 deletions