settings_gui.c
changeset 930 524b02923ede
parent 915 013cb2d74800
child 951 9c58dedb8e5f
--- a/settings_gui.c	Fri Jan 07 18:13:56 2005 +0000
+++ b/settings_gui.c	Fri Jan 07 23:59:59 2005 +0000
@@ -685,6 +685,7 @@
 	{PE_INT32,	PF_NOCOMMA, STR_CONFIG_PATCHES_STARTING_DATE, "starting_date", &_patches.starting_date,	 1920,2100, 1, NULL},
 
 	{PE_BOOL,		0, STR_CONFIG_PATCHES_SMOOTH_ECONOMY,		"smooth_economy", &_patches.smooth_economy,						0,  0,  0, NULL},
+	{PE_BOOL,		0, STR_CONFIG_PATCHES_ALLOW_SHARES,			"allow_shares", &_patches.allow_shares,						0,  0,  0, NULL},
 };
 
 static const PatchEntry _patches_ai[] = {