[Vala] How to cast Gdk.EventKey to Gdk.Event ?

[Peng Huang <shawn p huang gmail com>]

How to cast Gdk.EventKey to Gdk.Event in vala?

some code like, but it does not compile.

100     public override bool key_release_event(Gdk.EventKey e) {
101         if (m_primary_modifier !=
KeybindingManager.keyval_to_modifier(e.keyval))
102             return true;
103
104         if
(KeybindingManager.primary_modifier_still_pressed((Gdk.Event)e))
105             return true;
106
107         hide();
108         return true;
109     }

Thanks,