diff options
| author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-07-10 11:34:39 +0100 |
|---|---|---|
| committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-07-10 13:56:54 +0100 |
| commit | 26fcf2b04ca48566cee6cf32a2a40e8ea1e40eb4 (patch) | |
| tree | 273aace3a50a8d14f9b13f1d991bb9048cef6131 /editor/editor_properties.cpp | |
| parent | ad9e5ae9848c8baf6fe462cf22d7f5677f478174 (diff) | |
| download | redot-engine-26fcf2b04ca48566cee6cf32a2a40e8ea1e40eb4.tar.gz | |
Add override keywords.
Diffstat (limited to 'editor/editor_properties.cpp')
| -rw-r--r-- | editor/editor_properties.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/editor_properties.cpp b/editor/editor_properties.cpp index 8f9c92ea15..48f1a1f134 100644 --- a/editor/editor_properties.cpp +++ b/editor/editor_properties.cpp @@ -584,12 +584,12 @@ public: Vector<String> tooltips; int hovered_index; - virtual Size2 get_minimum_size() const { + virtual Size2 get_minimum_size() const override { Ref<Font> font = get_theme_font("font", "Label"); return Vector2(0, font->get_height() * 2); } - virtual String get_tooltip(const Point2 &p_pos) const { + virtual String get_tooltip(const Point2 &p_pos) const override { for (int i = 0; i < flag_rects.size(); i++) { if (i < tooltips.size() && flag_rects[i].has_point(p_pos)) { return tooltips[i]; |