#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