Fix void edit_delete()'s behavior

The new behavior is if there is a selected text to delete it, otherwise erase the character immediatly following (if any)

Only tested on Linux, but should work on other platforms too.