Skip to content

Pull requests: prompt-toolkit/python-prompt-toolkit

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Mypy fixes
#1641 by jonathanslenders was merged May 31, 2022 Loading…
Use ExitStack in Application.run()
#1635 by jonathanslenders was merged Sep 2, 2022 Loading…
Add documentation for WindowRenderInfo, Point, Size
#1629 by MrMino was merged May 20, 2022 Loading…
Always wrap lines in a Label widget by default.
#1623 by jonathanslenders was merged Apr 25, 2022 Loading…
Remove box on progress bar.
#1620 by ArthurREGNARD was closed Apr 22, 2022 Loading…
Add has_suggestion filter
#1617 by bitkeen was merged Apr 20, 2022 Loading…
add default value option for input dialog
#1616 by motty-mio2 was merged Apr 20, 2022 Loading…
Fix minor typo in fancy-zsh-prompt.py
#1615 by chrisdlees was merged Apr 14, 2022 Loading…
Add __bool__ to auto_suggest.Suggestion
#1612 by MrMino was closed Apr 20, 2022 Loading…
Fix print_container utility. Handle EOFError.
#1611 by jonathanslenders was merged Apr 4, 2022 Loading…
telnet client size changes were not detected by applications
#1603 by wuf was merged Apr 4, 2022 Loading…
Allow zero-width-escape sequences in print_formatted_text
#1602 by joouha was merged Apr 19, 2022 Loading…
Keep library in an src/ directory.
#1594 by jonathanslenders was merged Mar 14, 2022 Loading…
Several typecheck improvements related to mypy 0.941.
#1593 by jonathanslenders was merged Mar 14, 2022 Loading…
fix: right prompt not aligned correctly
#1591 by jnoortheen was merged Feb 17, 2023 Loading…
Telnet fixes
#1586 by jonathanslenders was merged Mar 9, 2022 Loading…
Several sigint related improvements.
#1582 by jonathanslenders was merged Mar 7, 2022 Loading…
Several sigint related improvements.
#1581 by jonathanslenders was closed Mar 6, 2022 Loading…
Add Github project link to documentation landing page
#1578 by miohtama was merged Mar 7, 2022 Loading…
ProTip! Updated in the last three days: updated:>2025-11-15.