From 4e105f0cb7290d49cd512ec1f06634f6384da4d1 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Wed, 17 Aug 2022 16:19:34 +0100 Subject: [PATCH] ;dev: ui: note relevant discussion --- hledger-ui/Hledger/UI/UITypes.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/hledger-ui/Hledger/UI/UITypes.hs b/hledger-ui/Hledger/UI/UITypes.hs index 5a59ac71d..185c43617 100644 --- a/hledger-ui/Hledger/UI/UITypes.hs +++ b/hledger-ui/Hledger/UI/UITypes.hs @@ -134,6 +134,7 @@ data Screen = ,esError :: String -- ^ error message to show } deriving (Show) +-- XXX check for ideas: https://github.com/jtdaugherty/brick/issues/379#issuecomment-1191993357 -- | Error message to use in case statements adapting to the different Screen shapes. errorWrongScreenType = error' "handler called with wrong screen type, should not happen"