After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 710349 - gnome-terminal does not handle ctrl+alt+space correctly
gnome-terminal does not handle ctrl+alt+space correctly
Status: RESOLVED FIXED
Product: vte
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: VTE Maintainers
VTE Maintainers
[fixed-0-36][needed-next][commit:f7b7...
: 360437 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2013-10-17 02:22 UTC by Chow Loong Jin
Modified: 2014-04-06 18:24 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Fix (531 bytes, patch)
2014-01-05 20:20 UTC, Egmont Koblinger 		committed Details | Review

Description Chow Loong Jin 2013-10-17 02:22:10 UTC 
When hitting Ctrl+Alt+Space, the keys sent to the terminal should be ^[^@ (C-M-@). However, '^[ ' (M-Space) is sent instead.

Steps to reproduce:
1. Start a terminal
2. Type cat and hit enter
3. Press Ctrl+Alt+Space
4. Observe that the characters that appear are "^[ "

Expected behaviour: ^[^@ should be registered instead.
Comment 1 Egmont Koblinger 2014-01-05 20:20:00 UTC 
Created attachment 265390 [details] [review]
Fix
Comment 2 Egmont Koblinger 2014-01-05 21:53:54 UTC 
*** Bug 360437 has been marked as a duplicate of this bug. ***
Comment 3 Egmont Koblinger 2014-01-07 18:52:28 UTC 
Fixed in 0-36, keeping open for vte-next.