Custom Query (361 matches)
Results (7 - 9 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #7 | fixed | Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. | ||
| Description |
The Proof Explorer view needs to inherit more of the functionality of the Project Explorer, including decoration and extra menus. |
|||
| #16 | fixed | Move cursor and scroll during do/undo | ||
| Description |
Restore cursor movement behaviour. |
|||
| #30 | fixed | Outline view should update after any parse | ||
| Description |
There are some cases when the outline view does not get updated. These should be tracked down and fixed. |
|||
Note: See TracQuery
for help on using queries.
