21 Feb
2010
21 Feb
'10
4:17 a.m.
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@acc.umu.se