jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2025-01-08 15:08:46 +03:00
Code Issues Projects Releases Wiki Activity

padLeft/Right/Top/Bottom: fix size hints in fixed-padding cases

Browse Source
This commit is contained in:
Jonathan Daugherty 2015-07-17 21:12:58 -07:00
parent c8ed8df9e1
commit 4f7ea093ea
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Brick/Widgets/Internal.hs
View File

@ -301,7 +301,7 @@ padLeft :: Padding -> Widget -> Widget
padLeft padding p =
let (f, sz) = case padding of
Max -> (id, Unlimited)
Pad i -> (hLimit i, Fixed)
Pad i -> (hLimit i, hSize p)
in Widget sz (vSize p) $ do
result <- render p
render $ (f $ vLimit (result^.image.to V.imageHeight) $ fill ' ') <+>
@ -312,7 +312,7 @@ padRight :: Padding -> Widget -> Widget
padRight padding p =
let (f, sz) = case padding of
Max -> (id, Unlimited)
Pad i -> (hLimit i, Fixed)
Pad i -> (hLimit i, hSize p)
in Widget sz (vSize p) $ do
result <- render p
render $ (Widget Fixed Fixed $ return result) <+>
@ -323,7 +323,7 @@ padTop :: Padding -> Widget -> Widget
padTop padding p =
let (f, sz) = case padding of
Max -> (id, Unlimited)
Pad i -> (vLimit i, Fixed)
Pad i -> (vLimit i, vSize p)
in Widget (hSize p) sz $ do
result <- render p
render $ (f $ hLimit (result^.image.to V.imageWidth) $ fill ' ') <=>
@ -334,7 +334,7 @@ padBottom :: Padding -> Widget -> Widget
padBottom padding p =
let (f, sz) = case padding of
Max -> (id, Unlimited)
Pad i -> (vLimit i, Fixed)
Pad i -> (vLimit i, vSize p)
in Widget (hSize p) sz $ do
result <- render p
render $ (Widget Fixed Fixed $ return result) <=>