Ubuntu
gedit package

  1. Bug #1800179
  2. Comment #11

Comment 11 for bug 1800179

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package gedit - 3.30.2-0ubuntu0.18.10.2

---------------
gedit (3.30.2-0ubuntu0.18.10.2) cosmic; urgency=medium

  * debian/patches/document-selector-make-search-caseless.patch:
    - 'document selector: make search caseless', it makes the filter in
      the open document dialog work in a more logical way (lp: #1800179)

 -- Sebastien Bacher <email address hidden> Mon, 17 Dec 2018 16:41:01 +0100