[xmonad] increase size of font on terminal

[Lars Viklund]

On Sat, Feb 20, 2010 at 10:00:09PM -0600, Sean Neilan wrote:
> Got it. I didn't know xmonad used xterm. That makes this much easier.

It uses whatever you specify in your ~/xmonad/xmonad.hs.

If you haven't created one and overridden it, the default is xterm, as
can be seen in Config.hs in the xmonad source.

If you had changed it to say gnome-terminal, Terminal or konsole, you
could use their specific keys to adjust their fonts and whatnot.

-- 
Lars Viklund | zao at acc.umu.se