destroy player on exit

diff --git a/application/window.c b/application/window.c
index e5fc8150867faa329301b1c6e8ccfc58c334e8a1..dd8700c10fc71593fa3a87f412cde7ffa5e379d5 100644 (file)
--- a/application/window.c
+++ b/application/window.c
@@ -38,6 +38,7 @@ static void FileOpenCB(Widget w, void *udata, void *cdata);
 static void ViewFullscreenCB(Widget w, void *udata, void *cdata);
 
 static void window_close_handler(Widget window, void *udata, void *cdata) {
+    WindowClosePlayer(main_window);
     ApplicationExit();
 }
 
@@ -364,3 +365,10 @@ void WindowAdjustAspectRatio(MainWindow *win) {
     hints.max_aspect.y = new_height;
     XSetWMNormalHints(XtDisplay(win->window), XtWindow(win->window), &hints);
 }
+
+void WindowClosePlayer(MainWindow *win) {
+    if(win->player) {
+        PlayerDestroy(win->player);
+    }
+    win->player = NULL;
+}

diff --git a/application/window.h b/application/window.h
index d3e862382d0853d1f322104a6ac9614dd113ef5c..402b6ed10e7e3648cf535e0f35081e096572014e 100644 (file)
--- a/application/window.h
+++ b/application/window.h
@@ -68,6 +68,8 @@ void WindowMenubarSetVisible(MainWindow *win, bool visible);
 
 void WindowAdjustAspectRatio(MainWindow *win);
 
+void WindowClosePlayer(MainWindow *win);
+
 #ifdef __cplusplus
 }
 #endif