# HG changeset patch
# User wenzelm
# Date 1335361466 -7200
# Node ID 8c37cb84065f0853e9f9e3c5a4a1ff7a7bef5dc5
# Parent  10288994c97cfffb62f3b087ebd11a0bb9587ec8
smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;

diff -r 10288994c97c -r 8c37cb84065f etc/settings
--- 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