src/dock_gui.cpp
changeset 10434 d6accd017341
parent 10433 cca9f7948fe5
child 10441 09655ce4bfa3
--- a/src/dock_gui.cpp	Tue May 06 21:28:30 2008 +0000
+++ b/src/dock_gui.cpp	Tue May 06 22:08:18 2008 +0000
@@ -257,9 +257,9 @@
 		int text_end = DrawStationCoverageAreaText(4, 50, SCT_ALL, rad, false);
 		text_end = DrawStationCoverageAreaText(4, text_end + 4, SCT_ALL, rad, true) + 4;
 		if (text_end != w->widget[2].bottom) {
-			SetWindowDirty(w);
+			w->SetDirty();
 			ResizeWindowForWidget(w, 2, 0, text_end - w->widget[2].bottom);
-			SetWindowDirty(w);
+			w->SetDirty();
 		}
 
 		break;
@@ -273,7 +273,7 @@
 				_station_show_coverage = (e->we.click.widget != 3);
 				w->LowerWidget(_station_show_coverage + 3);
 				SndPlayFx(SND_15_BEEP);
-				SetWindowDirty(w);
+				w->SetDirty();
 				break;
 		}
 		break;
@@ -348,7 +348,7 @@
 			w->LowerWidget(_ship_depot_direction + 3);
 			SndPlayFx(SND_15_BEEP);
 			UpdateDocksDirection();
-			SetWindowDirty(w);
+			w->SetDirty();
 			break;
 		}
 	} break;