Switching pages from page header doesn't focus the source view
When switching from one opened page to another from the pop-up menu attached to the editor header displaying the current page's name, focus is not given to the source view it's been switch to:
- Open two different documents/pages.
- Make sure the focus in on one current page source view (text can be inserted).
- Click on the page header.
- Select the second document in the
Open pages
pop-up menu. - Start typing: inserting text in the second document is impossible.
During the page switch the second document gets displayed, the pop-up menu gets closed but but the page header menu button is given focus instead of the source view. Note that this does not happens using keyboard short-cuts sequence Crtl+K
+ ⏎
.
The problem can be reproduced using org.gnome.Builder//master
:
Ref: app/org.gnome.Builder/x86_64/master
ID: org.gnome.Builder
Arch: x86_64
Branch: master
Origin: gnome-apps-nightly
Collection ID:
Date: 2018-12-07 15:22:09 +0000
Subject: Build of org.gnome.Builder, Fri Dec 7 15:01:58 UTC 2018
Commit: fde4f36f9e74c12ea0ec9c0a3c89981b45e006a87160d98678fe6444e2d4cfa6
Parent: 83da0dc77f95339c8f288754522d1f89edafe3dad19db467ee748fb34d83008c
Location: /home/tchaik/.local/share/flatpak/app/org.gnome.Builder/x86_64/master/fde4f36f9e74c12ea0ec9c0a3c89981b45e006a87160d98678fe6444e2d4cfa6
Installed size: 131,9 MB
Runtime: org.gnome.Sdk/x86_64/master
Sdk: org.gnome.Sdk/x86_64/master