Is it possible to control font-size via a command or applescript or something? ---------------------------------------- I guess this is just a work-around so that I can write a command that switches: 1. Language 2. Theme 3. Font size in one step.