From bfbf83fa80aa01d17bfbc847f95b43c815afc3c2 Mon Sep 17 00:00:00 2001 From: Anton Leherbauer 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 --- plugins/org.eclipse.tm.terminal/plugin.xml | 7 ++- .../emulator/VT100TerminalControl.java | 44 ++++++++++++++++++- 2 files changed, 48 insertions(+), 3 deletions(-) diff --git a/plugins/org.eclipse.tm.terminal/plugin.xml b/plugins/org.eclipse.tm.terminal/plugin.xml index 6ddb5031ed7..0df5c2bd865 100644 --- a/plugins/org.eclipse.tm.terminal/plugin.xml +++ b/plugins/org.eclipse.tm.terminal/plugin.xml @@ -1,7 +1,7 @@