Also allow Escape to quit Nottui default apps

This commit is contained in:
Frédéric Bour 2020-09-23 17:24:59 +02:00
parent a56a8c08c1
commit 0e35464eee
1 changed files with 3 additions and 2 deletions

View File

@ -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