src/dock_gui.cpp
branchcpp_gui
changeset 6241 6a7a41b0cd32
parent 6235 5077e6ed3788
child 6251 cd413fa2e252
--- a/src/dock_gui.cpp	Tue Feb 13 10:27:18 2007 +0000
+++ b/src/dock_gui.cpp	Tue Feb 13 11:09:58 2007 +0000
@@ -121,7 +121,7 @@
 {
 	switch (e->event) {
 	case WE_PAINT:
-		DrawWindowWidgets(w);
+		w->DrawWidgets();
 		break;
 
 	case WE_CLICK:
@@ -232,7 +232,7 @@
 		int rad;
 
 		if (WP(w,def_d).close) return;
-		DrawWindowWidgets(w);
+		w->DrawWidgets();
 
 		rad = (_patches.modified_catchment) ? CA_DOCK : 4;
 
@@ -308,7 +308,7 @@
 	case WE_CREATE: LowerWindowWidget(w, _ship_depot_direction + 3); break;
 
 	case WE_PAINT:
-		DrawWindowWidgets(w);
+		w->DrawWidgets();
 
 		DrawShipDepotSprite(67, 35, 0);
 		DrawShipDepotSprite(35, 51, 1);