Skip to content

Commit

Permalink
default to not using texi2dvi by default on linux (to avoid tilde esc…
Browse files Browse the repository at this point in the history
…aping bug in texi2dvi on debian)
  • Loading branch information
jjallaire committed May 18, 2012
1 parent 13297d6 commit 41e7001
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions src/cpp/session/SessionUserSettings.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -455,12 +455,17 @@ void UserSettings::setVcsUseGitBash(bool useGitBash)

bool UserSettings::useTexi2Dvi() const
{
return settings_.getBool("useTexi2Dvi", true);
#if defined(_WIN32) || defined(__APPLE__)
bool defaultValue = true;
#else
bool defaultValue = false;
#endif
return settings_.getBool("useTexi2DviCompile", defaultValue);
}

void UserSettings::setUsetexi2Dvi(bool useTexi2Dvi)
{
settings_.set("useTexi2Dvi", useTexi2Dvi);
settings_.set("useTexi2DviCompile", useTexi2Dvi);
}

bool UserSettings::cleanTexi2DviOutput() const
Expand Down

0 comments on commit 41e7001

Please sign in to comment.