Added xfce4 terminal settings (although it seems this gets overwritten when changes are made through the GUI).