drop-down-terminal-x
drop-down-terminal-x copied to clipboard
bigbn
Refocus after lose focus instead of hide
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!
Sorry, so, what I'm saying is (assuming we have CTRL+` as dropdown shortcut) we have this workflow starting with the terminal hidden:
- open terminal with CTRL
+` - do stuff in terminal
- do stuff in other apps with terminal still shown so dropdown terminal looses focus
- press CTRL
+` to hide the terminal - 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:
- open terminal with CTRL
+` - do stuff in terminal
- do stuff in other apps with terminal still shown so dropdown terminal looses focus
- press CTRL
+` to refocus the terminal (instead of hiding it) - 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.
There are two ways how to solve it:
- 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).
- Make this as separated action with custom keybinding that differs from the toggle.
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.