From a01f4dd530689d29ac7518bb9a8d19b919ef76ac Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 20 Nov 2008 11:34:36 -0500
Subject: Some demo improvements

---
 src/demo.sml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index 5ed9da2a..580cd21f 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -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 @@ fun make {prefix, dirname} =
                                                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, "/");
-- 
cgit v1.2.3