Opened 16 years ago
Last modified 11 years ago
#249 assigned
Script management error for locales; undo action failure should not generate markers
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | critical | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
Test case: undo in TestLocale?.thy from lemma line (inside locale) to theory line. This causes a "kill" command to be sent which gives the error:
Illegal application of command "kill" in local theory mode At command "kill".
Additionally, this attaches an error marker for the undo region to the code, which is quite confusing (because it appears in processed text) and also hard to get rid of (would be fixed if we removed error markers upon correct processing of commands, see #248).
Attachments (1)
Change History (4)
comment:1 Changed 16 years ago by
| Status: | new → assigned |
|---|
Changed 15 years ago by
| Attachment: | mylyn-context.zip added |
|---|
Note: See
TracTickets for help on using
tickets.
mylyn/context/zip