+void EventDispatcher::tick(const Time::Timer &timer)
+{
+ const Time::TimeStamp &timeout = timer.get_next_timeout();
+ if(timeout)
+ tick(timeout-Time::now());
+ else
+ tick();
+}
+
+void EventDispatcher::object_events_changed(PollEvent ev, EventObject *obj)