22 |
|
|
23 |
# The FenPDF 1.0 ! |
# The FenPDF 1.0 ! |
24 |
|
|
25 |
|
# Input: in Java properties: |
26 |
|
# |
27 |
|
# fenpdf.file : The file name |
28 |
|
# |
29 |
|
# fenpdf.demo : If the file does not exist, FenPDF creates a new space. |
30 |
|
# If this value is nonzero, it creates a small demo space, |
31 |
|
# otherwise an empty space. |
32 |
|
|
33 |
dbg = 0 |
dbg = 0 |
34 |
|
|
35 |
def p(*s): |
def p(*s): |
141 |
fen.constgraph = fen.graph = ff.swamp.Graphs.toGraph(m); |
fen.constgraph = fen.graph = ff.swamp.Graphs.toGraph(m); |
142 |
else: |
else: |
143 |
fen.graph = fen.constgraph = ff.swamp.impl.HashGraph() |
fen.graph = fen.constgraph = ff.swamp.impl.HashGraph() |
144 |
|
|
145 |
fen.txt = ff.impl.SimpleNodeContent(fen, myalph); |
fen.txt = ff.impl.SimpleNodeContent(fen, myalph); |
146 |
fen.txtfunc = fen.txt.getNodeFunction() |
fen.txtfunc = fen.txt.getNodeFunction() |
147 |
fen.enfiladeOverlap = fen.txt.getTransclusionIndex() |
fen.enfiladeOverlap = fen.txt.getTransclusionIndex() |
162 |
|
|
163 |
# If we want a new space, create a demo space. |
# If we want a new space, create a demo space. |
164 |
if not do_load_graph: |
if not do_load_graph: |
165 |
ff.fenpdf.demospace.createDemoSpace(fen, myalph, treetime, ppActions) |
val = java.lang.System.getProperty("fenpdf.demo") |
166 |
|
if val != None and java.lang.Integer.parseInt(val) != 0: |
167 |
|
ff.fenpdf.demospace.createDemoSpace(fen, myalph, treetime, ppActions) |
168 |
|
else: |
169 |
|
ff.fenpdf.demospace.createEmptySpace(fen, myalph, treetime, ppActions) |
170 |
|
|
171 |
spanImageFactory = ff.spanimages.gl.DefaultSpanImageFactory( |
spanImageFactory = ff.spanimages.gl.DefaultSpanImageFactory( |
172 |
ff.spanimages.gl.PageScrollBlockImager()) |
ff.spanimages.gl.PageScrollBlockImager()) |