Open MarcusSchwarz opened 1 month ago
Wow! That's fun! I can't reproduce this, my Linux setup (Ubuntu22, Wayland, KDE) works as intended. I wonder if it's an X11, desktop environment or windows manager specific thing. What WM/DE are you using?
Hey Peter, I am using Gnome on my computer at work.
I installed zed the same way (via the curl option) on my private computer, selected the same options, and had the same result.
Specs here: Zed: v0.143.7 (Zed) OS: Linux X11 manjaro unknown Memory: 62.7 GiB Architecture: x86_64
I also use Gnome on this machine.
Valid for my private machine is the following (most likely for the work machine as well, but I can't verify that until Monday)
echo $XDG_SESSION_TYPE x11
A quick follow up, as expected it is x11 on my computer at work as well.
Same here on Debian Bookwork, using Gnome over X11.
Check for existing issues
Describe the bug / provide steps to reproduce it
I installed zed, selected the keymap "JetBrains", opened an existing (php) project and tried to double tap "shift". It did not work. After some testing I noticed "shift shift" works, as long as I move the mouse while tapping "shift".
Environment
Zed: v0.143.7 (Zed) OS: Linux X11 ubuntu 22.04 Memory: 62.4 GiB Architecture: x86_64
If applicable, add mockups / screenshots to help explain present your vision of the feature
No response
If applicable, attach your Zed.log file to this issue.
Zed.log