From e143618aefc6b60f69ad87279711d6e97ca0edc4 Mon Sep 17 00:00:00 2001
From: Greg Anders <greg@gpanders.com>
Date: Wed, 15 Jan 2020 21:28:24 -0700
Subject: [PATCH] Set base16 colors for operator, escape, and match

---
 share/tools/web_config/js/colorutils.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/share/tools/web_config/js/colorutils.js b/share/tools/web_config/js/colorutils.js
index 3e7731225..bdcb17081 100644
--- a/share/tools/web_config/js/colorutils.js
+++ b/share/tools/web_config/js/colorutils.js
@@ -293,8 +293,11 @@ var Base16Theme = {
         receiver['end'] = theme.base0E
         receiver['error'] = theme.base08
         receiver['param'] = theme.base05
+        receiver['operator'] = theme.base0D
+        receiver['escape'] = theme.base0C
         receiver['quote'] = theme.base0A
         receiver['redirection'] = theme.base05
+        receiver['match'] = theme.base0D
 
         receiver['colors'] = []
         for (var key in theme) receiver['colors'].push(theme[key])