diff options
author | Egmont Koblinger <egmont@gmail.com> | 2015-08-16 12:22:20 +0200 |
---|---|---|
committer | Egmont Koblinger <egmont@gmail.com> | 2015-08-16 12:22:20 +0200 |
commit | 23c7cd0f99d504cbab06d4c27254d4f3e2807ba8 (patch) | |
tree | 6fda360f1ff55a7c8036c33d9cb79c8563b48554 | |
parent | bd86e7637d89a55941674756e3e223c82aee2305 (diff) | |
download | vte-23c7cd0f99d504cbab06d4c27254d4f3e2807ba8.tar.gz |
emulation: Fix escape sequence of Ctrl+Backspace
https://bugzilla.gnome.org/show_bug.cgi?id=733246
-rw-r--r-- | src/vte.cc | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -5012,6 +5012,13 @@ vte_terminal_key_press(GtkWidget *widget, GdkEventKey *event) suppress_meta_esc = FALSE; break; } + /* Toggle ^H vs ^? if Ctrl is pressed */ + if (normal_length == 1 && modifiers & GDK_CONTROL_MASK) { + if (normal[0] == '\010') + normal[0] = '\177'; + else if (normal[0] == '\177') + normal[0] = '\010'; + } handled = TRUE; break; case GDK_KEY_KP_Delete: |