PGActions do not always clear their status (report "someone else owns the prover")
Sometimes buttons have no action because of prover-ownership being held by another action. We need recovery in case of this; restart should always be available.
Repeatable test cases showing this problem are required. It may be intermittent during development (but seems quite common).
Change History (5)
| Milestone: |
→ PG-Eclipse-1.0.7
|
| Description: |
modified (diff)
|
| Milestone: |
PG-Eclipse-1.0.7 →
PG-Eclipse-1.0.6
|
| Resolution: |
→ fixed
|
| Status: |
assigned →
closed
|
| Milestone: |
PG-Eclipse-1.0.6
|
Prover ownership for actions has been removed for the time being. We may reinstate it later: it can be useful for a long-running reactive control of the prover to take a lock so that other actions do not interfere. For document based script management which properly queues do/undo commands rather than looping, this shouldn't be needed.