From 0aa272c224168f9543fb4aa2ebe497ebd2f5a0ba Mon Sep 17 00:00:00 2001
From: Ian Gulliver <ian@flamingcow.tv>
Date: Wed, 10 Jul 2019 23:25:27 +0000
Subject: [PATCH] Help for highlight

---
 EditorHelp.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/EditorHelp.js b/EditorHelp.js
index 1c7047d..fc28829 100644
--- a/EditorHelp.js
+++ b/EditorHelp.js
@@ -45,6 +45,10 @@ class EditorHelp extends EditorEntryBase {
     this.addText('+');
     this.addKey('d');
     this.addText('Del after ');
+
+    this.addLine();
+    this.addKey('␣');
+    this.addText('Highlight       ');
   }
 
   addLine() {