Opened 17 years ago
Last modified 11 years ago
#46 new enhancement
Extra view for Problem Details
Reported by: | Owned by: | David Aspinall | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Extra view for "Problem Details" in case of prover error, to get around single-line restriction for problems view and hover mess. Like Find Bugs integration: double click on problem should raise problem details view. And we can contribute to right-click in problems menu.
This suggests an extra help facility for categories of problems which may be provided by the prover. This might be configured statically in the prover config message. A category attrribute can be added to the <errorresponse>
message to identify this.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted