1 /* $Id: options.h,v 1.1 1997/02/23 19:38:34 sverrehu Exp $ */
2 #ifndef OPTIONS_H
3 #define OPTIONS_H
4 
5 void optionsInit(Widget parent);
6 void optionsFinish(void);
7 void optionsPopup(void);
8 
9 #endif
10