package: gedit Gedit's find dialog (Ctrl+F) doesn't show when line numbers are shown, "enable text warping", and "do not split words over two lines".
It shows until shutdown of Gedit, but disappears on restart and then never reappear. The functionality is there, but you don't get the feedback. patrik@debian:~$ dpkg -s gedit Package: gedit Status: install ok installed Priority: optional Section: gnome Installed-Size: 2739 Maintainer: Debian GNOME Maintainers <pkg-gnome-maintain...@lists.alioth.debian.org> Architecture: i386 Version: 3.4.2-1 Depends: python2.7, python (>= 2.6.6-7~), python (<< 2.8), libatk1.0-0 (>= 1.12.4), libc6 (>= 2.4), libcairo-gobject2 (>= 1.10.0), libcairo2 (>= 1.2.4), libenchant1c2a (>= 1.6), libffi5 (>= 3.0.4), libgdk-pixbuf2.0-0 (>= 2.22.0), libgirepository-1.0-1 (>= 0.9.3), libglib2.0-0 (>= 2.31.18), libgtk-3-0 (>= 3.3.16), libgtksourceview-3.0-0 (>= 3.0.0), libice6 (>= 1:1.0.0), libpango1.0-0 (>= 1.14.0), libpeas-1.0-0 (>= 1.1.0), libsm6, libx11-6, libxml2 (>= 2.7.4), gir1.2-atk-1.0, gir1.2-freedesktop, gir1.2-gdkpixbuf-2.0, gir1.2-glib-2.0, gir1.2-gtk-3.0, gir1.2-gtksource-3.0, gir1.2-pango-1.0, gedit-common (>= 3.4), gedit-common (<< 3.5), gsettings-desktop-schemas, python-gi (>= 3.0), python-gi-cairo (>= 3.0), gir1.2-peas-1.0, iso-codes Recommends: zenity, yelp Suggests: gedit-plugins Breaks: gedit-plugins (<< 2.91) Description: official text editor of the GNOME desktop environment gedit is a text editor which supports most standard editor features, extending this basic functionality with other features not usually found in simple text editors. gedit is a graphical application which supports editing multiple text files in one window (known sometimes as tabs or MDI). . gedit fully supports international text through its use of the Unicode UTF-8 encoding in edited files. Its core feature set includes syntax highlighting of source code, auto indentation and printing and print preview support. . gedit is also extensible through its plugin system, which currently includes support for spell checking, comparing files, viewing CVS ChangeLogs, and adjusting indentation levels. Homepage: http://www.gnome.org/projects/gedit/ -- PGP-key fingerprint: 1B30 7F61 AF9E 538A FCD6 2BE7 CED7 B0E4 3BF9 8D6C -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org