changeset 37062 | 2b94e2d406d9 |
parent 37058 | c47653f3ec14 |
child 37174 | 6feaab4fc27d |
--- a/etc/settings Sat May 22 20:10:11 2010 +0200 +++ b/etc/settings Sat May 22 20:20:51 2010 +0200 @@ -157,11 +157,14 @@ #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" # The pdf file viewer -if [ $(uname -s) = Darwin ]; then - PDF_VIEWER="open -W -n" -else - PDF_VIEWER=xpdf -fi +case "$ISABELLE_PLATFORM" in + *-darwin) + PDF_VIEWER="open -W -n" + ;; + *) + PDF_VIEWER=xpdf + ;; +esac #PDF_VIEWER=acroread #PDF_VIEWER=evince