etc/settings
changeset 15218 39747a9e3c37
parent 14981 e73f8140af78
child 15227 804ecdc08cf2
equal deleted inserted replaced
15217:15fa818ef624 15218:39747a9e3c37
   150 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   150 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   151 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   151 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   152 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   152 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   153 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   153 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   154 
   154 
       
   155 #The pdf file viewer
       
   156 PDF_VIEWER=acroread
       
   157 #PDF_VIEWER=xpdf
       
   158 
   155 #Printer spool command for PS files
   159 #Printer spool command for PS files
   156 PRINT_COMMAND=lp
   160 PRINT_COMMAND=lp
   157 
   161 
   158 
   162 
   159 ###
   163 ###