# 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"