So yesterday I'm hacking along and all of a sudden, Eclipse
starts dragging ... getting slower and slower until everything kind
of refreshes on-screen and the font of my Flex editor changed from
a small-ish Arial to a too-big Courier. How do I change the text
formatting of my source code view?