[smuxi] Frontend-GNOME: support ctrl+insert key for copying text

[Mirco M. M. Bauer <mmmbauer src gnome org>]

commit 917dfaf9cf7f19d0a30f24402c3d8edbf881d73e
Author: Mirco Bauer <meebey meebey net>
Date:   Thu May 21 18:12:55 2015 +0200

    Frontend-GNOME: support ctrl+insert key for copying text
    
    As per IBM Common User Access (CUA) standard [0] ctrl+insert, shift+insert and
    shift+delete are keyboard short-cuts for copy/paste/cut.
    As Smuxi is handling the ctrl key specially, ctrl+insert wasn't covered to work for
    copying text. Shift+insert and shift+delete already worked though.
    
     [0]: http://en.wikipedia.org/wiki/IBM_Common_User_Access

 src/Frontend-GNOME/Entry.cs |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/Frontend-GNOME/Entry.cs b/src/Frontend-GNOME/Entry.cs
index 571fc31..1c07795 100644
--- a/src/Frontend-GNOME/Entry.cs
+++ b/src/Frontend-GNOME/Entry.cs
@@ -292,6 +292,7 @@ namespace Smuxi.Frontend.Gnome
                         break;
                     case Gdk.Key.c:
                     case Gdk.Key.C:
+                    case Gdk.Key.Insert:
                         // only use copy if something is selected in the entry
                         if (Buffer.HasSelection) {
                             e.RetVal = false;