From fcd722a83662fffe4a74b7be2ff0ad4eceedb8cd Mon Sep 17 00:00:00 2001 From: Joscha Date: Sat, 8 Feb 2020 23:38:29 +0000 Subject: [PATCH] Use box drawing character for indentation --- src/Forest/Client/Node.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Forest/Client/Node.hs b/src/Forest/Client/Node.hs index ff0f467..bb55d28 100644 --- a/src/Forest/Client/Node.hs +++ b/src/Forest/Client/Node.hs @@ -26,7 +26,7 @@ narrowDrawState nodeId ds = ds } indent :: Widget n -> Widget n -indent = (txt "| " <+>) +indent = (txt "│ " <+>) drawSubnode :: NodeId -> DrawState -> Node -> Widget ResourceName drawSubnode nodeId ds node =