/* mouseconf.cc 08/11/2000 13.58.20 */
PUBLIC MODULE_mouseconf::MODULE_mouseconf (void);
PUBLIC void MODULE_mouseconf::setmenu (DIALOG&dia,
	 MENU_CONTEXT context);
PUBLIC int MODULE_mouseconf::domenu (MENU_CONTEXT context,
	 const char *key);
PUBLIC int MODULE_mouseconf::dohtml (const char *key);
PUBLIC void MODULE_mouseconf::usage (SSTRINGS&tb);
PUBLIC int MODULE_mouseconf::execmain (int argc,
	 char *argv[],
	 bool standalone);
/* _dict.cc 08/11/2000 13.58.20 */