Closed this issue 2 years ago · 1 comments
E.g. after you use the "?" button to look at a node's docstring, you might want to free that space up again.
Closed by #72