Searched defs:punctuation_characters (Results 1 – 1 of 1) sorted by relevance
| /dports/editors/jucipp/jucipp-b3b5182258b25835e7c5f683623ab774d8e34c75/src/ |
| H A D | tooltips.cpp | 503 …static std::set<char> punctuation_characters = {'!', '"', '#', '$', '%', '&', '\'', '(', ')', '*',… in insert_markdown() local
1506 …static std::set<char> punctuation_characters = {'!', '"', '#', '$', '%', '&', '\'', '(', ')', '*',… in insert_docstring() local
|