From 50ece7b82b0141f0ef51e24171702198d14ebbbd Mon Sep 17 00:00:00 2001 From: "Glenn Y. Rolland" Date: Thu, 28 Feb 2008 18:21:33 +0100 Subject: [PATCH] Game has more event handlers now (still broken). --- Game.ml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/Game.ml b/Game.ml index 4670890..2ce6d12 100644 --- a/Game.ml +++ b/Game.ml @@ -7,6 +7,10 @@ type game_t = { timeline : Timeline.timeline_t ; } +let handle event ev = + ignore ev +;; + let rec refresh_input () = (* poll events *) let get_handler_fun ev = @@ -25,12 +29,12 @@ let rec refresh_input () = | Sdlevent.JOYBUTTONDOWN _ -> Joystick.handle_event | Sdlevent.JOYBUTTONUP _ -> Joystick.handle_event (* video events *) - | Sdlevent.VIDEORESIZE _ -> ignore - | Sdlevent.VIDEOEXPOSE -> ignore - | Sdlevent.ACTIVE _ -> ignore + | Sdlevent.VIDEORESIZE _ -> Video.handle_event + | Sdlevent.VIDEOEXPOSE -> Video.handle_event + | Sdlevent.ACTIVE _ -> Video.handle_event (* system events *) - | Sdlevent.QUIT -> ignore - | Sdlevent.SYSWM -> ignore + | Sdlevent.QUIT -> Game.handle_event + | Sdlevent.SYSWM -> Game.handle_event (* user defined events *) | Sdlevent.USER _ -> ignore in