From 0de6d3a5ba436ca9ec6c71d9d0def64a021390f2 Mon Sep 17 00:00:00 2001
From: Daniel Albers <daniel@lbers.com>
Date: Mon, 26 Jan 2009 00:15:00 +0100
Subject: [PATCH] stop InputLine::eventFilter() from eating JumpKeys

---
 src/uisupport/inputline.cpp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/uisupport/inputline.cpp b/src/uisupport/inputline.cpp
index 745a3e3..56ad9c1 100644
--- a/src/uisupport/inputline.cpp
+++ b/src/uisupport/inputline.cpp
@@ -42,7 +42,7 @@ bool InputLine::eventFilter(QObject *watched, QEvent *event) {
   BufferView *view = qobject_cast<BufferView *>(watched);
   if(view) {
     QKeyEvent *keyEvent = static_cast<QKeyEvent*>(event);
-    if(keyEvent->text().length() == 1) { // normal key press
+    if(keyEvent->text().length() == 1 && !(keyEvent->modifiers() & (Qt::ControlModifier ^ Qt::AltModifier)) ) { // normal key press
       QChar c = keyEvent->text().at(0);
       if(c.isLetterOrNumber() || c.isSpace() || c.isPunct() || c.isSymbol()) {
         setFocus();
-- 
1.5.6.3

