shutdown existing player when a new file is opened
authorOlaf Wintermann <olaf.wintermann@gmail.com>
Fri, 7 Jan 2022 08:21:05 +0000 (09:21 +0100)
committerOlaf Wintermann <olaf.wintermann@gmail.com>
Fri, 7 Jan 2022 08:21:05 +0000 (09:21 +0100)
commit38abddf60d71d5efbac50802127d2103ec196686
treefce1ae8d1f497249e3945ca50f05e2c3d2947f93
parent8b7714707e87d73b90ca8772f379c1ab1751433c
shutdown existing player when a new file is opened
application/player.c
application/window.h