From f125bf058ea717d0ab57388c81dc4a6f007e44f1 Mon Sep 17 00:00:00 2001 From: DevilXD <4180725+DevilXD@users.noreply.github.com> Date: Mon, 15 Jan 2024 12:19:22 +0100 Subject: [PATCH] Actually handle the sound parameter --- gui.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gui.py b/gui.py index ddc096c..ddc3be5 100644 --- a/gui.py +++ b/gui.py @@ -2111,7 +2111,8 @@ class GUIManager: def grab_attention(self, *, sound: bool = True): self.tray.restore() self._root.focus_force() - self._root.bell() + if sound: + self._root.bell() def set_games(self, games: abc.Iterable[Game]) -> None: self.settings.set_games(games)