fix window positioning

[xboard.git] / xhistory.h

diff --git a/xhistory.h b/xhistory.h
index 427cd7d..9c42c75 100644 (file)
--- a/xhistory.h
+++ b/xhistory.h
@@ -27,6 +27,8 @@ 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 */