Bugfix: emojis cannot be used as filenames.

Fixes #1129.
2022-02-17 17:58:11 +01:00
parent 0848897ed0
commit ab5e6cbfcd
2 changed files with 10 additions and 3 deletions
@@ -146,7 +146,7 @@ public class FileUtils {
        for (int i = 0; i < name.length(); i++) {
            int codePoint = name.codePointAt(i);
            char character = name.charAt(i);
-            if (Character.isLetterOrDigit(character) || codePoint > 127 || isSpecialFat32(character) || character == '.') {
+            if (Character.isLetterOrDigit(character) || isSpecialFat32(character) || character == '.') {
                builder.appendCodePoint(codePoint);
            } else {
                builder.append("_");