Searched refs:PathToJavaScript (Results 1 – 1 of 1) sorted by relevance
437 std::string PathToJavaScript; in getPathToJavaScript() local441 PathToJavaScript += ".." + PathSep; in getPathToJavaScript()442 return PathToJavaScript + "control.js"; in getPathToJavaScript()447 const std::string &PathToJavaScript = "") { in emitPrelude() argument460 if (PathToJavaScript.empty()) in emitPrelude()463 OS << "<script src='" << escape(PathToJavaScript, Opts) << "'></script>"; in emitPrelude()