Hi Edouard,
thank you for providing a fix. I think it’s too complicated, though. Using prompt-toolkit-2-instead-of-prompt-toolkit everywhere does not seem like an elegant solution. I pushed a different fix with commit 7146c8c75d. -- Ricardo
Hi Edouard,
thank you for providing a fix. I think it’s too complicated, though. Using prompt-toolkit-2-instead-of-prompt-toolkit everywhere does not seem like an elegant solution. I pushed a different fix with commit 7146c8c75d. -- Ricardo