Bug#738125: gedit: Please visually indicate which tab is the one currently in use!
David Z
unimportantdavidz at gmail.com
Fri Feb 7 21:57:55 UTC 2014
Package: gedit
Version: 3.4.2-1
Severity: wishlist
Tags: upstream
Dear Maintainer,
With more than one tab open in gedit, it can be quite difficult to keep them
organized without some indication of which tab is the one currently being
displayed.
I think a simple Bolding of the tab's title text, or perhaps a border or other
color change of the currently-in-use tab would be a wonderful and simple
measure to make your excellent program even better!
Thank you for all of your hard work.
-- Package-specific info:
Active plugins:
No plugin installed in $HOME.
Module versions:
pkg-config unavailable
-- System Information:
Debian Release: 7.3
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gedit depends on:
ii gedit-common 3.4.2-1
ii gir1.2-atk-1.0 2.4.0-2
ii gir1.2-freedesktop 1.32.1-1
ii gir1.2-gdkpixbuf-2.0 2.26.1-1
ii gir1.2-glib-2.0 1.32.1-1
ii gir1.2-gtk-3.0 3.4.2-7
ii gir1.2-gtksource-3.0 3.4.2-1
ii gir1.2-pango-1.0 1.30.0-1
ii gir1.2-peas-1.0 1.4.0-2
ii gsettings-desktop-schemas 3.4.2-3
ii iso-codes 3.41-1
ii libatk1.0-0 2.4.0-2
ii libc6 2.13-38
ii libcairo-gobject2 1.12.2-3
ii libcairo2 1.12.2-3
ii libenchant1c2a 1.6.0-7
ii libffi5 3.0.10-3
ii libgdk-pixbuf2.0-0 2.26.1-1
ii libgirepository-1.0-1 1.32.1-1
ii libglib2.0-0 2.33.12+really2.32.4-5
ii libgtk-3-0 3.4.2-7
ii libgtksourceview-3.0-0 3.4.2-1
ii libice6 2:1.0.8-2
ii libpango1.0-0 1.30.0-1
ii libpeas-1.0-0 1.4.0-2
ii libsm6 2:1.2.1-2
ii libx11-6 2:1.5.0-1+deb7u1
ii libxml2 2.8.0+dfsg1-7+nmu2
ii python 2.7.3-4+deb7u1
ii python-gi 3.2.2-2
ii python-gi-cairo 3.2.2-2
ii python2.7 2.7.3-6
Versions of packages gedit recommends:
ii yelp 3.4.2-1+b1
ii zenity 3.4.0-2
Versions of packages gedit suggests:
pn gedit-plugins <none>
-- no debconf information
More information about the pkg-gnome-maintainers
mailing list