gnome-terminal seems to have an additional bug though, maybe related to tabs, that makes the scroll bar not appear even when doing the steps described in this report. It might be as simple as "after switching tabs, the scrollbar doesn't appear until you create a new line at the bottom of the terminal".
gnome-terminal seems to have an additional bug though, maybe related to tabs, that makes the scroll bar not appear even when doing the steps described in this report. It might be as simple as "after switching tabs, the scrollbar doesn't appear until you create a new line at the bottom of the terminal".