support mouse scroll in gnome-terminal