Custom Query (361 matches)
Results (28 - 30 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #16 | fixed | Move cursor and scroll during do/undo | ||
| Description |
Restore cursor movement behaviour. |
|||
| #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. |
|||
| #50 | fixed | Make sure PG perspective is default on product startup. | ||
| Description |
Recently broken, the resource perspective appears to be default at the moment. |
|||
Note: See TracQuery
for help on using queries.
