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 Ubuntu Desktop Bugs, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/1800179 Title: Search in recent files list only works with lowercase letters To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1800179/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs