As I no longer have an Ubuntu 18.10 installation I tested gedit 3.30.2-0ubuntu0.18.10.2 in a live session by enabling proposed. I created several files with same names but with different or mixed case, and searched using both upper and lower case. As with the Ubuntu 18.04 test above the search of recent files (document selector) is now caseless.
** Tags removed: verification-needed-cosmic ** Tags added: verification-done-cosmic -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/1800179 Title: Search in recent files list only works with lowercase letters Status in gedit package in Ubuntu: Fix Released Status in gedit source package in Bionic: Fix Committed Status in gedit source package in Cosmic: Fix Committed Bug description: * Impact The document filter is case sensitive which is confusing/not convenient * Test case - Open a document with an Uppercase letter - close it - click on 'open' and type the name with an Uppercase -> it should list the document * Regression potential The code change is in the filtering code, just test that. -------------------------------- When clicking “Open” and typing to search the recently opened files, any search involving uppercase letters fails to return any result, even if files with uppercase letters in their file names have recently been opened. Searching for the same file names, but using all- lowercase letters, does yield results (see attached screenshot). So it seems that gedit converts the recently used file names to lowercase before comparing to the search term, which is incorrect. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1800179/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp

