#49 closed defect (fixed)
Make sure File->Open produces sensible feedback when attempted with script files
Reported by: | Owned by: | David Aspinall | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description (last modified by )
At the moment File->Open
produces a confusingly blank canvas or exceptions.
Ideally we should display a dialogue or message in the incompletely-configured editor. Or maybe revert to the ordinary text editor, somehow.
This worked in a previous revision, but changes in document provider engagement have perhaps broken it.
Change History (3)
comment:1 Changed 17 years ago by
Description: | modified (diff) |
---|---|
Priority: | major → minor |
comment:2 Changed 16 years ago by
Description: | modified (diff) |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
The error message currently displayed stems from an exception in ProofScriptEditor#init?(). I've adjusted this to be more helpful. It would be better to fall back to an ordinary text editor, ideally.