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 "fresh" open -- requires Lion / Mountain Lion;
authorwenzelm
Mon, 07 Oct 2013 13:42:33 +0200
changeset 54311 ed839b74ef67
parent 54310 6ddeb83eb67a
child 54312 d6121362d705
prefer "fresh" open -- requires Lion / Mountain Lion;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Oct 07 12:28:19 2013 +0200
+++ b/etc/settings	Mon Oct 07 13:42:33 2013 +0200
@@ -106,7 +106,7 @@
     PDF_VIEWER="xdg-open"
     ;;
   macos)
-    PDF_VIEWER="open -W -n -a Safari"
+    PDF_VIEWER="open -W -n -F"
     ;;
   windows)
     PDF_VIEWER="cygstart"
isabelle