From f7822b24b53cbf82a85545640340ec5a1698ecf6 Mon Sep 17 00:00:00 2001
From: Ian Gulliver <ian@flamingcow.tv>
Date: Thu, 11 Jul 2019 04:28:55 +0000
Subject: [PATCH] Escape at top level cancels highlights

---
 Editor.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Editor.js b/Editor.js
index 11f7594..ba474ab 100644
--- a/Editor.js
+++ b/Editor.js
@@ -177,6 +177,11 @@ class Editor extends List {
         e.stopPropagation();
         e.preventDefault();
         return;
+
+      case 'Escape':
+        for (let entry of this.queryEntries('.highlight')) {
+          entry.getElement().classList.toggle('highlight', false);
+        }
     }
     
     super.onKeyDown(e);