etc/settings
changeset 47758 8c37cb84065f
parent 47726 d5e7f7039e03
child 48187 6615f7ce670b
     1.1 --- a/etc/settings	Wed Apr 25 15:14:57 2012 +0200
     1.2 +++ b/etc/settings	Wed Apr 25 15:44:26 2012 +0200
     1.3 @@ -140,11 +140,14 @@
     1.4  
     1.5  # The pdf file viewer
     1.6  case "$ISABELLE_PLATFORM" in
     1.7 +  *-linux)
     1.8 +    PDF_VIEWER="xdg-open"
     1.9 +    ;;
    1.10    *-darwin)
    1.11      PDF_VIEWER="open -W -n"
    1.12      ;;
    1.13 -  *)
    1.14 -    PDF_VIEWER=evince
    1.15 +  *-cygwin)
    1.16 +    PDF_VIEWER="cygstart"
    1.17      ;;
    1.18  esac
    1.19