filetree: Rename Show Active to Show Active Document
It's not clear otherwise what is meant. What active thing are we showing where? This at least clarifies that we show the active document somehwere.
parent
1e77e116
Please register or sign in to comment