Opened 17 years ago
Last modified 11 years ago
#106 new defect
Add support for status area message responses — at Initial Version
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
PGIP normalresponses with the area set to be status bar should be supported, both in Isabelle and Eclipse.
Note: See
TracTickets for help on using
tickets.
