4 files changed, 4 insertions, 4 deletions
diff --git a/src/events/inputguievent.h b/src/events/inputguievent.h
index 2a702db91..dc4dfe427 100644
--- a/src/events/inputguievent.h
+++ b/src/events/inputguievent.h
@@ -71,7 +71,7 @@
   *
   * @author Olof Naessén
   */
-class InputGuiEvent: public Event
+class InputGuiEvent notfinal : public Event
 {
     public:
         /**
diff --git a/src/events/keyevent.h b/src/events/keyevent.h
index b08b57f9d..e8fea72ed 100644
--- a/src/events/keyevent.h
+++ b/src/events/keyevent.h
@@ -81,7 +81,7 @@ class Widget;
 /**
   * Represents a key event.
   */
-class KeyEvent: public InputGuiEvent
+class KeyEvent final : public InputGuiEvent
 {
     public:
         /**
diff --git a/src/events/mouseevent.h b/src/events/mouseevent.h
index 3a3a70f0a..cd43af96b 100644
--- a/src/events/mouseevent.h
+++ b/src/events/mouseevent.h
@@ -76,7 +76,7 @@ class Widget;
   *
   * @author Olof Naessén
   */
-class MouseEvent: public InputGuiEvent
+class MouseEvent final : public InputGuiEvent
 {
     public:
         /**
diff --git a/src/events/selectionevent.h b/src/events/selectionevent.h
index 06d66cd04..51b0d4f70 100644
--- a/src/events/selectionevent.h
+++ b/src/events/selectionevent.h
@@ -75,7 +75,7 @@ class Widget;
   *
   * @author Olof Naessén
   */
-class SelectionEvent final: public Event
+class SelectionEvent final : public Event
 {
     public:
         /**