generic $ISABELLE_OPEN;
authorwenzelm
Fri Dec 06 22:50:47 2013 +0100 (2013-12-06)
changeset 54685a9c9792e87a5
parent 54684 4820b645e760
child 54686 070d5e856798
generic $ISABELLE_OPEN;
etc/settings
     1.1 --- a/etc/settings	Fri Dec 06 22:35:51 2013 +0100
     1.2 +++ b/etc/settings	Fri Dec 06 22:50:47 2013 +0100
     1.3 @@ -100,21 +100,21 @@
     1.4  # Where to look for docs (multiple dirs separated by ':').
     1.5  ISABELLE_DOCS="$ISABELLE_HOME/doc"
     1.6  
     1.7 -# PDF file viewer
     1.8 +# "open" within desktop environment (potentially asynchronous)
     1.9  case "$ISABELLE_PLATFORM_FAMILY" in
    1.10    linux)
    1.11 -    PDF_VIEWER="xdg-open"
    1.12 +    ISABELLE_OPEN="xdg-open"
    1.13      ;;
    1.14    macos)
    1.15 -    PDF_VIEWER="open"
    1.16 +    ISABELLE_OPEN="open"
    1.17      ;;
    1.18    windows)
    1.19 -    PDF_VIEWER="cygstart"
    1.20 +    ISABELLE_OPEN="cygstart"
    1.21      ;;
    1.22  esac
    1.23  
    1.24 -# DVI file viewer
    1.25 -DVI_VIEWER="xdvi"
    1.26 +PDF_VIEWER="$ISABELLE_OPEN"
    1.27 +DVI_VIEWER="$ISABELLE_OPEN"
    1.28  
    1.29  
    1.30  ###