A small feature request for future versions (re: Reveal in Binder)

When we issue the “reveal in Binder” command, it would be nice if the binder is positioned (if possible) so that the current document item appears in the middle of the visible portion of the binder list Such positioning will make it easy for us to click on other binder items immediately before or after the current one.

Currently, the selected item appears at the top or the bottom of the visible portion of the binder list.

Note that the up/down arrows in the upper right corner of the Editor pane will display the document above/below the current one.