Opened 17 years ago

Last modified 11 years ago

#46 new enhancement

Extra view for Problem Details

Reported by: David Aspinall <da+pgtrac@…> 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.

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.1.0

Milestone PG-Eclipse-1.1.0 deleted

Note: See TracTickets for help on using tickets.