projects
/
org.ibex.core.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0784915
)
doc fixups
author
adam
<adam@megacz.com>
Wed, 7 Apr 2004 10:58:55 +0000
(10:58 +0000)
committer
adam
<adam@megacz.com>
Wed, 7 Apr 2004 10:58:55 +0000
(10:58 +0000)
darcs-hash:
20040407105855
-5007d-
1d324c5c259db37f53f25b35f84d6298c8237e1f
.gz
src/org/ibex/util/Doc.java
patch
|
blob
|
history
diff --git
a/src/org/ibex/util/Doc.java
b/src/org/ibex/util/Doc.java
index
9770a99
..
2554952
100644
(file)
--- 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");
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");
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");
} else {
if (secs.length() == 0)
sb.append("\\newpage\n\n");