Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Synth-tree viewer: comments and properties should stay closed (or open) #778
Comments
jimallman
added the
enhancement
label
Oct 2, 2015
jimallman
self-assigned this
Oct 2, 2015
jar398
added the
tree browser
label
Oct 31, 2016
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
jimallman commentedOct 2, 2015
As mentioned in this Feedback issue, some uers are annoyed by the persistent re-appearance of the Properties window after they've hidden them once.
The current behavior was chosen out of concern that a new user (esp. in a narrow view like a tablet) would always see meaningful data, beyond just the tree structure. This has come at the expense of other users who want to move through the tree without the clutter.
We should remember this choice (in session? in browser History state?) and maintain it, at least during the current session.