Opened 17 years ago
Last modified 11 years ago
#26 new defect
Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files)
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
Undo is very slow when a bunch of commands are to be undone, it can be much slower than processing them. It should be faster!
Try AThousandTheorems.thy in the TestCaseProject?.
Change History (3)
comment:1 Changed 17 years ago by
comment:2 Changed 17 years ago by
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
What has causes this slow down? Maybe the thread scheduling because we spawn a separate thread for each undo action then wait for it to be scheduled and completed. Document based undo should be *much* better here, we just work through a queue of commands as in the "do" case.
At the moment I can actually undo quicker by clicking on the single command undo than the goto action.
Let's wait for document based undo to see if that does fix things.