From 00756d587596398ceb71bacc278df423aa3e10f1 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 8 Aug 2011 11:22:48 +0400 Subject: [PATCH] Make escape leave bird's eye --- KEYS | 2 +- main.ml | 10 +++++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/KEYS b/KEYS index 78486df..f79d850 100644 --- a/KEYS +++ b/KEYS @@ -61,10 +61,10 @@ tunables (only font name currently) bird's eye mode +Ctrl-9/F9/esc - leave bird's eye view (page)up/(page)down - navigate home/end - go to first/last page enter - select the page and leave bird's eye mode -Ctrl-9/F9 - leave bird's eye view 1st mouse button - select the page under cursor and leave bird's eye mode outline/bookmark mode diff --git a/main.ml b/main.ml index d4771a1..ead218e 100644 --- a/main.ml +++ b/main.ml @@ -1261,7 +1261,15 @@ let viewkeyboard ~key ~x ~y = | None -> let c = Char.chr key in begin match c with - | '\027' | 'q' -> + | '\027' -> + begin match state.birdseye with + | None -> exit 0 + | Some vals -> + birdseyeoff vals; + reshape conf.winw conf.winh + end; + + | 'q' -> exit 0 | '\008' -> -- 2.11.4.GIT