/* $Id: options.h,v 1.1 1997/02/23 19:38:34 sverrehu Exp $ */
#ifndef OPTIONS_H
#define OPTIONS_H

void optionsInit(Widget parent);
void optionsFinish(void);
void optionsPopup(void);

#endif