Ubuntu
gedit package

  1. Bug #1800179
  2. Comment #6

Comment 6 for bug 1800179

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

This bug was fixed in the package gedit - 3.30.2-2

---------------
gedit (3.30.2-2) unstable; urgency=medium

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

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