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