Fix bug in editable.getSelection()