Fix mypy issues

This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-10-17 14:32:08 +02:00
1 parent 89340ef197
commit 4d7072d9ed
1 file changed
+2 -2
+2 -2
View File
@@ -34,7 +34,7 @@ class CodeEditor(Generic[TSymbol], ABC):
if agent is not None:
project = agent.get_active_project()
if project is not None:
encoding = agent.get_active_project().project_config.encoding
encoding = project.project_config.encoding
self.encoding = encoding
class EditedFile(ABC):
@@ -292,7 +292,7 @@ class LanguageServerCodeEditor(CodeEditor[LanguageServerSymbol]):
relative_path = os.path.relpath(file_path, self._lang_server.repository_root_path)
modified_relative_paths.append(relative_path)
with self._edited_file_context(relative_path) as edited_file:
edited_file = cast(self.EditedFile, edited_file)
edited_file = cast(LanguageServerCodeEditor.EditedFile, edited_file)
edited_file.apply_text_edits(edits)
return modified_relative_paths