programmatically change the font size of an `xfce4-terminal`