TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/show-reduced-net-1879130

  1. show-reduced-net-1879130
  2. Merge into trunk
Revision history for this message
Thomas Pedersen (tpede16) wrote :

Transferred the query that produced the reduced net to the tab for the reduced net and ensured that a new tab is only created when there is a reduced net to display.

review: Needs Resubmitting

« Back to merge proposal