From 7fc027c981e18114fc6ef85b5b0d5176c15fa300 Mon Sep 17 00:00:00 2001 From: CrystalSplitter Date: Wed, 13 Nov 2024 23:49:20 -0800 Subject: [PATCH] Minor documentation update --- lib/ghcitui-brick/Ghcitui/Brick/AppConfig.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/ghcitui-brick/Ghcitui/Brick/AppConfig.hs b/lib/ghcitui-brick/Ghcitui/Brick/AppConfig.hs index 5635a64..4179e2f 100644 --- a/lib/ghcitui-brick/Ghcitui/Brick/AppConfig.hs +++ b/lib/ghcitui-brick/Ghcitui/Brick/AppConfig.hs @@ -46,6 +46,7 @@ data AppConfig = AppConfig } deriving (Show) +-- | Set up the default config for the App startup. defaultConfig :: AppConfig defaultConfig = AppConfig