3490

Redo commit 3457.

Basically there were 3 unicode characters we changed back then:
  solid horizontal line: 9473 -> 9472
  fuzzy horizontal line: 9480 -> 9548
  fuzzy vertical line: 9482 -> 9550

The solid horizontal line has no issues, so we just redo it here.
For the other two, we'll perform the substitution only when rendering
html. That gives us the best of both worlds: the scenario screens render
right in html, and alt-tabbing continues to be snappy when running the
edit/ app.

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