Custom Query (361 matches)
Results (22 - 24 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #8 | fixed | Cleanup active script handling in actions | ||
| Description |
Active script switching needs overhaul. Switching should be managed in UI actions and treated as part of protocol for correct use of SessionManager. SessionManager may throw exceptions if actions are tried on inactive scripts. Activity switching is carefully controlled. |
|||
| #15 | fixed | Concurrency fixes in GetCommandResponseAction | ||
| Description |
Uses double checked locking and a static field. |
|||
| #20 | fixed | Fix ProofScriptEditor to change symbols cleanly | ||
| Description |
ProofScriptEditor should change symbols cleanly, ideally without editing the underlying document text. We should keep the underlying document text with/without symbols according to preference and the menubar toggle; saved documents on disk should always be without symbols. |
|||
Note: See TracQuery
for help on using queries.
