From 6d176a7aef70be813061c364d9800b63dddeca79 Mon Sep 17 00:00:00 2001 From: Jonathan Slenders Date: Mon, 26 Sep 2022 19:19:05 +0000 Subject: [PATCH] Removed several unused type:ignore comments. --- src/prompt_toolkit/contrib/ssh/server.py | 2 +- src/prompt_toolkit/layout/utils.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/prompt_toolkit/contrib/ssh/server.py b/src/prompt_toolkit/contrib/ssh/server.py index 4040f3f6d..793d259c9 100644 --- a/src/prompt_toolkit/contrib/ssh/server.py +++ b/src/prompt_toolkit/contrib/ssh/server.py @@ -120,7 +120,7 @@ def data_received(self, data: str, datatype: object) -> None: self._input.send_text(data) -class PromptToolkitSSHServer(asyncssh.SSHServer): # type: ignore +class PromptToolkitSSHServer(asyncssh.SSHServer): """ Run a prompt_toolkit application over an asyncssh server. diff --git a/src/prompt_toolkit/layout/utils.py b/src/prompt_toolkit/layout/utils.py index 2e0f34388..cebdf28bc 100644 --- a/src/prompt_toolkit/layout/utils.py +++ b/src/prompt_toolkit/layout/utils.py @@ -73,8 +73,8 @@ def explode_text_fragments(fragments: Iterable[_T]) -> _ExplodedList[_T]: result: List[_T] = [] - for style, string, *rest in fragments: # type: ignore - for c in string: # type: ignore + for style, string, *rest in fragments: + for c in string: result.append((style, c, *rest)) # type: ignore return _ExplodedList(result)