author | wenzelm |
Wed, 25 Apr 2012 15:44:26 +0200 | |
changeset 47758 | 8c37cb84065f |
parent 47750 | 10288994c97c |
child 47759 | af40c7e90c1e |
etc/settings | file | annotate | diff | comparison | revisions |
--- a/etc/settings Wed Apr 25 15:14:57 2012 +0200 +++ b/etc/settings Wed Apr 25 15:44:26 2012 +0200 @@ -140,11 +140,14 @@ # The pdf file viewer case "$ISABELLE_PLATFORM" in + *-linux) + PDF_VIEWER="xdg-open" + ;; *-darwin) PDF_VIEWER="open -W -n" ;; - *) - PDF_VIEWER=evince + *-cygwin) + PDF_VIEWER="cygstart" ;; esac