/* _dict.cc 03/03/1998 00.39.00 */ /* menuedit.cc 12/12/1999 22.10.50 */ bool usermenu_getaccesspriv (const char *menu); int menuedit_getlist (SSTRINGS&tb); const char *menuedit_gettitle (const char *menuname); void usermenu_edit (void); /* show.cc 12/12/1999 22.10.50 */ void usermenu_show (const char *menuname); void show_resetpriv (void); PRIVILEGE *show_lookuppriv (const char *menu); /* usermenu.cc 28/08/2000 18.15.10 */