althaser Thu, 13 Feb 2014 10:18:35 -0800
Hey, could you please try to reproduce this bug with newer version like gnome-terminal-3.4.1.1-2 or 3.10.1-1 ?
thanks regards althaser
