From 5f7577444e9d486698a50a7585fd159e34061ef5 Mon Sep 17 00:00:00 2001 From: Maxime Lombard Date: Thu, 14 Apr 2022 20:33:36 +0200 Subject: [PATCH] Hide game platform options if the game is installed. --- minigalaxy/ui/properties.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/minigalaxy/ui/properties.py b/minigalaxy/ui/properties.py index 75214fd1..868bc713 100755 --- a/minigalaxy/ui/properties.py +++ b/minigalaxy/ui/properties.py @@ -133,7 +133,7 @@ def button_sensitive(self, game): elif game.platform in ["windows"]: self.radiobutton_windows_type.set_active(True) - if "linux" not in self.game.supported_platforms: + if "linux" not in self.game.supported_platforms or game.is_installed(): self.radiobutton_linux_type.hide() self.radiobutton_windows_type.hide() self.label_properties_platform.hide()