X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xhistory.h;fp=xhistory.h;h=109e1bdae1d30566bc50a79c93aaecee328f215e;hb=fe5ba22edf2cb7c260ecf17c7f095f0bc3e1b0a3;hp=8e8c5d76cabb32e7ca6c92ba9100883f12c077ad;hpb=5514b4ae4147a322cb8c818e8bf25a785f881cc9;p=xboard.git

diff --git a/xhistory.h b/xhistory.h
index 8e8c5d7..109e1bd 100644
--- a/xhistory.h
+++ b/xhistory.h
@@ -27,5 +27,8 @@ void HistoryShowProc  P((GtkObject *object, gpointer user_data));
 
 void HistoryPopDown   P((GtkObject *object, gpointer user_data));
 
+Boolean MoveHistoryIsUp P((void));
+
+extern Widget historyShell;
 #endif /* _XHISTL_H */