https://bugs.kde.org/show_bug.cgi?id=510174
--- Comment #12 from Roke Julian Lockhart Beedell <[email protected]> --- (In reply to Harald Sitter from comment #10) > We are not going to add insensitivity code because some person feels the > need to want file extensions to be in capital letters, when by your very > argument it does not matter what case they are in. Have you never needed to upload a file with a specific filename, or downloaded one with a capitalised extension? AOSP 15 (API 35)'s `com.google.android.documentsui/com.android.documentsui.picker.PickActivity`, Windows 11 24H2's WinForms and WinUI3 `FilePicker`, and GTK 4.22's file chooser (even outside of GNOME 48) all support this. Considering that their developers put the time into it, even regardless of what you think of my rationale, there must be a reason to implement it. -- You are receiving this mail because: You are watching all bug changes.
