diff options
| author | Maxime Coste <mawww@kakoune.org> | 2018-07-02 21:09:31 +1000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2018-07-05 07:54:28 +1000 |
| commit | 55a5ec3bbdf7c605265859b5fde8ea1d4c02f15d (patch) | |
| tree | 4281f66444bc6c7a477944e8d5ef35ee5e6cb6aa /src/highlighter_group.cc | |
| parent | 2e0e206951adefe71ef559a2a42b23901f5c4531 (diff) | |
Tweak how highlighter names are auto-generated
Diffstat (limited to 'src/highlighter_group.cc')
| -rw-r--r-- | src/highlighter_group.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/highlighter_group.cc b/src/highlighter_group.cc index a686fc4d..e98ab4aa 100644 --- a/src/highlighter_group.cc +++ b/src/highlighter_group.cc @@ -29,8 +29,6 @@ void HighlighterGroup::add_child(String name, std::unique_ptr<Highlighter>&& hl) if ((hl->passes() & passes()) != hl->passes()) throw runtime_error{"cannot add that highlighter to this group, passes don't match"}; - name = replace(name, "/", "<slash>"); - if (m_highlighters.contains(name)) throw runtime_error(format("duplicate id: '{}'", name)); |