- Notifications
You must be signed in to change notification settings - Fork 752
Pull requests: prompt-toolkit/python-prompt-toolkit
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix memory leak for prompt_toolkit.filters.base.Never/Always and inline condition filter
#1836 by vicalloy was merged Feb 12, 2024 Loading… updated Feb 12, 2024
Expand type definition for filename
#1849 by alexrudd2 was merged Feb 12, 2024 Loading… updated Feb 12, 2024
Remove Windows Terminal Recommendations
#1839 by harleyreevesmartin was merged Jan 2, 2024 Loading… updated Jan 2, 2024
Fix ctypes usage on pypy.
#1833 by jonathanslenders was merged Dec 13, 2023 Loading… updated Dec 13, 2023
Use Coroutine instead of Awaitable in type annotations where possible.
#1832 by jonathanslenders was merged Dec 12, 2023 Loading… updated Dec 12, 2023
Restore signal.SIGINT handler between prompts
#1822 by tornaria was merged Dec 12, 2023 Loading… updated Dec 12, 2023
Disable workaround for ipython >= 8.18
#1821 by tornaria was merged Dec 12, 2023 Loading… updated Dec 12, 2023
Fix doc example for progress bar with custom iterable
#1761 by pradeep90 was merged Dec 12, 2023 Loading… updated Dec 12, 2023
Make formatted_text.split_lines accept an iterable (type annotation only).
#1829 by jonathanslenders was merged Dec 12, 2023 Loading… updated Dec 12, 2023
Fix line wrapping in
patch_stdout on Windows. #1827 by jonathanslenders was merged Dec 8, 2023 Loading… updated Dec 8, 2023
Fix IPython inputhook (workaround).
#1811 by jonathanslenders was merged Nov 14, 2023 Loading… updated Nov 27, 2023
Fix inputhook implementation to be compatible with asyncio.run().
#1810 by jonathanslenders was merged Nov 13, 2023 Loading… updated Nov 13, 2023
Remove a superfluous quotation mark from the styling doc.
#1804 by liske was merged Nov 4, 2023 Loading… updated Nov 4, 2023
Add 'build.os' params to .readthedocs.yml
#1803 by danirus was merged Nov 3, 2023 Loading… updated Nov 3, 2023
Partial suggestion filling for path parts
#1722 by LoicGrobol was merged Nov 3, 2023 Loading… updated Nov 3, 2023
feat(keymap): add indent/dedent in insert mode
#1780 by liljaylj was merged Nov 3, 2023 Loading… updated Nov 3, 2023
application: fix
DeprecationWarning (#1798) #1799 by doronz88 was merged Nov 3, 2023 Loading… updated Nov 3, 2023
ProTip! Follow long discussions with comments:>50.