diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 16:53:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 16:53:21 +0000 |
| commit | f6ce7d245c88c5892facc40e6461e5a2b4a4ee06 (patch) | |
| tree | f6f8f7ea5e81f751bb4ec16f35f922a60a28e48b /isar/ex | |
| parent | 554193ec72d817eda4dd59681927554d0a7cc5ae (diff) | |
Remove redisplay from wait loop, only redisplay on exit. Big speed-up
but doesn't reflect changes as they happen.
Diffstat (limited to 'isar/ex')
0 files changed, 0 insertions, 0 deletions