This repository has been archived by the owner on Jul 8, 2020. It is now read-only.

Deleting an empty line raises an error #33

Open

bnjbvr opened this issue Jul 31, 2013 · 0 comments

Labels

bug

Contributor

bnjbvr commented Jul 31, 2013

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

jsilvestre added the bug label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.