/* option.c */
void optionwindow(void);
void optionredrawtarget(W_Window win);
void optionredrawoption(int *ip);
void optionaction(W_Event *data);
void SetMenuPage(int pagenum);
void optiondone(void);
void UpdateOptions(void);
