FilePath Options::urlopenerPath() const { FilePath parentDir = scriptsPath(); // detect dev configuration if (parentDir.filename() == "desktop") parentDir = parentDir.complete("urlopener"); return parentDir.complete("urlopener.exe"); }
FilePath Options::rsinversePath() const { FilePath parentDir = scriptsPath(); // detect dev configuration if (parentDir.filename() == "desktop") parentDir = parentDir.complete("synctex/rsinverse"); return parentDir.complete("rsinverse.exe"); }