Searched refs:ETX (Results 1 – 4 of 4) sorted by relevance
78 ETX = u'\u0003' # Use ETX ("End of text") for end-of-placeholder variable80 INLINE_PLACEHOLDER = INLINE_PLACEHOLDER_PREFIX + "%s" + ETX81 AMP_SUBSTITUTE = STX+"amp"+ETX380 source = source.replace(STX, "").replace(ETX, "")
14 HTML_PLACEHOLDER = HTML_PLACEHOLDER_PREFIX + "%d" + markdown.ETX
41 self.__placeholder_suffix = markdown.ETX
84 public static final byte ETX = 3; field in Ascii