Dear all: Does anyone change the font size in terminal on Xubuntu? I search the preference option but I cannot see the size option. appreciate your help, miloody