Add Tree.move_cursor
, and ensure Tree.select_node
selects the node
#4012
Job | Run time |
---|---|
1m 30s | |
2m 42s | |
4m 12s |
Tree.move_cursor
, and ensure Tree.select_node
selects the node
#4012
Job | Run time |
---|---|
1m 30s | |
2m 42s | |
4m 12s |