singpolyma tweeted, “ROXTerm is nicer than gnome-terminal, but it makes the window smaller when opening/closing tabs, and tab operations are brutal slow” @ 2010-013.813Z Leave a Response Name Email Website Comment Authenticate this comment using OpenID. Get replies via e-mail