Case sensitive file extension filter

[dasyad00]

Describe the bug

On Linux, the file extension filter is case sensitive, meaning files such as image.JPG would not be shown on the file picker window, while image.jpg would be shown on the file picker window.

Platform

• Android
• iOS
• Web
• Windows
• Linux

Platform OS version

(Arch) Linux.
When tested on Windows, the issue did not occur.

Details to reproduce the issue
Open an file picker with FileType.image or FileType.custom and allowedExtensions: ["jpg"] to a folder containing two files image.jpg and image.JPG. Only image.jpg will be shown.

Flutter Version details

[✓] Flutter (Channel stable, 3.10.2, on Arch Linux 6.4.3-arch1-1, locale en_US.UTF-8)
    • Flutter version 3.10.2 on channel stable at /opt/flutter
    • Upstream repository https://github.com/flutter/flutter.git
    • Framework revision 9cd3d0d9ff (7 weeks ago), 2023-05-23 20:57:28 -0700
    • Engine revision 90fa3ae28f
    • Dart version 3.0.2
    • DevTools version 2.23.1

[✓] Android toolchain - develop for Android devices (Android SDK version 33.0.2)
    • Android SDK at /home/dasyad00/Android/Sdk
    • Platform android-33-ext5, build-tools 33.0.2
    • ANDROID_HOME = /home/dasyad00/Android/Sdk
    • Java binary at: /opt/android-studio/jbr/bin/java
    • Java version OpenJDK Runtime Environment (build 17.0.6+0-17.0.6b802.4-9586694)
    • All Android licenses accepted.

[✓] Chrome - develop for the web
    • CHROME_EXECUTABLE = google-chrome-stable

[✓] Linux toolchain - develop for Linux desktop
    • clang version 15.0.7
    • cmake version 3.26.4
    • ninja version 1.11.1
    • pkg-config version 1.8.1

[✓] Android Studio (version 2022.2)
    • Android Studio at /opt/android-studio
    • Flutter plugin version 74.0.2
    • Dart plugin version 222.4582
    • Java version OpenJDK Runtime Environment (build 17.0.6+0-17.0.6b802.4-9586694)

[✓] IntelliJ IDEA Ultimate Edition (version 2023.1)
    • IntelliJ at /opt/intellij-idea-ultimate-edition
    • Flutter plugin version 73.0.4
    • Dart plugin can be installed from:
      🔨 https://plugins.jetbrains.com/plugin/6351-dart

[✓] Connected device (2 available)
    • Linux (desktop) • linux  • linux-x64      • Arch Linux 6.4.3-arch1-1
    • Chrome (web)    • chrome • web-javascript • Google Chrome 114.0.5735.198

[✓] Network resources
    • All expected network resources are available.

• No issues found!

Additional context
I'm suspecting that the issue lies with how Windows is a case-insensitive OS while Linux is case-sensitive.

A workaround is to have lowercase and uppercase variants for each file extension, but this solution would not work for when the file extension is (for whatever reason) mixed case, eg. Jpeg, jPeg.

[github-actions]

This issue is stale because it has been open for 14 days with no activity.

[dasyad00]

@miguelpruivo Would you like some help with investigating this?

[github-actions]

This issue is stale because it has been open for 14 days with no activity.

[github-actions]

This issue was closed because it has been inactive for 14 days since being marked as stale.