Custom Query (361 matches)
Results (13 - 15 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #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. |
|||
| #36 | fixed | Split stream for console into input/output and give input a different colour. | ||
| Description |
A minor improvement for the PGIP console is to display input/output in different colours or fonts. This should be easy: message streams can have colour/fonts attached, so we just need to split PGIP stream into two. |
|||
| #48 | wontfix | Support editing proof script files outside workspace | ||
| Description |
It seems desirable to support editing files outside workspace. To do this we need to adjust ProofScriptDocument to remove the resource field and possibly prover syntax field (which is not initialised when making documents by the Eclipse standard way). A first attempt at this showed that it really is too difficult to do well. Viewing a script is possible but as soon as we do anything sophisticated with the document we need the extra support available for files which actually reside in the workspace. Especially markers, which we use extensively for state management and problems/tasks. Eclipse currently only allows them on resources. Managing two different kinds of documents (internal and external) gets very nasty in the code quite quickly. This ticket is here as a reference for the issue and reminder of problems. |
|||
