[vte] widget: Remove unused event timestamp

[Christian Persch <chpe src gnome org>]

commit 1aab3df07bbedf01cfe38f9da6df48ef7a9d995f
Author: Christian Persch <chpe src gnome org>
Date:   Sun Nov 1 18:06:13 2020 +0100

    widget: Remove unused event timestamp
    
    [gtk4 preparation]

 src/widget.cc |  2 --
 src/widget.hh | 16 ++++------------
 2 files changed, 4 insertions(+), 14 deletions(-)
---
diff --git a/src/widget.cc b/src/widget.cc
index ae825c10..3f5e0278 100644
--- a/src/widget.cc
+++ b/src/widget.cc
@@ -432,7 +432,6 @@ Widget::key_event_from_gdk(GdkEventKey* event) const
         auto base_event = reinterpret_cast<GdkEvent*>(event);
         return {base_event,
                 type,
-                event->time,
                 read_modifiers_from_gdk(base_event),
                 event->keyval,
                 event->hardware_keycode, // gdk_event_get_scancode(event),
@@ -484,7 +483,6 @@ Widget::mouse_event_from_gdk(GdkEvent* event) const /* throws */
 
         return {event,
                 type,
-                gdk_event_get_time(event),
                 press_count,
                 read_modifiers_from_gdk(event),
                 MouseEvent::Button(button),
diff --git a/src/widget.hh b/src/widget.hh
index f88177d2..6924ade2 100644
--- a/src/widget.hh
+++ b/src/widget.hh
@@ -64,11 +64,9 @@ protected:
         EventBase() noexcept = default;
 
         constexpr EventBase(GdkEvent* gdk_event,
-                            Type type,
-                            unsigned timestamp) noexcept
+                            Type type) noexcept
                 : m_platform_event{gdk_event},
-                  m_type{type},
-                  m_timestamp{timestamp}
+                  m_type{type}
         {
         }
 
@@ -82,13 +80,11 @@ public:
         EventBase& operator=(EventBase const&) = delete;
         EventBase& operator=(EventBase&&) = delete;
 
-        constexpr auto timestamp()   const noexcept { return m_timestamp;   }
         constexpr auto type()        const noexcept { return m_type;        }
 
 private:
         GdkEvent* m_platform_event;
         Type m_type;
-        unsigned m_timestamp;
 }; // class EventBase
 
 class KeyEvent : public EventBase {
@@ -101,15 +97,13 @@ protected:
 
         constexpr KeyEvent(GdkEvent* gdk_event,
                            Type type,
-                           unsigned timestamp,
                            unsigned modifiers,
                            unsigned keyval,
                            unsigned keycode,
                            uint8_t group,
                            bool is_modifier) noexcept
                 : EventBase{gdk_event,
-                            type,
-                            timestamp},
+                            type},
                   m_modifiers{modifiers},
                   m_keyval{keyval},
                   m_keycode{keycode},
@@ -172,15 +166,13 @@ protected:
 
         constexpr MouseEvent(GdkEvent* gdk_event,
                              Type type,
-                             unsigned timestamp,
                              unsigned press_count,
                              unsigned modifiers,
                              Button button,
                              double x,
                              double y) noexcept
                 : EventBase{gdk_event,
-                            type,
-                            timestamp},
+                            type},
                   m_press_count{press_count},
                   m_modifiers{modifiers},
                   m_button{button},