equal
deleted
inserted
replaced
171 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
171 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
172 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
172 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
173 |
173 |
174 # The pdf file viewer |
174 # The pdf file viewer |
175 if [ $(uname -s) = Darwin ]; then |
175 if [ $(uname -s) = Darwin ]; then |
176 PDF_VIEWER=open |
176 PDF_VIEWER="open -W -n" |
177 else |
177 else |
178 PDF_VIEWER=xpdf |
178 PDF_VIEWER=xpdf |
179 fi |
179 fi |
180 #PDF_VIEWER=acroread |
180 #PDF_VIEWER=acroread |
181 #PDF_VIEWER=evince |
181 #PDF_VIEWER=evince |