Closing the Events View and reopening it again throws a NullPointerException
Description
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
Details
Assignee

Reporter

Original estimate
Time tracking
1h logged
Priority
More fields
Story Points
More fields
Story PointsCreated November 15, 2013 at 8:25 AM
Updated November 15, 2013 at 8:48 AM
Resolved November 15, 2013 at 8:44 AM
Start Animation / Model Checking
-> Close the "Events" View
-> Reopen it
-> The view can not be created. Instead, an error message is shown.