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.
prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);
authorwenzelm
Tue, 25 Jun 2013 20:38:06 +0200
changeset 52450 e09e1091394d
parent 52449 79e7fd57acc4
child 52451 e64c1344f21b
child 52455 9a8f4fdac3cf
prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Jun 25 20:35:50 2013 +0200
+++ b/etc/settings	Tue Jun 25 20:38:06 2013 +0200
@@ -101,7 +101,7 @@
     PDF_VIEWER="xdg-open"
     ;;
   macos)
-    PDF_VIEWER="open -W -n"
+    PDF_VIEWER="open -W -n -a Safari"
     ;;
   windows)
     PDF_VIEWER="cygstart"
isabelle