src/dock_gui.cpp
changeset 8573 a0a5f36a982e
parent 8423 0c0f0370620b
child 8786 1823ff88a054
equal deleted inserted replaced
8572:5042e9287ea1 8573:a0a5f36a982e
   241 {
   241 {
   242 	switch (e->event) {
   242 	switch (e->event) {
   243 	case WE_CREATE: w->LowerWidget(_station_show_coverage + 3); break;
   243 	case WE_CREATE: w->LowerWidget(_station_show_coverage + 3); break;
   244 
   244 
   245 	case WE_PAINT: {
   245 	case WE_PAINT: {
   246 		int rad = (_patches.modified_catchment) ? CA_DOCK : 4;
   246 		int rad = (_patches.modified_catchment) ? CA_DOCK : CA_UNMODIFIED;
   247 
   247 
   248 		if (WP(w, def_d).close) return;
   248 		if (WP(w, def_d).close) return;
   249 		DrawWindowWidgets(w);
   249 		DrawWindowWidgets(w);
   250 
   250 
   251 		if (_station_show_coverage) {
   251 		if (_station_show_coverage) {