Custom Query (361 matches)
Results (25 - 27 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #50 | fixed | Make sure PG perspective is default on product startup. | ||
| Description |
Recently broken, the resource perspective appears to be default at the moment. |
|||
| #52 | fixed | An issue with current version of Trac | ||
| Description |
Some things to be careful of when using this Trac: On editing a ticket, after every invocation of Preview, "assign to" returns to the active user, rather than retaining the initial selection. Also, there seems to be no way to edit a ticket summary after the ticket has been created, which is a problem for empty-titled tickets. Perhaps these should be submitted to Trac's own bug list. |
|||
| #56 | fixed | PGActions do not always clear their status (report "someone else owns the prover") | ||
| Description |
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). |
|||
