Double-click divider to hide/show trees

[Robert Leach]

I like the new design of taking out the arrow-button-way of hiding/showing trees and replacing it with a grab-bar icon. Now that I've interacted with it, my instinct told me to double-click the bar to jump it to fully hidden or shown. I thought of this when I found out I was unable to completely drag the bar back to the top or bottom position it had started out at.

This is a very very minor proposal/suggestion. Feel free to mark as "wontfix".

Rob

[Christopher Keil]

Beginning work.

[Robert Leach]

Removing milestone: General interface (automated comment)

[Anastasia Baryshnikova]

I think that this feature is not necessary, considered that we now can click & drag to adjust the screen space occupied by the tree/labels and also press Cmd+T to hide/show trees completely.