1.1 --- a/etc/settings	Tue Jun 25 20:35:50 2013 +0200
     1.2 +++ b/etc/settings	Tue Jun 25 20:38:06 2013 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4      PDF_VIEWER="xdg-open"
     1.5      ;;
     1.6    macos)
     1.7 -    PDF_VIEWER="open -W -n"
     1.8 +    PDF_VIEWER="open -W -n -a Safari"
     1.9      ;;
    1.10    windows)
    1.11      PDF_VIEWER="cygstart"