Usually I have several gnome-terminals running, with several tabs each. Unfortunately, it is very difficult to navigate across them. Alt-Tab only navigates across windows, not across terminals's tabs.
Is there anything that could display to me Titles of ALL tabs that I have opened across all gnome-terminals, and let me jump to it ?
Thanks,
ilyia