diff options
| author | Martin Lambers <marlam@marlam.de> | 2012-06-17 16:24:23 +0200 |
|---|---|---|
| committer | Martin Lambers <marlam@marlam.de> | 2012-06-17 16:24:23 +0200 |
| commit | 92a5adb2d7a03cc819324a7ad8b1a7f164b04571 (patch) | |
| tree | e21c06ad5a7e76b9e870ec43594b1621ecef0a70 | |
| parent | a2d3bf05d74fd8fbf1bfe09e907a4e80ffd6db01 (diff) | |
| download | bino-92a5adb2d7a03cc819324a7ad8b1a7f164b04571.tar.gz | |
GUI: close media input on quit.
This makes sure that video settings are saved also when quitting while playing.
Bug reported by Alexey Osipov.
| -rw-r--r-- | src/gui.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui.cpp b/src/gui.cpp index bbad0e5..28a2983 100644 --- a/src/gui.cpp +++ b/src/gui.cpp @@ -3232,6 +3232,9 @@ void main_window::moveEvent(QMoveEvent*) void main_window::closeEvent(QCloseEvent *event) { + // Close a currently opened video. This also stops the video if it is + // playing, so that its settings are remembered. + send_cmd(command::close); // Stop the event and play loop _timer->stop(); // Remember the Session preferences |
