etc/settings
changeset 54311 ed839b74ef67
parent 54037 ab77ec347220
child 54683 cf48ddc266e5
--- 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"