# HG changeset patch
# User wenzelm
# Date 1372185486 -7200
# Node ID e09e1091394d74aec9bdb48e2df39c41301f0bd0
# Parent  79e7fd57acc40a87d054863f8ca071b18e2d59d9
prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);

diff -r 79e7fd57acc4 -r e09e1091394d etc/settings
--- a/etc/settings	Tue Jun 25 20:35:50 2013 +0200
+++ b/etc/settings	Tue Jun 25 20:38:06 2013 +0200
@@ -101,7 +101,7 @@
     PDF_VIEWER="xdg-open"
     ;;
   macos)
-    PDF_VIEWER="open -W -n"
+    PDF_VIEWER="open -W -n -a Safari"
     ;;
   windows)
     PDF_VIEWER="cygstart"