From 4ec1b58158d90aa4d6da8144f6c7ed033217919a Mon Sep 17 00:00:00 2001 From: Martin Oberhuber Date: Tue, 15 Jul 2008 21:39:41 +0000 Subject: [PATCH] [240745] Fix Ctrl+F1 when disconnected --- .../tm/internal/terminal/emulator/VT100TerminalControl.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java b/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java index 26a0feb3530..c151aa6bf84 100644 --- a/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java +++ b/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java @@ -747,6 +747,8 @@ public class VT100TerminalControl implements ITerminalControlForText, ITerminalC } // Ignore all other keyboard input when not connected. + // Allow other key handlers (such as Ctrl+F1) do their work + event.doit = true; return; }