This repository was archived by the owner on Jul 8, 2020. It is now read-only.
This repository was archived by the owner on Jul 8, 2020. It is now read-only.
Deleting an empty line raises an error #33
Description
Not sure if that issue should be reported here, as it seems to be related to the editor.
- Create a new empty document
- Ctrl + Backspace to delete the indentation mark
- Backspace (at this point, the line should be empty)
A bug occured, we prefer to undo your last action not to take any risk. Message : TypeError: cont is null