interactive
interactive copied to clipboard
indent problem when declaring a type in jupyter lab
When you declare a type in Jupyter Lab, the auto-indent fails to put the bracket at the proper position.
I expect:
let a =
{ <- indented
but it forcefully moves the cursor to the left and does:
let a =
{ <- not indented
so every single type declaration has to be manually fixed AGAINST the auto-indent.