From a337940581bf24d834cdb23ac24c496e52f859a7 Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Wed, 7 Apr 2004 10:58:55 +0000
Subject: [PATCH] doc fixups

darcs-hash:20040407105855-5007d-1d324c5c259db37f53f25b35f84d6298c8237e1f.gz
---
 src/org/ibex/util/Doc.java |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/org/ibex/util/Doc.java b/src/org/ibex/util/Doc.java
index 9770a99..2554952 100644
--- a/src/org/ibex/util/Doc.java
+++ b/src/org/ibex/util/Doc.java
@@ -401,8 +401,13 @@ public class Doc extends XML {
                 sb.append(pile);
                 sb.append("\n\n\\begin{slide}\n");
                 sb.append("\\slideheading{"+fixLatex(name)+"}\n");
-                super.dumpLatex(sb);
+                for(int i=0; i<children.size(); i++)
+                    if (children.elementAt(i) instanceof String)
+                        sb.append(fixLatex(children.elementAt(i).toString()));
                 sb.append("\n\n\\end{slide}\n");
+                for(int i=0; i<children.size(); i++)
+                    if (children.elementAt(i) instanceof String)
+                     ((Node)children.elementAt(i)).dumpLatex(sb);
             } else {
                 if (secs.length() == 0)
                     sb.append("\\newpage\n\n");
-- 
1.7.10.4