[colorize.git] / gui / level.h

void level_event(gpointer priv);
void level_set_current(void);