video widgets renderer are not properly disposed of when the app is quit
Video widgets are not properly deleted when one quits the app.
It is a hidden issue now but it produces a seg fault when app is closed and a neural network is loaded.
how to check : in src/video/video_widget , add a debug message at the beginning of functions video_widget_finalize and/or video_widget_dispose . It is displayed when video is killed. it is not when app is quit.