move cursor in whole codepoints on space / delete swipe

and when space-swiping across emoji, send fake arrow keypress instead (discouraged, but avoids e.g. splitting pirate flag emoji and thus justified)
fixes #859
This commit is contained in:
Helium314 2024-06-12 22:46:42 +02:00
parent 5b1f40f0f6
commit d91350524a
3 changed files with 47 additions and 13 deletions

View file

@ -625,7 +625,7 @@ public final class StringUtils {
return false;
}
public static boolean mightBeEmoji(final String s) {
public static boolean mightBeEmoji(final CharSequence s) {
int offset = 0;
final int length = s.length();
while (offset < length) {