> Isn't that what #2347 is for?

That pull is for the existing close other documents command. I was pointing out 
the close order difference of this pull vs the sidebar documents close folder. 
Perhaps the latter should close in tab order too rather than alphabetic order?

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:

Reply via email to