void-packages/srcpkgs/python3-prompt_toolkit/patches/dont-handle-sigint.patch

28 lines
970 B
Diff
Raw Normal View History

This makes handle_sigint default to False
See:
- https://github.com/void-linux/void-packages/issues/35712
- https://github.com/prompt-toolkit/python-prompt-toolkit/issues/1576
- https://trac.sagemath.org/ticket/33360#comment:3
--- a/prompt_toolkit/application/application.py 2022-02-11 05:06:37.000000000 -0300
+++ b/prompt_toolkit/application/application.py 2022-02-21 10:43:13.828058001 -0300
@@ -634,7 +634,7 @@
self,
pre_run: Optional[Callable[[], None]] = None,
set_exception_handler: bool = True,
- handle_sigint: bool = True,
+ handle_sigint: bool = False,
slow_callback_duration: float = 0.5,
) -> _AppResult:
"""
@@ -859,7 +859,7 @@
self,
pre_run: Optional[Callable[[], None]] = None,
set_exception_handler: bool = True,
- handle_sigint: bool = True,
+ handle_sigint: bool = False,
in_thread: bool = False,
) -> _AppResult:
"""