diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-02-13 12:59:27 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-02-13 12:59:27 +0000 |
| commit | 8bd3395d4db71a8d283c455c87143832da1a6ae3 (patch) | |
| tree | 0779019bd5fac12ca535c3513418cc1de4064a55 /src/string.hh | |
| parent | 318f1ae781ce941bfb60370b450174f2a4ef4e4d (diff) | |
Do not allow / in highlighter names as it is used for hierachies
/ are replaced with <slash> in the highlighter names.
Fixes #553
Diffstat (limited to 'src/string.hh')
| -rw-r--r-- | src/string.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/string.hh b/src/string.hh index ab83b56a..c4bd86a4 100644 --- a/src/string.hh +++ b/src/string.hh @@ -280,6 +280,8 @@ String unescape(StringView str, StringView characters, char escape); String indent(StringView str, StringView indent = " "); +String replace(StringView str, StringView substr, StringView replacement); + template<typename Container> String join(const Container& container, char joiner, bool esc_joiner = true) { |
