search

bigbn / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
91 stars 9 forks source link

Refocus after lose focus instead of hide #47

Open razcore-rad opened 4 years ago

razcore-rad commented 4 years ago

At the moment the terminal gets hidden if there's no focus and we call it with the shortcut. Could we get an option to refocus instead of hiding it? I generally have to hide & reopen by double tapping the shortcut. Unless there's an option I'm missing and I just haven't found it...

Thanks!

bigbn commented 4 years ago

Sorry, I can not understand what it is about?

razcore-rad commented 4 years ago

Sorry, so, what I'm saying is (assuming we have CTRL+` as dropdown shortcut) we have this workflow starting with the terminal hidden:

  1. open terminal with CTRL+`
  2. do stuff in terminal
  3. do stuff in other apps with terminal still shown so dropdown terminal looses focus
  4. press CTRL+` to hide the terminal
  5. press CTRL+` to show the terminal and get focus

Points 4. & 5. can be replaced by clicking with the mouse on the terminal, but many people and devs. are keyboard focused and instead what I think it's a better workflow would be:

  1. open terminal with CTRL+`
  2. do stuff in terminal
  3. do stuff in other apps with terminal still shown so dropdown terminal looses focus
  4. press CTRL+` to refocus the terminal (instead of hiding it)
  5. press CTRL+` to hide terminal only if it has focus

Hope this is clearer.

This would also be solved by having dropdown terminal appear when switching between apps (with ALT+TAB say), but since it's an extension it doesn't show up in the list. I'd say refocusing would still be a nicer way to solve it though.

bigbn commented 4 years ago

There are two ways how to solve it: 1) Make this as optional behaviour controlled by user settings, so this will not confuse people who wants to hide terminal by default keybinding (but instead it just get a focus). 2) Make this as separated action with custom keybinding that differs from the toggle.

razcore-rad commented 4 years ago

How about having the option to do both? It seems that they both cater to all preferences out there. Sometimes you just want a quick hide other times you want to just refocus. I personally would only really use option 1., but that's my specific workflow.