Add support for Copy/Cut/Paste keys

These keys are present in some old unix keyboards, but more importantly,
their keycodes can be mapped to physical keys in modern programmable
keyboards.
Using them in Linux is a way to be able to have the same keys for
copy/pasting in GUI apps and in terminal apps instead of switching between
ctrl-c/ctrl-v and ctrl-shift-c/ctrl-shift-v.

Author: yaslama

bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/GDK.java

@@ -51,6 +51,8 @@ public class GDK extends OS {
 	public static final int GDK_Caps_Lock = 0xffE5;
 	public static final int GDK_Control_L = 0xffe3;
 	public static final int GDK_Control_R = 0xffe4;
+	public static final int GDK_Copy = 0x1008ff57;
+	public static final int GDK_Cut = 0x1008ff58;
 	public static final int GDK_CURRENT_TIME = 0x0;
 	public static final int GDK_DECOR_BORDER = 0x2;
 	public static final int GDK_DECOR_MAXIMIZE = 0x40;
@@ -175,6 +177,7 @@ public class GDK extends OS {
 	public static final int GDK_PROPERTY_NOTIFY = 16;
 	public static final int GDK_Page_Down = 0xff56;
 	public static final int GDK_Page_Up = 0xff55;
+	public static final int GDK_Paste = 0x1008ff6d;
 	public static final int GDK_Pause = 0xff13;
 	public static final int GDK_Print = 0xff61;
 	public static final int GDK_Return = 0xff0d;

bundles/org.eclipse.swt/Eclipse SWT/common/org/eclipse/swt/SWT.java

@@ -3325,6 +3325,30 @@ public class SWT {
 	 */
 	public static final int PRINT_SCREEN = KEYCODE_BIT + 87;
 
+	/**
+	 * Keyboard event constant representing the copy
+	 * key (value is (1<<24)+88).
+	 *
+	 * @since 4.38
+	 */
+	public static final int COPY = KEYCODE_BIT + 88;
+
+	/**
+	 * Keyboard event constant representing the cut
+	 * key (value is (1<<24)+89).
+	 *
+	 * @since 4.38
+	 */
+	public static final int CUT = KEYCODE_BIT + 89;
+
+	/**
+	 * Keyboard event constant representing the paste
+	 * key (value is (1<<24)+90).
+	 *
+	 * @since 4.38
+	 */
+	public static final int PASTE = KEYCODE_BIT + 90;
+
 	/**
 	 * The <code>MessageBox</code> style constant for error icon
 	 * behavior (value is 1).

bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Display.java

@@ -480,6 +480,9 @@ public void stop() {
 		{GDK.GDK_Print,					SWT.PRINT_SCREEN},
 		{GDK.GDK_Help,					SWT.HELP},
 
+		{GDK.GDK_Copy,	SWT.COPY},
+		{GDK.GDK_Cut,	SWT.CUT},
+		{GDK.GDK_Paste,	SWT.PASTE},
 	};
 
 	/* Cache pressed modifier state. See Bug 537025. */