Add various missing override specifiers

2019-04-28 11:05:14 +01:00
parent 6d3e9093c4
commit 24458e9990
10 changed files with 49 additions and 49 deletions
--- a/src/viewport_gui.cpp
+++ b/src/viewport_gui.cpp
@@ -153,7 +153,7 @@ public:
 		}
 	}

-	virtual void OnMouseOver(Point pt, int widget)
+	virtual void OnMouseOver(Point pt, int widget) override
 	{
 		if (pt.x != -1 && (_mouse_hovering || _settings_client.gui.hover_delay_ms == 0)) {
 			/* Show tooltip with last month production or town name */