gs-extensions-drop-down-terminal
gs-extensions-drop-down-terminal copied to clipboard
zzrough
Tilda key not working
Hello.
I can't seem to be able to write the tilda character anymore. Nothing happens when I press Shift + `
If I change the default key for this drop-down terminal to something else, then it works.
Please fix this, I like the default key but I also want to be able to write the tilda character. It'a very important character in the command line...
Tilde keybinding stopped working as expected after my arch system upgraded to gnome v3.24, currently at v3.24.2.
I should have mentioned my system info as well.
GNOME Shell version 3.24.2 Arch Linux 64bit (kernel 4.10.13)
It stopped working after upgrading to GNOME 3.24 (aprox. 2 weeks ago)
(So in short, the same as @computorist )
I've the same arch and I upgraded today
for me the extention is working fine.
@HoratiuMl are you using Xorg or Wayland?
Just tried using Wayland and the issue isn't reproducible.
Wayland support is pretty good now but switching my laptop between home (no external display) and work with an external display just doesn't play nicely.
I'm gonna give Wayland a try on my laptop.
On my desktop I still rely on some scripts that manipulate X windows - It's a gaming PC and sometimes games don't play nicely with Arch and thus I need those scripts.
Last time I tried Wayland I had multiple small issues with it, and a big one with the OPTIMUS graphics on my laptop... but maybe they got resolved now.
It would be nice if the tilda key was working in X11 as well tho.
Ok so I switched to Wayland on my laptop. Haven't spent much time at all with it so far, but I have this extension a short test.
Tilda key works (yay!) but there is another issue, although it is admittedly not a big one, just aesthetics. The animation that is played when opening the terminal is broken. Instead of dropping down from the top (like it does on Xorg), it expands from the bottom-centre outwards, which is kinda immersion breaking but at least it doesn't affect functionality.
But now I have to repeat myself: It would be nice if the tilda key was fixed on Xorg :).
hey,
I tried to switch Wayland, Xorg, Wayland again and all seems fine.
I'm not using tilda as char, as my keyboard is spanish so the char above the tab is º
I can also confirm the animation bug, from Wayland the animation is not up to bottom, but the term is coming from nowhere.
note: I would like to know if this project is still active or if not let us know so we can decide next steps
2017-05-24 11:54 GMT+02:00 Horațiu Mlendea [email protected]:
Hello.
It seems to be working now. How peculiar :) I don't know what happened. I just switched back to Xorg (I'm still having some issues with Wayland) and it works :)
@opensamba https://github.com/opensamba seeing as your system is pretty similar with my own, can you try doing the same (Switch to Wayland, and then back to X), and see if it's working?
I'm gonna try on my desktop as well, when I get home.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/zzrough/gs-extensions-drop-down-terminal/issues/182#issuecomment-303675621, or mute the thread https://github.com/notifications/unsubscribe-auth/ABt25XbvWjKPrlWbFZiiPQHi3H0qVA2qks5r8_5GgaJpZM4NaEN4 .
Me too. After upgrading Fedora 26 (Gnome 3.24.2 + Wayland) the Tilde key is no longer available for typing in a terminal to reach the $HOME, say 'cd ~/Documents'. Disabling the extension causes tilde to work again. Remapping the shortcut to the backtick doesn't work (it was worth a shot), using F12 as the shortcut works fine, but my muscle memory is now hard-wired to the backtick above tab. When pressing shift + ~ the terminal appears to BELL or some kind of blink indication for foreground.
Just wanted to confirm this is still an issue. With the extension enabled (rather terminal is dropped down or not) SHIFT + ` does not produce ~. With the extension disabled, ~ works fine.
Ubuntu 17.10, Xorg, Gnome Shell 3.26.1
