Comment 10 for bug 1800179

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.