tweaks to xfce4-terminal