| 1234567891011121314151617181920212223242526 |
- --- settings.cc.orig 2016-11-15 10:39:44.419656094 +0900
- +++ settings.cc 2016-11-15 10:41:51.958651237 +0900
- @@ -91,11 +91,11 @@
- string HOME="HOME";
- string docdir=ASYMPTOTE_DOCDIR;
- const char pathSeparator=':';
- -string defaultPSViewer="gv";
- +string defaultPSViewer="evince";
- #ifdef __APPLE__
- string defaultPDFViewer="open";
- #else
- -string defaultPDFViewer="acroread";
- +string defaultPDFViewer="evince";
- #endif
- string defaultGhostscript="gs";
- string defaultGhostscriptLibrary="/usr/lib/libgs.so";
- @@ -707,7 +707,8 @@
- bool getOption() {
- string str=optarg;
-
- - if(str == "latex" || str == "pdflatex" || str == "xelatex" ||
- + if(str == "platex" ||
- + str == "latex" || str == "pdflatex" || str == "xelatex" ||
- str == "tex" || str == "pdftex" || str == "luatex" ||
- str == "lualatex" || str == "context" || str == "none") {
- value=str;
|
