Prompt.hs: increase font size to 12 from niggardly 10

This commit is contained in:
gwern0
2008-11-19 21:25:23 +00:00
parent a521838fac
commit 8afb72a48e

View File

@@ -176,7 +176,7 @@ data XPPosition = Top
defaultXPConfig :: XPConfig
defaultXPConfig =
XPC { font = "-misc-fixed-*-*-*-*-10-*-*-*-*-*-*-*"
XPC { font = "-misc-fixed-*-*-*-*-12-*-*-*-*-*-*-*"
, bgColor = "grey22"
, fgColor = "grey80"
, fgHLight = "black"