worked a bit on the history window

[xboard.git] / xhistory.h

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