/*
* xgamelist.h -- Game list window, part of X front end for XBoard
- * $Id: xhistory.h,v 2.1 2003/10/27 19:21:00 mann Exp $
*
- * Copyright 1995,2009 Free Software Foundation, Inc.
+ * Copyright 1995, 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
* ------------------------------------------------------------------------
*
* GNU XBoard is free software: you can redistribute it and/or modify
void HistoryShowProc P((Widget w, XEvent *event,
String *prms, Cardinal *nprms));
-void HistoryPopDown P((Widget w, XtPointer client_data,
- XtPointer call_data));
+Boolean MoveHistoryIsUp P((void));
+extern Widget historyShell;
#endif /* _XHISTL_H */