http://gambaswiki.org/bugtracker/edit?object=BUG.2375&from=L21haW4- Comment #1 by Benoît MINISINI: The terminal scrollbar is actually in "auto-hide" mode, so I guess this is the auto-hide feature that is buggy on GTK+3... Benoît MINISINI changed the state of the bug to: Accepted.