Não, o terminal do gnome não tem essas opções.
Existe uma maneira de alternar a guia do gnome-terminal de um script? Eu sei sobre xdotool, mas preciso mudar para a guia por nome. Pode haver uma maneira de saber a lista de nomes de guias ou o nome da guia atual pelo menos no console?