Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PDF_VIEWER: more Unix-ish behaviour on Mac OS;
authorwenzelm
Fri, 28 Aug 2009 10:52:44 +0200
changeset 32426 dd25b3055c4e
parent 32425 7b32a4e08182
child 32427 0a94e1f264ce
PDF_VIEWER: more Unix-ish behaviour on Mac OS;
etc/settings file | annotate | diff | comparison | revisions 
--- 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
isabelle