Opened 17 years ago
Last modified 11 years ago
#72 new defect
Fix prover state indicator
Reported by: | Graham Dutton | Owned by: | Graham Dutton |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Currently a partially-implement prover state indicator in the ProverStatusItem
class. This has a few IDE-related graphical bugs and a few state-transition bugs but is mostly functional, apart from being largely invisible in the status bar. Fixing this should be mostly trivial.
Change History (4)
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 |
---|
comment:3 Changed 17 years ago by
Owner: | changed from David Aspinall to Graham Dutton |
---|
Note: See
TracTickets for help on using
tickets.
Important note: most of the state bugs relate to when the prover is actually active / inactive / dead. Detecting when the prover is dead is a more general problem which, once solved, could no doubt be viewed very easily in the ProverStatusItem?.