Custom Query (361 matches)
Results (58 - 60 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #153 | fixed | is "proof state" view needed anymore? | ||
| Description |
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only shows "proofstate" pgip messages, which don't seem to come back any more. remove this view so as not to confuse users? (LatestOutputView? is much better.) otherwise improve documentation (and use) of State view so that its purpose clear. |
|||
| #154 | fixed | "restart" doesn't work | ||
| Description |
if i have an active scripting document, and then i restart, i cannot send any commands. i get the following errors: Exception when looking for a command. null Document not parsed far enough, invalid target position given or missing parse data: 0 probably some fields aren't being cleared. |
|||
| #155 | fixed | sending past end doesn't work quite right ("undo" fails, maybe more) | ||
| Description |
if i parse a theory passed the "end" point, "undo" no longer works; ("undo all" sometimes does, but "undo" should give an error at least) i'm also not sure it correctly registers that the theory is closed, when i switch to another theory it wouldn't let me activate it (but that could be do to a failed retract...) |
|||
