Branch: refs/heads/master
Home: https://github.com/Warzone2100/warzone2100
Commit: 2a1cb3c520449b91a89692e286929129316ca87a
https://github.com/Warzone2100/warzone2100/commit/2a1cb3c520449b91a89692e286929129316ca87a
Author: KJeff01 <[email protected]>
Date: 2021-03-16 (Tue, 16 Mar 2021)
Changed paths:
M src/musicmanager.cpp
Log Message:
-----------
Lock key inputs when the in-game music manager is open.
To ensure its widget is deleted and doesn't cause problems if escape was
pressed.
_______________________________________________
Warzone2100-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits
