src/gui.h
changeset 8975 678648173fcf
parent 8965 29a591456a2f
child 8976 1a8367713b73
--- a/src/gui.h	Fri Apr 18 10:58:11 2008 +0000
+++ b/src/gui.h	Fri Apr 18 15:11:39 2008 +0000
@@ -17,8 +17,6 @@
 void CcBuildCanal(bool success, TileIndex tile, uint32 p1, uint32 p2);
 void HandleOnEditText(const char *str);
 void InitializeGUI();
-Window *PopupMainPlayerToolbMenu(Window *w, int main_button, int gray);
-Window *PopupMainToolbMenu(Window *w, uint16 parent_button, StringID base_string, byte item_count, byte disabled_mask);
 
 /* settings_gui.cpp */
 void ShowGameOptions();