Hi, I've just installed f20 and can't figure out why the gnome-terminal scroll history doesn't work. I've enabled both "scroll on output" and "scroll on keystroke" in the Scrolling tab, but there is still no scroll history. What am I missing? Thanks, Alex