3 files changed, 0 insertions, 18 deletions
diff --git a/src/events/actionevent.h b/src/events/actionevent.h
index 11655fa03..71057cf1d 100644
--- a/src/events/actionevent.h
+++ b/src/events/actionevent.h
@@ -111,12 +111,6 @@ class ActionEvent final : public Event
         A_DELETE_COPY(ActionEvent)
 
         /**
-          * Destructor.
-          */
-        virtual ~ActionEvent()
-        { }
-
-        /**
           * Gets the identifier of the event. An identifier can
           * be used to distinguish from two actions from the same
           * widget or to let many widgets fire the same widgets
diff --git a/src/events/keyevent.h b/src/events/keyevent.h
index 191bc1849..b08b57f9d 100644
--- a/src/events/keyevent.h
+++ b/src/events/keyevent.h
@@ -106,12 +106,6 @@ class KeyEvent: public InputGuiEvent
         { }
 
         /**
-          * Destructor.
-          */
-        virtual ~KeyEvent()
-        { }
-
-        /**
           * Gets the type of the event.
           *
           * @return The type of the event.
diff --git a/src/events/selectionevent.h b/src/events/selectionevent.h
index 02682af07..06d66cd04 100644
--- a/src/events/selectionevent.h
+++ b/src/events/selectionevent.h
@@ -88,12 +88,6 @@ class SelectionEvent final: public Event
         { }
 
         A_DELETE_COPY(SelectionEvent)
-
-        /**
-          * Destructor.
-          */
-        virtual ~SelectionEvent()
-        { }
 };
 
 #endif  // EVENTS_SELECTIONEVENT_H