From 62874a6d3f2e03c29237e79441a9a7e9a8e873e5 Mon Sep 17 00:00:00 2001 From: Joscha Date: Sun, 9 Feb 2020 22:34:21 +0000 Subject: [PATCH] Remove debugging UI --- client/Main.hs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/client/Main.hs b/client/Main.hs index f5b9a3d..e770596 100644 --- a/client/Main.hs +++ b/client/Main.hs @@ -131,10 +131,9 @@ onKeyWithEditor ed cs ev = do {- Constructing the client app -} clientDraw :: ClientState -> [Widget ResourceName] -clientDraw cs = [joinBorders $ withBorderStyle unicode $ tree <+> debug] +clientDraw cs = [padTop (Pad 1) $ padLeft (Pad 2) tree] where - tree = borderWithLabel (txt "Tree") $ renderTree boxDrawingBranching (csEditor cs) (csTree cs) - debug = borderWithLabel (txt "Debug") $ maybe (txt "No editor") (vBox . map txt . getCurrentText) (csEditor cs) + tree = renderTree boxDrawingBranching (csEditor cs) (csTree cs) clientHandleEvent :: ClientState -> BrickEvent ResourceName () -> EventM ResourceName (Next ClientState) clientHandleEvent cs (VtyEvent ev) = case csEditor cs of