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