Leahnaya/dolphin
1
0
Fork 0
mirror of https://github.com/dolphin-emu/dolphin.git synced 2026-04-26 01:56:34 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #11927 from JosJuice/android-custom-file-extension-locale

Browse Source 
Android: Check file name extensions locale-independently
This commit is contained in:
Charles Lombardo 2023-06-11 16:52:50 -04:00 committed by GitHub
commit 8db5775a1b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/fragments/CustomFilePickerFragment.kt
View File

@ -51,7 +51,7 @@ class CustomFilePickerFragment : FilePickerFragment() {
// files if the files don't show up in the file picker when mode == MODE_DIR. // files if the files don't show up in the file picker when mode == MODE_DIR.
// To avoid this, show files even when the user needs to select a directory. // To avoid this, show files even when the user needs to select a directory.
return (showHiddenItems || !file.isHidden) && return (showHiddenItems || !file.isHidden) &&
(file.isDirectory || extensions!!.contains(fileExtension(file.name).lowercase(Locale.getDefault()))) (file.isDirectory || extensions!!.contains(fileExtension(file.name).lowercase(Locale.ENGLISH)))
} }
override fun isCheckable(file: File): Boolean { override fun isCheckable(file: File): Boolean {