more xfce4-terminal tweaks;