Merge branch 'develop' into bugfix/886-manager-filter-to-outdated-toggle-does-not-work

This commit is contained in:
Jakub Trllo 2024-11-08 09:54:23 +01:00 committed by GitHub
commit 7b26f2629a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -99,7 +99,7 @@ class OpenTaskPath(LauncherAction):
if platform_name == "windows":
args = ["start", path]
elif platform_name == "darwin":
args = ["open", "-na", path]
args = ["open", "-R", path]
elif platform_name == "linux":
args = ["xdg-open", path]
else: