Audio tag "quit_game" might be a bit confusing with "game" in its name (though of course it can refer to all of freeciv as a game). It does not play when one leaves the game, but on client quit. I think we should rename it as "quit_client".
I'd like to have another tag for leaving game, but am not sure how to best handle the case where one leaves the game by quitting entire client. We probably don't want to play both sounds simultaneously at that case?
Audio tag "quit_game" might be a bit confusing with "game" in its name (though of course it can refer to all of freeciv as a game). It does not play when one leaves the game, but on client quit. I think we should rename it as "quit_client".
I'd like to have another tag for leaving game, but am not sure how to best handle the case where one leaves the game by quitting entire client. We probably don't want to play both sounds simultaneously at that case?