settings_gui.c
branch0.5
changeset 5495 ccc57a497257
parent 5488 e867dfe2f2ef
--- a/settings_gui.c	Tue May 15 21:24:18 2007 +0000
+++ b/settings_gui.c	Tue May 15 21:42:27 2007 +0000
@@ -200,6 +200,7 @@
 			break;
 		case 24: /* Change interface language */
 			ReadLanguagePack(e->we.dropdown.index);
+			UpdateAllStationVirtCoord();
 			MarkWholeScreenDirty();
 			break;
 		case 27: /* Change resolution */