idris2-nvim icon indicating copy to clipboard operation
idris2-nvim copied to clipboard

Code is unexpectedly indented on closing `}`

Open joelberkeley opened this issue 1 month ago • 1 comments

Sometimes when closing a { } pair, the line indentation resets. I almost never expect or desire this to happen, and suspect it's a bug. Dunham points out this might be caused by this line

joelberkeley avatar Feb 02 '25 03:02 joelberkeley