Garmelon/forest
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[client] Adjust padding

Browse source
This commit is contained in:
Joscha 2020-02-11 16:44:57 +00:00
parent a546ce0334
commit f101ecdbb4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
client/Main.hs
View file

@ -134,7 +134,7 @@ onKeyWithEditor ed cs ev = updateEditor ed cs ev
{- And the rest of the Brick application -}
clientDraw :: ClientState -> [Widget ResourceName]
clientDraw cs = [padTop (Pad 1) $ padLeft (Pad 2) vp]
clientDraw cs = [padTopBottom 1 $ padLeftRight 2 vp]
where
tree = renderTree boxDrawingBranching (csEditor cs) (csTree cs)
vp = viewport RnViewport Vertical tree