Auto save after dots

This commit is contained in:
M66B
2022-04-27 07:54:19 +02:00
parent 3206a3ae3d
commit e0d5331c29
5 changed files with 42 additions and 18 deletions

View File

@@ -1861,6 +1861,10 @@ public class Helper {
};
}
static boolean isDot(char c) {
return (c == '.' /* Latin */ || c == '。' /* Chinese */);
}
// Files
static String sanitizeFilename(String name) {