From f101ecdbb435f49c064754df5bdac3c81d4d1258 Mon Sep 17 00:00:00 2001 From: Joscha Date: Tue, 11 Feb 2020 16:44:57 +0000 Subject: [PATCH] [client] Adjust padding --- client/Main.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/Main.hs b/client/Main.hs index cd9b188..ef9f421 100644 --- a/client/Main.hs +++ b/client/Main.hs @@ -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