can't type into the normalize expression's text input

banacorn / agda-mode-vscode

agda-mode on VS Code

https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode

MIT License

167 stars 38 forks source link

can't type into the normalize expression's text input #186

Open Maylibooyah69 opened 3 months ago

Maylibooyah69 commented 3 months ago

Hi sorry if this is a basic question. But when I try to normalize expression with C-c, C-n the text shows up but I can not type anything except for enter. Also the input bar stops blicking whenever I have keys pressed down.

banacorn commented 3 days ago

Issue reproduced!

banacorn commented 3 days ago

Sorry, but somehow I lost the ability to reproduce this problem afterwards. Not sure what I did wrong (or right ?) Can you please provide a way to reproduce it?