Comments (4)
bigbn
commented on August 16, 2024
This is default mainstream (gnome-shell, mutter) behaviour. Right now I see no ways to change it in extension.
global.display.add_keybinding
has no any flags to regulate this issue.
You can check it by setting this key in gnome settings for any standard action, the behavior will be the same.
from drop-down-terminal-x.
pseudo-morph
commented on August 16, 2024
Ah, that's a shame, tilde is pretty important for navigating the command line. I guess the simple solution is to use a different shortcut key.
from drop-down-terminal-x.
mmrezaie
commented on August 16, 2024
On Fedora (30) for some reason I do not have this problem. But on Ubuntu (18.10) I have. Not sure if it is a relevant info.
from drop-down-terminal-x.
kamleshkarwande
commented on August 16, 2024
As of now using another shortcut key "Alt + ~"
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.