# HG changeset patch
# User wenzelm
# Date 1381146153 -7200
# Node ID ed839b74ef6760209d816dc3089938e1010f5dba
# Parent  6ddeb83eb67ae812ea61816b02b276a435859248
prefer "fresh" open -- requires Lion / Mountain Lion;

diff -r 6ddeb83eb67a -r ed839b74ef67 etc/settings
--- a/etc/settings	Mon Oct 07 12:28:19 2013 +0200
+++ b/etc/settings	Mon Oct 07 13:42:33 2013 +0200
@@ -106,7 +106,7 @@
     PDF_VIEWER="xdg-open"
     ;;
   macos)
-    PDF_VIEWER="open -W -n -a Safari"
+    PDF_VIEWER="open -W -n -F"
     ;;
   windows)
     PDF_VIEWER="cygstart"