blob: 090428fc68bcef0f6c78d51af66d3268b5b88c7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
{-# LANGUAGE OverloadedStrings #-}
module Brick.Widgets.DefnList (defnList, Align(..)) where
import Data.Monoid
import qualified Data.Text as T
import qualified Graphics.Vty as V
import Brick.Markup (markup)
import Brick.Types
import Brick.Widgets.Core
import Data.Text.Markup ((@@))
data Align = AlignLeft | AlignRight
deriving (Eq)
defnList :: Align -> Maybe V.Attr -> [(String, String)] -> Widget ()
defnList align attr defns = vBox $ line <$> defns
where
line (label, content) = markup $
(T.pack label @@ labelAttr) <> (T.pack sep @@ V.defAttr)
<> (if align == AlignRight
then (T.pack (gap label content) @@ V.defAttr)
else mempty
)
<> (T.pack content @@ V.defAttr)
gap a b = take (maxWidth - length a - length b - length sep) $
repeat ' '
maxWidth = maximum $
map (\(x,y) -> length sep + length x + length y) defns
sep = if align == AlignRight then ": " else ": "
labelAttr = maybe V.defAttr id attr
|
