etc/settings
changeset 54311 ed839b74ef67
parent 54037 ab77ec347220
child 54683 cf48ddc266e5
     1.1 --- a/etc/settings	Mon Oct 07 12:28:19 2013 +0200
     1.2 +++ b/etc/settings	Mon Oct 07 13:42:33 2013 +0200
     1.3 @@ -106,7 +106,7 @@
     1.4      PDF_VIEWER="xdg-open"
     1.5      ;;
     1.6    macos)
     1.7 -    PDF_VIEWER="open -W -n -a Safari"
     1.8 +    PDF_VIEWER="open -W -n -F"
     1.9      ;;
    1.10    windows)
    1.11      PDF_VIEWER="cygstart"