agda-mode-vscode icon indicating copy to clipboard operation
agda-mode-vscode copied to clipboard

Published 20 hours ago • verified publisher icon banacorn

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

Open Maylibooyah69 opened this issue 2 months ago • 0 comments

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.

Maylibooyah69 avatar May 14 '24 00:05 Maylibooyah69