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 | |
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')
0 files changed, 0 insertions, 0 deletions