diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-06-10 22:02:08 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-06-10 22:02:08 +0100 |
| commit | 4c942c4a3a4b235f8d02a7bc0fd7cbd8a1f3eea0 (patch) | |
| tree | 195ef3bdf8bd565940a4a8969a9e4d51b68ddefb /src | |
| parent | ca93ae807d7aca7e49360e6547759228b0b5e3eb (diff) | |
ref highlighter tolerates unexisting reference
Diffstat (limited to 'src')
| -rw-r--r-- | src/highlighters.cc | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/highlighters.cc b/src/highlighters.cc index f44c40a0..cfb887cf 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -652,11 +652,19 @@ HighlighterAndId reference_factory(HighlighterParameters params) const String& name = params[0]; // throw if not found - DefinedHighlighters::instance().get_group(name, '/'); + //DefinedHighlighters::instance().get_group(name, '/'); return HighlighterAndId(name, [name](const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) - { DefinedHighlighters::instance().get_group(name, '/')(context, flags, display_buffer); }); + { + try + { + DefinedHighlighters::instance().get_group(name, '/')(context, flags, display_buffer); + } + catch (group_not_found&) + { + } + }); } template<typename HighlightFunc> |
