From 05f425eab96f07a0ed7de6a8936f0e56f6fe0984 Mon Sep 17 00:00:00 2001
From: Chris Hennes <chennes@gmail.com>
Date: Fri, 19 Jan 2024 18:21:55 -0700
Subject: [PATCH] Gui: Add missing override

---
 src/Gui/propertyeditor/PropertyEditor.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Gui/propertyeditor/PropertyEditor.h b/src/Gui/propertyeditor/PropertyEditor.h
index bd01c2f99e..c50fedf0d9 100644
--- a/src/Gui/propertyeditor/PropertyEditor.h
+++ b/src/Gui/propertyeditor/PropertyEditor.h
@@ -100,7 +100,7 @@ protected Q_SLOTS:
     void onRowsRemoved(const QModelIndex &parent, int start, int end);
 
 protected:
-    bool eventFilter(QObject* object, QEvent* event);
+    bool eventFilter(QObject* object, QEvent* event) override;
     void closeEditor (QWidget * editor, QAbstractItemDelegate::EndEditHint hint) override;
     void commitData (QWidget * editor) override;
     void editorDestroyed (QObject * editor) override;