dock_gui.c
changeset 946 81cf624bbdc5
parent 937 a8dfd3eb406f
child 1019 6363b8a4273e
--- a/dock_gui.c	Sat Jan 08 19:34:00 2005 +0000
+++ b/dock_gui.c	Sat Jan 08 20:55:21 2005 +0000
@@ -204,6 +204,7 @@
 
 void ShowBuildDocksToolbar()
 {
+	if (_current_player == OWNER_SPECTATOR) return;
 	DeleteWindowById(WC_BUILD_TOOLBAR, 0);
 	AllocateWindowDesc(&_build_docks_toolbar_desc);
 }