[gnome-boxes] keys-input-popover: Add TTY3 support

[Zeeshan Ali <zeeshanak src gnome org>]

commit f147894623c5509d1f586c22859e90aa5dd6085c
Author: Quey-Liang Kao <s101062801 m101 nthu edu tw>
Date:   Wed Oct 5 01:25:00 2016 +0800

    keys-input-popover: Add TTY3 support
    
    Since different Linux distributions put different things on different TTYs
    and the fact that some don't have anything on TTY7, means that we need at
    least one more TTY shortcut.
    
    See discussion on following bug for details:
    
    https://bugzilla.gnome.org/show_bug.cgi?id=770300

 src/keys-input-popover.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/keys-input-popover.vala b/src/keys-input-popover.vala
index 132fa81..5a633d4 100644
--- a/src/keys-input-popover.vala
+++ b/src/keys-input-popover.vala
@@ -6,6 +6,7 @@ private class Boxes.KeysInputPopover: Gtk.Popover {
 
         {"ctrl+alt+f1", ctrl_alt_fn_activated},
         {"ctrl+alt+f2", ctrl_alt_fn_activated},
+        {"ctrl+alt+f3", ctrl_alt_fn_activated},
         {"ctrl+alt+f7", ctrl_alt_fn_activated},
     };
 
@@ -27,6 +28,7 @@ private class Boxes.KeysInputPopover: Gtk.Popover {
         var section = new GLib.Menu ();
         section.append (_("Ctrl + Alt + F1"), "key.ctrl+alt+f1");
         section.append (_("Ctrl + Alt + F2"), "key.ctrl+alt+f2");
+        section.append (_("Ctrl + Alt + F3"), "key.ctrl+alt+f2");
         section.append (_("Ctrl + Alt + F7"), "key.ctrl+alt+f7");
         menu.append_section (null, section);
 
@@ -52,6 +54,8 @@ private class Boxes.KeysInputPopover: Gtk.Popover {
             keyvals[2] = Gdk.Key.F1;
         else if (action.name[action.name.length - 1] == '2')
             keyvals[2] = Gdk.Key.F2;
+        else if (action.name[action.name.length - 1] == '3')
+            keyvals[3] = Gdk.Key.F3;
         else if (action.name[action.name.length - 1] == '7')
             keyvals[2] = Gdk.Key.F7;
         else {