Due to the principle of least surprise (in my opinion), if the terminal is unfocused but visible the default keyboard shortcut should simply activate it. To make it work like that in the meantime, I've unset the default keyboard shortcut and associated a custom keyboard shortcut through Gnome using the following bash script:
Due to the principle of least surprise (in my opinion), if the terminal is unfocused but visible the default keyboard shortcut should simply activate it. To make it work like that in the meantime, I've unset the default keyboard shortcut and associated a custom keyboard shortcut through Gnome using the following bash script: