* src/pgtkterm.c (scroll_event): Shut up warnings

diff --git a/src/pgtkterm.c b/src/pgtkterm.c
index f3675b49fb7637b6b9199e93286e45c74d605736..f59bc85288e827e3e7a5db6f5dc2bffec718a5ac 100644 (file)
--- a/src/pgtkterm.c
+++ b/src/pgtkterm.c
@@ -6574,6 +6574,8 @@ scroll_event (GtkWidget * widget, GdkEvent * event, gpointer * user_data)
          inev.ie.kind = HORIZ_WHEEL_EVENT;
          inev.ie.modifiers |= down_modifier;
          break;
+       case GDK_SCROLL_SMOOTH:         /* shut up warning */
+         break;
        }
     }
   else if (gdk_event_get_scroll_deltas (event, &delta_x, &delta_y))