mirror of
https://github.com/jtdaugherty/brick.git
synced 2024-11-22 14:10:03 +03:00
BorderDemo: nit
This commit is contained in:
parent
339ce5243c
commit
417571b9a1
@ -16,12 +16,12 @@ import Brick.Types
|
||||
( Widget
|
||||
)
|
||||
import Brick.Widgets.Core
|
||||
( (<=>)
|
||||
, (<+>)
|
||||
( (<+>)
|
||||
, withAttr
|
||||
, vLimit
|
||||
, hLimit
|
||||
, hBox
|
||||
, vBox
|
||||
, updateAttrMap
|
||||
, withBorderStyle
|
||||
, txt
|
||||
@ -91,13 +91,14 @@ colorDemo =
|
||||
|
||||
ui :: Widget ()
|
||||
ui =
|
||||
hBox borderDemos
|
||||
<=> B.hBorder
|
||||
<=> colorDemo
|
||||
<=> B.hBorderWithLabel (str "horizontal border label")
|
||||
<=> (C.center (str "Left of vertical border")
|
||||
vBox [ hBox borderDemos
|
||||
, B.hBorder
|
||||
, colorDemo
|
||||
, B.hBorderWithLabel (str "horizontal border label")
|
||||
, (C.center (str "Left of vertical border")
|
||||
<+> B.vBorder
|
||||
<+> C.center (str "Right of vertical border"))
|
||||
]
|
||||
|
||||
main :: IO ()
|
||||
main = M.simpleMain ui
|
||||
|
Loading…
Reference in New Issue
Block a user