Oops - repercussions of the close-on-exit stuff which I forgot to

[u/mdw/putty] / window.c

diff --git a/window.c b/window.c
index abbfdd8..1aa2090 100644 (file)
--- a/window.c
+++ b/window.c
@@ -4553,3 +4553,14 @@ void flip_full_screen()
        ShowWindow(hwnd, SW_MAXIMIZE);
     }
 }
+
+void frontend_keypress(void)
+{
+    /*
+     * Keypress termination in non-Close-On-Exit mode is not
+     * currently supported in PuTTY proper, because the window
+     * always has a perfectly good Close button anyway. So we do
+     * nothing here.
+     */
+    return;
+}