From 9ef9d08e72e73dd0bed00861a0a4d1b1c93daa0b Mon Sep 17 00:00:00 2001 From: Jonathan Daugherty Date: Sun, 29 Oct 2017 19:39:48 -0700 Subject: [PATCH] Themes: clarify mapping customization --- src/Brick/Themes.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Brick/Themes.hs b/src/Brick/Themes.hs index 1f91455..e589046 100644 --- a/src/Brick/Themes.hs +++ b/src/Brick/Themes.hs @@ -61,7 +61,9 @@ data Theme = -- for user customization of the theme. , themeCustomMapping :: M.Map AttrName CustomAttr -- ^ Customizations for individual entries of the default - -- mapping. + -- mapping. Note that this will only affect entries in the + -- default mapping; any attributes named here that are not + -- present in the default mapping will not be considered. } deriving (Eq, Read, Show, Generic)