Disallow certain chracters but allow spaces in the filename

mendhak · Nov 5, 2023 · 85f695c · 85f695c
1 parent 06e0868
commit 85f695c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gpslogger/src/main/java/com/mendhak/gpslogger/ui/fragments/display/GenericViewFragment.java b/gpslogger/src/main/java/com/mendhak/gpslogger/ui/fragments/display/GenericViewFragment.java
@@ -120,7 +120,7 @@ public void requestToggleLogging() {
             formElements.add(Input.plain(PreferenceNames.CUSTOM_FILE_NAME)
                     .required()
                     // Don't allow *, &, %, / or \ in the file name.
-                    .validatePattern("^[^*&%/\\]+$", "Invalid file name")
+                    .validatePattern("^[^*&%/\\\\]+$", "Invalid file name")
                     .suggest(new ArrayList<>(cachedList))
                     .text(preferenceHelper.getCustomFileName())
             );