src/gui.h
changeset 9588 620c97d8cee4
parent 9407 079a6bf07bae
child 9871 57a332d08e74
--- a/src/gui.h	Tue Jun 24 23:38:10 2008 +0000
+++ b/src/gui.h	Wed Jun 25 17:30:16 2008 +0000
@@ -40,6 +40,7 @@
 
 /* dock_gui.cpp */
 void ShowBuildDocksToolbar();
+void ShowBuildDocksScenToolbar();
 
 /* aircraft_gui.cpp */
 void ShowBuildAirToolbar();