Remove extended fold for right arrow (#13)

tshort · Jan 2, 2022 · 412c19a · 412c19a
1 parent 6387bb8
commit 412c19a
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/Eyeball.jl b/src/Eyeball.jl
@@ -63,13 +63,7 @@ function eye(x = Main, depth = 10; interactive = true)
             cursor[] = TerminalMenus.move_up!(menu, cursor[])
         elseif i == Int('l') || i == Int(TerminalMenus.ARROW_RIGHT)
             node = FoldingTrees.setcurrent!(menu, menu.cursoridx)               
-            if node.foldchildren
-                node.foldchildren = false                 
-            else
-                for child in AbstractTrees.children(node)
-                    child.foldchildren = foldobject(child.data.value)                 
-                end
-            end
+            node.foldchildren = false                 
             menu.pagesize = min(menu.maxsize, count_open_leaves(menu.root))
         elseif i == Int('h') || i == Int(TerminalMenus.ARROW_LEFT)
             node = FoldingTrees.setcurrent!(menu, menu.cursoridx)