Which means that you have to mouse up to the document changing popover, select the document you want, then click outside it again to close the popover in order to switch back from the terminal to a document. That's quite laborious and annoying.

gnome-builder 3.20.4

Also: Ctrl+K to bring up the open file list doesn’t work while in a terminal.

With Builder 3.26.2, pressing Ctrl+. in a terminal no longer focuses the search entry, which is fairly annoying.

Created attachment 364703 [details] [review]
workbench: initialize global keybindings from workbench

This code went through some refactoring in master, so this is just a
minimal backport to ensure they activate from the older design in 3.26.

Having these defined at the application layer would not ensure they could
hook activation before the event was dispatched to the target widget.

Thanks, i did a lot of cleanup to fix this on master, so here is a minimal
backport.

Attachment 364703 [details] pushed as dcc9230 - workbench: initialize global keybindings from workbench