From: adam <adam@megacz.com>
Date: Wed, 7 Apr 2004 10:58:55 +0000 (+0000)
Subject: doc fixups
X-Git-Tag: RC4~34
X-Git-Url: http://git.megacz.com/?p=org.ibex.core.git;a=commitdiff_plain;h=a337940581bf24d834cdb23ac24c496e52f859a7

doc fixups

darcs-hash:20040407105855-5007d-1d324c5c259db37f53f25b35f84d6298c8237e1f.gz
---

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");