Merge branch 'master-20091209' into gtk

[xboard.git] / xhistory.h

diff --git a/xhistory.h b/xhistory.h
index 8e8c5d7..109e1bd 100644 (file)
--- 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 */