From 81934ea4c2cf2260b6000e9be4d13e328204929a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 30 Sep 2010 18:29:59 -0400
Subject: Demo improvements

---
 src/demo.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index 358815de..19632d0e 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -27,6 +27,8 @@
 
 structure Demo :> DEMO = struct
 
+val noEmacs = ref false
+
 fun make' {prefix, dirname, guided} =
     let
         val prose = OS.Path.joinDirFile {dir = dirname,
@@ -333,6 +335,8 @@ fun make' {prefix, dirname, guided} =
                                              else
                                                  ()
                                          end)
+
+                            val highlight = fn () => if !noEmacs then () else highlight ()
                         in
                             if OS.Path.base file = "demo" then
                                 ()
-- 
cgit v1.2.3