From 320b6c24266850befac6efa0343b96606f2d7ada Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Thu, 8 Jul 2010 23:12:51 +0400
Subject: [PATCH] Ctrl-g to interrupt searches

---
 main.ml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/main.ml b/main.ml
index 5d66354..c4a598d 100644
--- a/main.ml
+++ b/main.ml
@@ -1238,9 +1238,13 @@ let outlinekeyboard ~key ~x ~y (allowdel, active, first, outlines, qsearch) =
 ;;
 
 let keyboard ~key ~x ~y =
-  match state.outline with
-  | None -> viewkeyboard ~key ~x ~y
-  | Some outline -> outlinekeyboard ~key ~x ~y outline
+  if key = 7
+  then
+    wcmd "interrupt" []
+  else
+    match state.outline with
+    | None -> viewkeyboard ~key ~x ~y
+    | Some outline -> outlinekeyboard ~key ~x ~y outline
 ;;
 
 let special ~key ~x ~y =
-- 
2.11.4.GIT