Opened 17 years ago
Last modified 11 years ago
#45 new enhancement
Use workbench progress feedbacks; provide busy indications
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
We should use workbench progress feedback for proof (not so important: we have our own UI for that), or for background parsing (more important). User should have some kind of small progress/busy indication during prover parsing/waiting for parsing, at least. In Eclipse 3.3, this is indicated in view tabs as part of platform.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted