You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
The text was updated successfully, but these errors were encountered: