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.

https://github.com/redimp/otterwiki/assets/29714592/3eef771c-0fe7-4848-ba45-e44224200dd5

[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!

https://github.com/redimp/otterwiki/assets/29714592/5a7c2472-d797-45ba-a31a-f66ce7e6188a

[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.