[PATCH] Do not reset scroll on non-Shift modifier.

[Mihail Konev]

---
 terminal/terminal-widget.c | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/terminal/terminal-widget.c b/terminal/terminal-widget.c
index af7f3e416417..0dca5e322bfc 100644
--- a/terminal/terminal-widget.c
+++ b/terminal/terminal-widget.c
@@ -614,6 +614,29 @@ terminal_widget_key_press_event (GtkWidget    *widget,
                 "misc-shift-arrows-scroll", &shift_arrows_scroll,
                 NULL);
 
+  switch (event->keyval)
+    {
+    case GDK_ISO_Level2_Latch:
+    case GDK_ISO_Level3_Shift:
+    case GDK_ISO_Level3_Latch:
+    case GDK_ISO_Level3_Lock:
+    case GDK_ISO_Level5_Shift:
+    case GDK_ISO_Level5_Latch:
+    case GDK_ISO_Level5_Lock:
+    case GDK_ISO_Group_Shift:
+    case GDK_ISO_Group_Latch:
+    case GDK_ISO_Group_Lock:
+    case GDK_ISO_Next_Group:
+    case GDK_ISO_Next_Group_Lock:
+    case GDK_ISO_Prev_Group:
+    case GDK_ISO_Prev_Group_Lock:
+    case GDK_ISO_First_Group:
+    case GDK_ISO_First_Group_Lock:
+    case GDK_ISO_Last_Group:
+    case GDK_ISO_Last_Group_Lock:
+      return TRUE;
+    }
+
   /* popup context menu if "Menu" or "<Shift>F10" is pressed */
   if (event->keyval == GDK_KEY_Menu ||
       (!shortcuts_no_menukey && (event->state & GDK_SHIFT_MASK) != 0 && event->keyval == GDK_KEY_F10))
-- 
2.9.2