On Wed, 2013-06-05 at 21:49 +0800, Arnel A. Borja wrote:
> Sorry, quite busy these last few days. For the auto-scrolling, I think
> that's the expected behavior, is it not? VTE has an option to
> enable/disable automatic scrolling, try checking that one.

Yes, I meant I'm fine with automatic scrolling. The problem was that it
stopped when I maximized the window, up until I manually dragged the
thumb down to the bottom again.

> For the sunken border, I also can't find a fix for that, it also
> doesn't work here. Maybe you could ask on VTE's mailing list.

Good idea. I forgot there was one.

-- 
Kip Warner -- Software Engineer
OpenPGP encrypted/signed mail preferred
http://www.thevertigo.com
_______________________________________________
gtk-app-devel-list mailing list
gtk-app-devel-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list

Reply via email to