GNOME Bugzilla – Bug 779683
Keyboard shortcut to close document doesn’t work while info bar is showing
Last modified: 2018-01-11 10:20:11 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.
-- 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.