Reveal in side bar should focus it

Kai Grossjohann 9 jaar geleden bijgewerkt 9 jaar geleden 0
If I execute the command "reveal in side bar", then the idea is that I will want to interact with the side bar next, so it would be useful to focus the side bar straight away, as if I had typed Ctrl+0.

It could be that it makes a difference whether the side bar is visible at the time when "reveal in side bar" is executed:  Perhaps we will want to focus the side bar if it was not visible before the "reveal" command, but we might not want to focus the side bar if it was already visible.

My personal opinion is to give it focus no matter whether it was visible.  But you may disagree.