<@U0B8ZP13Q>: than: ``` private fun backspace...

# announcements

[egslava]

@cedric:
than:

private fun backspace() = if (editor.selectionStart == editor.selectionEnd) {
        editor.text.delete(editor.selectionStart, editor.selectionEnd)      // remove selection
    } else if (editor.selectionStart > 0) {
        editor.text.delete(editorSelection - 1, editor.selectionEnd)  // remove current and back caret
    } else null