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

Fixes #501.
---
 src/uisupport/inputline.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/uisupport/inputline.cpp b/src/uisupport/inputline.cpp
index 53bcdcac..355845db 100644
--- a/src/uisupport/inputline.cpp
+++ b/src/uisupport/inputline.cpp
@@ -43,7 +43,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();
-- 
2.20.1