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