[RC13 HiDPI BUG?] Previous/Next Document Navigation Issue

Whenever I use Navigate->Go To->Previous Document (or
Next Document), or I use the ALT+SHIFT+UP ARROW (or, of course, DOWN ARROW), the editor I’m working in always loses focus, which is annoying.

Confirmed. It is like going to the Binder and clicking the document there. The focus stays in the binder and only goes to the editor when you click into the editor. This does not happen in 1.9.16. I’ll have to check the Mac version later.