11 Aug
2007
11 Aug
'07
1:50 a.m.
It turned out that we weren't actually using the selected font. Probably the same bug exists in Tabbed, but in that case I use the default font anyhow, and it looks fine. David Fri Aug 10 10:04:45 PDT 2007 David Roundy <droundy@darcs.net> * don't crash when given a non-existent font in XPrompt. Fri Aug 10 10:45:43 PDT 2007 David Roundy <droundy@darcs.net> * actually use the selected font in XPrompt.