Dear Maintainer,

Please add an option (through right clic and command line option) to set tabs
title.
Indeed, gnome-terminal does not always set a proper tab title or sometime user
may use custom tab title to identify easily a specific tab.