diff options
| author | Jason Felice <jason.m.felice@gmail.com> | 2019-11-02 17:07:49 -0400 |
|---|---|---|
| committer | Jason Felice <jason.m.felice@gmail.com> | 2019-11-09 12:53:45 -0500 |
| commit | c589f475a5b0ffc9e5325a84bb3ff3ca32ff0fe1 (patch) | |
| tree | c49c3f4f6163332a6d72c81c59ad8aec6cfccbde | |
| parent | d26bb0ce2bd7bffd87b38b466f1e9642b85d0715 (diff) | |
Add override
| -rw-r--r-- | src/highlighters.cc | 2 | ||||
| -rw-r--r-- | src/scope.hh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/highlighters.cc b/src/highlighters.cc index 468f263e..000befef 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -1029,7 +1029,7 @@ struct ShowWhitespacesHighlighter : Highlighter } private: - void do_highlight(HighlightContext context, DisplayBuffer& display_buffer, BufferRange) + void do_highlight(HighlightContext context, DisplayBuffer& display_buffer, BufferRange) override { const int tabstop = context.context.options()["tabstop"].get<int>(); auto whitespaceface = context.context.faces()["Whitespace"]; diff --git a/src/scope.hh b/src/scope.hh index e29a3c94..870e1159 100644 --- a/src/scope.hh +++ b/src/scope.hh @@ -57,7 +57,7 @@ class GlobalScope : public Scope, public OptionManagerWatcher, public Singleton< OptionsRegistry& option_registry() { return m_option_registry; } const OptionsRegistry& option_registry() const { return m_option_registry; } private: - void on_option_changed(const Option& option); + void on_option_changed(const Option& option) override; OptionsRegistry m_option_registry; }; |