From 17215dd2493eb1c5396cb54f9e40f50338626372 Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Wed, 1 Apr 2020 22:49:36 -0400
Subject: [PATCH] ENH make prompt slightly larger

---
 lib/XMonad/Internal/Theme.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/XMonad/Internal/Theme.hs b/lib/XMonad/Internal/Theme.hs
index 40c09c8..338acc5 100644
--- a/lib/XMonad/Internal/Theme.hs
+++ b/lib/XMonad/Internal/Theme.hs
@@ -166,13 +166,13 @@ tabbedTheme = D.def
 
 promptTheme :: P.XPConfig
 promptTheme = P.def
-  { P.font              = fmtFontXFT font
+  { P.font              = fmtFontXFT font { size = Just 12 }
   , P.bgColor           = bgColor
   , P.fgColor           = fgColor
   , P.fgHLight          = selectedFgColor
   , P.bgHLight          = selectedBgColor
   , P.borderColor       = bordersColor
   , P.promptBorderWidth = 1
-  , P.height            = 30
+  , P.height            = 35
   , P.position          = P.CenteredAt 0.5 0.5
   }