#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.