Skip to content

[WIP] Upgrade to prompt_toolkit 2.0#118

Open
jonathanslenders wants to merge 1 commit intodonnemartin:masterfrom
jonathanslenders:prompt-toolkit-2.0
Open

[WIP] Upgrade to prompt_toolkit 2.0#118
jonathanslenders wants to merge 1 commit intodonnemartin:masterfrom
jonathanslenders:prompt-toolkit-2.0

Conversation

@jonathanslenders
Copy link
Copy Markdown

Upgrade to prompt_toolkit 2.0.
As far as I could test, it looks like most stuff is working fine.
I still have to check the ignore_case option.

@jonathanslenders
Copy link
Copy Markdown
Author

@donnemartin
Copy link
Copy Markdown
Owner

@jonathanslenders thanks for the PR! I hope to check it out in the next week or two.

Congrats on 2.0.

@ThatLurker
Copy link
Copy Markdown
Contributor

@donnemartin Is this ready for merge yet?

@eyadsibai
Copy link
Copy Markdown

just a side note: prompt-toolkit 3.0 has been released

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants