Mercurial > urweb

diff src/demo.sml @ 501:7ef4b2911b09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some demo improvements
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 11:34:36 -0500
parents c5a3d223f157
children 8875ff2e85dc
line wrap: on
line diff
--- a/src/demo.sml	Thu Nov 20 10:44:28 2008 -0500
+++ b/src/demo.sml	Thu Nov 20 11:34:36 2008 -0500
@@ -27,7 +27,7 @@
 
 structure Demo :> DEMO = struct
 
-fun make {prefix, dirname} =
+fun make {prefix, dirname, guided} =
     let
         val prose = OS.Path.joinDirFile {dir = dirname,
                                          file = "prose"}
@@ -127,7 +127,12 @@
                                                file = out}
                 val out = TextIO.openOut out
 
-                val () = (TextIO.output (out, "<frameset rows=\"50%,*\">\n");
+                val () = (TextIO.output (out, "<frameset rows=\"");
+                          TextIO.output (out, if guided then
+                                                  "*,100"
+                                              else
+                                                  "50%,*");
+                          TextIO.output (out, "\">\n");
                           TextIO.output (out, "<frame src=\"");
                           TextIO.output (out, prefix);
                           TextIO.output (out, "/");