1 files changed, 7 insertions, 0 deletions
diff --git a/update_html b/update_html
index 58a69ab3..4f99fac9 100755
--- a/update_html
+++ b/update_html
@@ -26,3 +26,10 @@ for f in *.cc *.mu edit/*.mu
 do
   process $f
 done
+
+# switch the unicode characters around in the rendered html
+#   the ones we have in the source files render double-wide in html
+#   the ones we want in the html cause iTerm2 to slow down in alt-tabbing for some reason
+# the following commands give us the best of both worlds
+sed -i 's/┈/╌/g' html/edit/*.mu.html
+sed -i 's/┊/╎/g' html/edit/*.mu.html