| changeset 8573 | a0a5f36a982e |
| parent 8423 | 0c0f0370620b |
| child 8786 | 1823ff88a054 |
--- a/src/dock_gui.cpp Fri Feb 15 21:05:46 2008 +0000 +++ b/src/dock_gui.cpp Fri Feb 15 23:57:03 2008 +0000 @@ -243,7 +243,7 @@ case WE_CREATE: w->LowerWidget(_station_show_coverage + 3); break; case WE_PAINT: { - int rad = (_patches.modified_catchment) ? CA_DOCK : 4; + int rad = (_patches.modified_catchment) ? CA_DOCK : CA_UNMODIFIED; if (WP(w, def_d).close) return; DrawWindowWidgets(w);