/* 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);