[gnome-music] window: Add numpad keys to navigation keystrokes

[Marinus Schraal <mschraal src gnome org>]

commit 2dfedffcea869b1a04a1226c5d91e555eb5159b9
Author: Jean Felder <jean felder gmail com>
Date:   Fri Feb 9 22:47:42 2018 +0100

    window: Add numpad keys to navigation keystrokes

 gnomemusic/window.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gnomemusic/window.py b/gnomemusic/window.py
index b949ac6..f179d57 100644
--- a/gnomemusic/window.py
+++ b/gnomemusic/window.py
@@ -340,16 +340,16 @@ class Window(Gtk.ApplicationWindow):
             if (event.keyval == Gdk.KEY_Left and
                     event_and_modifiers == Gdk.ModifierType.MOD1_MASK):
                 self.toolbar.on_back_button_clicked()
-            if (event.keyval == Gdk.KEY_1
+            if ((event.keyval in [Gdk.KEY_1, Gdk.KEY_KP_1])
                     and event_and_modifiers == Gdk.ModifierType.CONTROL_MASK):
                 self._toggle_view(View.ALBUM)
-            if (event.keyval == Gdk.KEY_2
+            if ((event.keyval in [Gdk.KEY_2, Gdk.KEY_KP_2])
                     and event_and_modifiers == Gdk.ModifierType.CONTROL_MASK):
                 self._toggle_view(View.ARTIST)
-            if (event.keyval == Gdk.KEY_3
+            if ((event.keyval in [Gdk.KEY_3, Gdk.KEY_KP_3])
                     and event_and_modifiers == Gdk.ModifierType.CONTROL_MASK):
                 self._toggle_view(View.SONG)
-            if (event.keyval == Gdk.KEY_4
+            if ((event.keyval in [Gdk.KEY_4, Gdk.KEY_KP_4])
                     and event_and_modifiers == Gdk.ModifierType.CONTROL_MASK):
                 self._toggle_view(View.PLAYLIST)
         else: