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

Use box drawing character for indentation

Browse source
This commit is contained in:
Joscha 2020-02-08 23:38:29 +00:00
parent 8fb3ab19c8
commit fcd722a836
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Forest/Client/Node.hs
View file

@ -26,7 +26,7 @@ narrowDrawState nodeId ds = ds
} }
indent :: Widget n -> Widget n indent :: Widget n -> Widget n
indent = (txt "| " <+>) indent = (txt "│ " <+>)
drawSubnode :: NodeId -> DrawState -> Node -> Widget ResourceName drawSubnode :: NodeId -> DrawState -> Node -> Widget ResourceName
drawSubnode nodeId ds node = drawSubnode nodeId ds node =