From 5ba6af94bf70f831db6a9683d03ead9721152418 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 28 Jul 2015 08:59:24 -0700
Subject: 1865 - emergency hotkey; mouse sometimes doesn't work

---
 edit.mu | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'edit.mu')

diff --git a/edit.mu b/edit.mu
index ce405fa5..ca890132 100644
--- a/edit.mu
+++ b/edit.mu
@@ -662,6 +662,19 @@ recipe event-loop [
         loop +next-event:label
       }
     }
+    {
+      c:address:character <- maybe-convert e:event, text:variant
+      break-unless c:address:character
+      # ctrl-n? - switch focus
+      {
+        ctrl-n?:boolean <- equal c:address:character/deref, 14:literal/ctrl-n
+        break-unless ctrl-n?:boolean
+        sandbox-in-focus?:address:boolean/deref <- not sandbox-in-focus?:address:boolean/deref
+        update-cursor screen:address, recipes:address:editor-data, current-sandbox:address:editor-data, sandbox-in-focus?:address:boolean/deref
+        show-screen screen:address
+        loop +next-event:label
+      }
+    }
     # 'touch' event
     {
       t:address:touch-event <- maybe-convert e:event, touch:variant
-- 
cgit 1.4.1-2-gfad0