From 81e25e6d70e4ee474175ad0e1706b40c302e1e8f Mon Sep 17 00:00:00 2001
From: Anton Leherbauer <anton.leherbauer@windriver.com>
Date: Thu, 8 May 2014 11:32:12 +0200
Subject: [PATCH] Bug 434294 Implement processing of Eclipse key bindings

Any special key stroke which does not map to an escape code
is now processed as an Eclipse key binding.
This enables key bindings like Ctrl+Insert, Ctrl+F7, etc.

Change-Id: I05ea201b0b23e068d4e1d48011761cca64f7c012
Signed-off-by: Anton Leherbauer <anton.leherbauer@windriver.com>
---
 .../org.eclipse.tm.terminal/plugin.xml        |  7 ++-
 .../emulator/VT100TerminalControl.java        | 44 ++++++++++++++++++-
 2 files changed, 48 insertions(+), 3 deletions(-)

diff --git a/terminal/plugins/org.eclipse.tm.terminal/plugin.xml b/terminal/plugins/org.eclipse.tm.terminal/plugin.xml
index 6ddb5031ed7..0df5c2bd865 100644
--- a/terminal/plugins/org.eclipse.tm.terminal/plugin.xml
+++ b/terminal/plugins/org.eclipse.tm.terminal/plugin.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?eclipse version="3.0"?>
 <!--
-# Copyright (c) 2006, 2012 Wind River Systems, Inc. and others.
+# Copyright (c) 2006, 2014 Wind River Systems, Inc. and others.
 # All rights reserved. This program and the accompanying materials
 # are made available under the terms of the Eclipse Public License v1.0
 # which accompanies this distribution, and is available at
@@ -135,6 +135,11 @@
             contextId="org.eclipse.tm.terminal.EditContext"
             schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"
             sequence="CTRL+SHIFT+V"/>
+      <key
+            commandId="org.eclipse.tm.terminal.paste"
+            contextId="org.eclipse.tm.terminal.EditContext"
+            schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"
+            sequence="SHIFT+INSERT"/>
    </extension>
 
    <extension
diff --git a/terminal/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java b/terminal/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java
index df67855311e..7786e3f9aab 100644
--- a/terminal/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java
+++ b/terminal/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java
@@ -43,12 +43,17 @@ import java.io.OutputStream;
 import java.io.UnsupportedEncodingException;
 import java.net.SocketException;
 
+import org.eclipse.core.commands.ExecutionException;
+import org.eclipse.core.commands.ParameterizedCommand;
 import org.eclipse.core.runtime.Assert;
 import org.eclipse.core.runtime.IProgressMonitor;
 import org.eclipse.core.runtime.IStatus;
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.core.runtime.Status;
 import org.eclipse.core.runtime.jobs.Job;
+import org.eclipse.jface.bindings.Binding;
+import org.eclipse.jface.bindings.keys.KeySequence;
+import org.eclipse.jface.bindings.keys.KeyStroke;
 import org.eclipse.jface.bindings.keys.SWTKeySupport;
 import org.eclipse.jface.resource.JFaceResources;
 import org.eclipse.jface.util.IPropertyChangeListener;
@@ -97,6 +102,7 @@ import org.eclipse.tm.terminal.model.TerminalTextDataFactory;
 import org.eclipse.ui.PlatformUI;
 import org.eclipse.ui.contexts.IContextActivation;
 import org.eclipse.ui.contexts.IContextService;
+import org.eclipse.ui.handlers.IHandlerService;
 import org.eclipse.ui.keys.IBindingService;
 
 /**
@@ -1038,10 +1044,11 @@ public class VT100TerminalControl implements ITerminalControlForText, ITerminalC
 					break;
 				}
 
-				if (escSeq == null)
+				if (escSeq == null) {
 					// Any unmapped key should be handled locally by Eclipse
 					event.doit = true;
-				else
+					processKeyBinding(event, accelerator);
+				} else
 					sendString(escSeq);
 
 				// It's ok to return here, because we never locally echo special keys.
@@ -1109,6 +1116,39 @@ public class VT100TerminalControl implements ITerminalControlForText, ITerminalC
 			writeToTerminal(charBuffer.toString());
 		}
 
+		/*
+		 * Process given event as Eclipse key binding.
+		 */
+		private void processKeyBinding(KeyEvent event, int accelerator) {
+			IBindingService bindingService = (IBindingService) PlatformUI
+					.getWorkbench().getAdapter(IBindingService.class);
+			KeyStroke keyStroke = SWTKeySupport.convertAcceleratorToKeyStroke(accelerator);
+			Binding binding = bindingService.getPerfectMatch(KeySequence.getInstance(keyStroke));
+			if (binding != null) {
+				ParameterizedCommand cmd = binding.getParameterizedCommand();
+				if (cmd != null) {
+					IHandlerService handlerService = (IHandlerService) PlatformUI
+							.getWorkbench().getAdapter(IHandlerService.class);
+					Event cmdEvent = new Event();
+					cmdEvent.display = event.display;
+					cmdEvent.widget = event.widget;
+					cmdEvent.character = event.character;
+					cmdEvent.keyCode = event.keyCode;
+					cmdEvent.keyLocation = event.keyLocation;
+					cmdEvent.stateMask = event.stateMask;
+					event.doit = false;
+					try {
+						handlerService.executeCommand(cmd, cmdEvent);
+					} catch (ExecutionException e) {
+						TerminalPlugin.getDefault().getLog().log(
+								new Status(IStatus.ERROR,TerminalPlugin.PLUGIN_ID,e.getLocalizedMessage(),e));
+					} catch (Exception e) {
+						// ignore other exceptions from cmd execution
+					}
+				}
+			}
+		}
+
 	}
 
 	public void setTerminalTitle(String title) {