GitLab

(Fscroll_right): Ditto.

(Fprevious_window): When changing frames,
use the new frame's minibuffer if any.