From 0e35464eee6fafcd1502fcc0bf0b12f82911406b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Bour?= <fred@tarides.com>
Date: Wed, 23 Sep 2020 17:24:59 +0200
Subject: [PATCH] Also allow Escape to quit Nottui default apps

---
 lib/nottui/nottui.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/nottui/nottui.ml b/lib/nottui/nottui.ml
index c575727..bb51221 100644
--- a/lib/nottui/nottui.ml
+++ b/lib/nottui/nottui.ml
@@ -842,8 +842,9 @@ struct
     in
     let t =
       t |> Lwd.map (Ui.event_filter (function
-            | `Key (`ASCII 'Q', [`Ctrl]) -> Lwd.set quit true; `Handled
-            | _ -> `Unhandled
+          | `Key (`ASCII 'Q', [`Ctrl]) | `Key (`Escape, []) ->
+            Lwd.set quit true; `Handled
+          | _ -> `Unhandled
         ))
     in
     match term with