Closing the Events View and reopening it again throws a NullPointerException

Description

Start Animation / Model Checking
-> Close the "Events" View
-> Reopen it
-> The view can not be created. Instead, an error message is shown.

Environment

None

Gliffy Diagrams

Activity

Show:

Jenkins Build Server November 15, 2013 at 8:48 AM

SUCCESS: Integrated in

ProB_eclipse_develop #1202
fix null pointer upon closing and reopening the event view () (sebastian: rev 897b0f022da7c973e7756f125c46973c21a89ffe)

  • de.prob.ui/src/de/prob/ui/operationview/OperationTableViewer.java

  • de.prob.ui/src/de/prob/ui/operationview/OperationViewPart.java

Sebastian Krings November 15, 2013 at 8:44 AM

Fixed in the nightly build, the underlying table was not destroyed if the parent widget was disposed. Therefore, the old instance was returned upon reopening.

Fixed

Details

Assignee

Reporter

Original estimate

Time tracking

1h logged

Priority

More fields

Created November 15, 2013 at 8:25 AM
Updated November 15, 2013 at 8:48 AM
Resolved November 15, 2013 at 8:44 AM