i have added 2 tab-related features to gnome-terminal, namely
quick tab lookup by title ("jump to tab") and modified previous/next tab behavior.
i filed a "feature request" in bugzilla and attached the patch.
http://bugzilla.gnome.org/show_bug.cgi?id=171538
could someone please take a look and comment on this?
--
Deomid Ryabkov aka Rojer
myself rojer pp ru
rojer sysadmins ru
ICQ: 8025844
Attachment:
smime.p7s
Description: S/MIME Cryptographic Signature