[tree] turn off node tooltips

They don't provide useful information and for large trees, they are a
big performance hit.
parent 9c221838
...@@ -221,17 +221,17 @@ nodeSpanCpt = here.component "nodeSpan" cpt ...@@ -221,17 +221,17 @@ nodeSpanCpt = here.component "nodeSpan" cpt
-- // Abstract informations // -- // Abstract informations //
nodeTooltip -- nodeTooltip
{ id -- { id
, nodeType -- , nodeType
, name -- , name
} -- }
[ -- [
case mVersion of -- case mVersion of
Nothing -> mempty -- Nothing -> mempty
Just v -> versionComparator v -- Just v -> versionComparator v
] -- ]
, -- ,
R.createPortal R.createPortal
[ [
fileTypeView fileTypeView
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment