void GameListOptionsPopDown P(());
void ShufflePopDown P(());
void TimeControlPopDown P(());
-void SettingsPopDown P(());
void GenericPopDown P(());
void update_ics_width P(());
int get_term_width P(());
{ "EvalGraphPopDown", (XtActionProc) EvalGraphPopDown },
{ "ShufflePopDown", (XtActionProc) ShufflePopDown },
{ "TimeControlPopDown", (XtActionProc) TimeControlPopDown },
- { "SettingsPopDown", (XtActionProc) SettingsPopDown },
{ "GenericPopDown", (XtActionProc) GenericPopDown },
{ "CopyMemoProc", (XtActionProc) CopyMemoProc },
};