etc/settings
changeset 52550 09e52d4a850a
parent 52450 e09e1091394d
child 52743 a7d69a11f395
equal deleted inserted replaced
52549:802576856527 52550:09e52d4a850a
   114 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   114 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   115 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   115 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   116 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   116 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   117 
   117 
   118 
   118 
   119 # Printer spool command for PS files
       
   120 PRINT_COMMAND=lp
       
   121 
       
   122 
       
   123 ###
   119 ###
   124 ### Rendering information
   120 ### Rendering information
   125 ###
   121 ###
   126 
   122 
   127 ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf"
   123 ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf"