From 9f209e90915f5f8e05ef1d63fd3ffd6efa1f9159 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 36742646..943f58f5 100755 --- a/proton +++ b/proton @@ -1312,7 +1312,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