diff --git a/src/highlighters.cc b/src/highlighters.cc index 5e6a2045..c21fa23d 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -1814,6 +1814,15 @@ public: ++m_regions_timestamp; } + void remove_child(StringView id) + { + if (id == m_default_region) + m_default_region = String{}; + + m_regions.remove(id); + ++m_regions_timestamp; + } + Completions complete_child(StringView path, ByteCount cursor_pos, bool group) const override { auto sep_it = find(path, '/');