src/graph_gui.cpp
changeset 10595 7957c71b0dfe
parent 10577 77661b325257
child 10611 19de4d762169
--- a/src/graph_gui.cpp	Sat May 17 12:26:00 2008 +0000
+++ b/src/graph_gui.cpp	Sat May 17 12:48:06 2008 +0000
@@ -285,7 +285,7 @@
 				w->RaiseWidget(p->index + 3);
 			}
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			FOR_ALL_PLAYERS(p) {
 				if (!p->is_active) continue;
@@ -384,7 +384,7 @@
 			GraphDrawer gd;
 			const Player* p;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			gd.left = 2;
 			gd.top = 18;
@@ -455,7 +455,7 @@
 			GraphDrawer gd;
 			const Player* p;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			gd.left = 2;
 			gd.top = 18;
@@ -522,7 +522,7 @@
 			GraphDrawer gd;
 			const Player* p;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			gd.left = 2;
 			gd.top = 18;
@@ -589,7 +589,7 @@
 			GraphDrawer gd;
 			const Player* p;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			gd.left = 2;
 			gd.top = 18;
@@ -658,7 +658,7 @@
 			GraphDrawer gd;
 			const Player* p;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			gd.left = 2;
 			gd.top = 18;
@@ -724,7 +724,7 @@
 		case WE_PAINT: {
 			GraphDrawer gd;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			int x = 495;
 			int y = 24;
@@ -886,7 +886,7 @@
 			const Player* plist[MAX_PLAYERS];
 			const Player* p;
 
-			DrawWindowWidgets(w);
+			w->DrawWidgets();
 
 			uint pl_num = 0;
 			FOR_ALL_PLAYERS(p) if (p->is_active) plist[pl_num++] = p;
@@ -973,7 +973,7 @@
 		int color_done, color_notdone;
 
 		/* Draw standard stuff */
-		DrawWindowWidgets(this);
+		this->DrawWidgets();
 
 		/* Check if the currently selected player is still active. */
 		if (player == INVALID_PLAYER || !GetPlayer(player)->is_active) {