jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2025-01-06 05:14:11 +03:00
Code Issues Projects Releases Wiki Activity

Themes: clarify mapping customization

Browse Source
This commit is contained in:
Jonathan Daugherty 2017-10-29 19:39:48 -07:00
parent 883dce30ff
commit 9ef9d08e72
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Brick/Themes.hs
View File

@ -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)