Cannot delete lines on mobile

[TomosLeggett]

If you edit a page on mobile, go to a random line and delete each character from that line, you cannot use the backspace to delete the line itself.

screen-20231210-031428.mp4

[redimp]

Thanks for the bug report. This might be an issue with codemirror, or an issue with using codemirror wrong.

I could not reproduce this with for example: https://codemirror.net/5/demo/theme.html

Can you double check if your mobile device works on this codemirror example?

[TomosLeggett]

I could not reproduce this with for example: https://codemirror.net/5/demo/theme.html

Can you double check if your mobile device works on this codemirror example?

Certainly!

screen-20231210-152943.mp4

[TomosLeggett]

Ah, I've just found out the same thing doesn't appear to happen if you're using gboard and only happens if you're using swiftkey. It seems this is a swiftkey issue.

[redimp]

Closing this issue. The topic of replacing the editor is discussed and tracked with in #105.