xenia/home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add override

Browse Source
This commit is contained in:
Jason Felice 2019-11-02 17:07:49 -04:00
parent d26bb0ce2b
commit c589f475a5
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/highlighters.cc
View File

@ -1029,7 +1029,7 @@ struct ShowWhitespacesHighlighter : Highlighter
} }
private: 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>(); const int tabstop = context.context.options()["tabstop"].get<int>();
auto whitespaceface = context.context.faces()["Whitespace"]; auto whitespaceface = context.context.faces()["Whitespace"];

2
src/scope.hh
View File

@ -57,7 +57,7 @@ class GlobalScope : public Scope, public OptionManagerWatcher, public Singleton<
OptionsRegistry& option_registry() { return m_option_registry; } OptionsRegistry& option_registry() { return m_option_registry; }
const OptionsRegistry& option_registry() const { return m_option_registry; } const OptionsRegistry& option_registry() const { return m_option_registry; }
private: private:
void on_option_changed(const Option& option); void on_option_changed(const Option& option) override;
OptionsRegistry m_option_registry; OptionsRegistry m_option_registry;
}; };