gnome-terminal does not handle ctrl+alt+space correctly
Submitted by Chow Loong Jin
Link to original bug (#710349)
Description
When hitting Ctrl+Alt+Space, the keys sent to the terminal should be ^[^@ (C-M-@). However, '^[ ' (M-Space) is sent instead.
Steps to reproduce:
- Start a terminal
- Type cat and hit enter
- Press Ctrl+Alt+Space
- Observe that the characters that appear are "^[ "
Expected behaviour: ^[^@ should be registered instead.
Resolution: RESOLVED FIXED