From b6eda24974b395f5adf72c4f6ac6e6dd54534daa Mon Sep 17 00:00:00 2001 From: Arkadiusz Hiler Date: Fri, 26 Jul 2024 13:53:49 +0300 Subject: [PATCH] proton: Suppress type checker errors about non-existing user_settings. --- proton | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proton b/proton index 7eb51faa..2cd43115 100755 --- a/proton +++ b/proton @@ -1324,7 +1324,7 @@ class Session: used_user_settings = {} if file_exists(g_proton.user_settings_file, follow_symlinks=True): try: - import user_settings + import user_settings # pyright: ignore [reportMissingImports] for key, value in user_settings.user_settings.items(): if key not in self.env: self.env[key] = value