fix window positioning
[xboard.git] / xhistory.h
index 427cd7d..9c42c75 100644 (file)
@@ -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));
                        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 */
  
 #endif /* _XHISTL_H */