etc/settings
changeset 32426 dd25b3055c4e
parent 32392 d8551606fbab
child 33502 cf392b693385
--- a/etc/settings	Thu Aug 27 18:45:58 2009 +0200
+++ b/etc/settings	Fri Aug 28 10:52:44 2009 +0200
@@ -173,7 +173,7 @@
 
 # The pdf file viewer
 if [ $(uname -s) = Darwin ]; then
-  PDF_VIEWER=open
+  PDF_VIEWER="open -W -n"
 else
   PDF_VIEWER=xpdf
 fi