Mercurial > urweb

diff src/demo.sml @ 1301:4359e185d3af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo improvements
author Adam Chlipala <adam@chlipala.net>
date Thu, 30 Sep 2010 18:29:59 -0400
parents b4480a56cab7
children 4dd5d23bace2
line wrap: on
line diff
--- a/src/demo.sml	Thu Sep 30 18:12:04 2010 -0400
+++ b/src/demo.sml	Thu Sep 30 18:29:59 2010 -0400
@@ -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 @@
                                              else
                                                  ()
                                          end)
+
+                            val highlight = fn () => if !noEmacs then () else highlight ()
                         in
                             if OS.Path.base file = "demo" then
                                 ()