1) When I open the workspace panel, it is empty. I have to click refresh once to see all my variables. This should be triggered automatically, IMO.
2) When I unfold a branch in the tree view of one of my variables and then do something, say define a new variable in the REPL, the workspace refreshes (which is good) but also my unfolded branch is lost (I have to unfold it again, which I find a bit annoying).
1) When I open the workspace panel, it is empty. I have to click refresh once to see all my variables. This should be triggered automatically, IMO.
2) When I unfold a branch in the tree view of one of my variables and then do something, say define a new variable in the REPL, the workspace refreshes (which is good) but also my unfolded branch is lost (I have to unfold it again, which I find a bit annoying).
Would be great to get some thoughts on this.