Oleh Marakhovskyi

This is timeout for requests, but i need timeout for ```asyncio.Queue```, or a way to add timeout without using it In the basic example this line awaits too long if...

I think the problem here is `evil-mode`. Agda mode [calls read-string](https://github.com/agda/agda/blob/11e54c0e0229996c22ed7b53a50694933de84b09/src/data/emacs-mode/agda2-mode.el#L777) with INHERIT-INPUT-METHOD set to true, but the `current-input-method` is nil in evil normal mode [by design](https://github.com/emacs-evil/evil/issues/5#issuecomment-273739993), so to make...