After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 779683 - Keyboard shortcut to close document doesn’t work while info bar is showing
Keyboard shortcut to close document doesn’t work while info bar is showing
Status: RESOLVED OBSOLETE
Product: gnome-builder
Classification: Other
Component: keybindings
3.22.x
Other Linux
: Normal minor
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-03-06 23:44 UTC by Philip Withnall
Modified: 2018-01-11 10:20 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Philip Withnall 2017-03-06 23:44:32 UTC
Pressing Ctrl+W to close a text document while the ‘this file has changed recently; do you want to reload it’ info bar is showing doesn’t work — you have to click in the document to focus it again before the keyboard shortcut will work.

GNOME Builder 3.22.4 on Fedora 25.
Comment 1 GNOME Infrastructure Team 2018-01-11 10:20:11 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-builder/issues/188.