#154 closed defect (fixed)
"restart" doesn't work
| Reported by: | alex heneveld | Owned by: | alex heneveld |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
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.
Change History (3)
comment:1 Changed 17 years ago by
| Component: | → 1:pg-eclipse |
|---|---|
| Milestone: | → PG-Eclipse-1.0.6 |
| Owner: | set to alex heneveld |
| Priority: | → major |
| Status: | new → assigned |
| Type: | → defect |
comment:2 Changed 17 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
fixed by resetting the open element to be the root, in ProofScriptDocument?.reset