From 73dc33d37663a4bde26d9004c1ccf61aa9a6a25a Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 29 Aug 2017 00:07:43 +0300
Subject: [PATCH] fixup f603d9b6: correctly apply 'highlight' selector

---
 edit/edit.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/edit/edit.js b/edit/edit.js
index 984d56e7..f5e57319 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -307,7 +307,7 @@ function initCodeMirror() {
 
 function acmeEventListener(event) {
   const el = event.target;
-  const option = el.id.replace(/^editor\./, '');
+  let option = el.id.replace(/^editor\./, '');
   //console.log('acmeEventListener heard %s on %s', event.type, el.id);
   if (!option) {
     console.error('acmeEventListener: no "cm_option" %O', el);
@@ -366,6 +366,7 @@ function acmeEventListener(event) {
         default:
           value = null;
       }
+      option = 'highlightSelectionMatches';
       break;
     case 'linter':
       updateLinter(value);