/[fenfire]/fenfire/org/fenfire/bin/fenpdf10.py
ViewVC logotype

Diff of /fenfire/org/fenfire/bin/fenpdf10.py

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.38 by tjl, Thu Aug 14 10:18:47 2003 UTC revision 1.39 by tjl, Thu Aug 14 10:55:38 2003 UTC
# Line 22  Line 22 
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):
# Line 133  if do_load_graph: Line 141  if do_load_graph:
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()
# Line 153  w.renderStill(vs, 0) Line 162  w.renderStill(vs, 0)
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())

Legend:
Removed from v.1.38  
changed lines
  Added in v.1.39

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26