I would like to try CodeMirror on Android, because features like line numbers and syntax highlight in the text edit window are tempting features. And the recent search and highlight plugin is advertised to work there for tiddler edit mode as well (albeit CodeMirror has its own search).
With default TiddlyWiki editor, I can manage selections normally: I press on a word and hold, it is selected (visually it gets a blue background) and I can drag its head and tail to modify the selection, then copy/cut it.
CodeMirror editor seems to do it very differently: pressing on a word and holding does not select it. I still get the popup menu, but there’s only a Select All
option. Also, I can select the current word by double tapping on it, but the selection has another color and no draggable head and tail, it looks like it happens internally inside CodeMirror.
Is this a limitation of CodeMirror TiddlyWiki plugin on mobile? An upstream CodeMirror bug on mobile? Are there any workarounds or other ways to select and copy text in a flexible manner? Is it possible to switch back to native Android text selection (didn’t see any setting like that)?