Comments (4)
Sorry, I can not understand what it is about?
from drop-down-terminal-x.
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.
from drop-down-terminal-x.
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.
from drop-down-terminal-x.
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.
from drop-down-terminal-x.
Related Issues (20)
- Keybinding for renaming tabs
- Crashing when using custom colors HOT 5
- open with cutom text/command HOT 1
- Terminal window is incorrectly positioned when animation is enabled HOT 1
- Right-click hides the terminal when "hide on focus out" is enabled
- extention will not launch or display HOT 5
- Animation issue with vertical dual screen configuration
- Open new terminal in current directory feature does not work HOT 3
- GNOME 3.38 support, please. Don't works on 3.38. HOT 15
- Terminal stopped working - missing JS module 'tweener' HOT 2
- URLs should be clickable HOT 1
- close animation even when animations are disabled
- Add custom fonts HOT 5
- Crashes under Wayland HOT 1
- Extra unnecessary Gnome keyboard bindings are created
- Infinte scrolling
- Feature request: background blur support
- Refocus terminal on capture focus pressed
- When full screen mode is activated, hide GNOME toolbars that collide with window. HOT 1
- Add GNOME 40 support, please! And add it to https://extensions.gnome.org/extension/1509/drop-down-terminal-x/ HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from drop-down-terminal-x.