/* Allows desktop to 'idle' in between busy events */

#ifndef __idle_h
#define __idle_h

#ifndef __event_h
#include "event.h"
#endif

extern void idle_on(WimpEventHandler *handler, void *handle);
extern void idle_off(void);

#endif
