Eu uso o GNOME-Terminal 3.20.2 no GNOME Shell 3.20.4 no SUSE Linux e as teclas de atalho para alternar as guias ( CTRL + Page Up e CTRL + Page Down ) funciona apenas esporadicamente. Como posso descobrir o motivo desse comportamento e corrigi-lo?
Tags gnome-terminal