Searched refs:jsonFuncUnicode (Results 1 – 1 of 1) sorted by relevance
471 let jsonFuncUnicode = escapeUnicode(JSON.stringify(funcObject, null, 2)); variable472 jsonFuncUnicode = "$" + jsonFuncUnicode.replace(dollarSign, '#$') + "$";473 jsonFuncUnicode = jsonFuncUnicode.replace(starSign, '#*');475 Ts2Panda.jsonString += jsonFuncUnicode;477 ts2abc.stdio[3].write(jsonFuncUnicode + '\n');