568 	"window_snap_radius",

   568 	"window_snap_radius",

   569 	"invisible_trees",

   569 	"invisible_trees",

   570 	"population_in_label",

   570 	"population_in_label",

   571 	"link_terraform_toolbar",

   571 	"link_terraform_toolbar",

   572 	"progress_update_interval",

   572 	"progress_update_interval",

   573 };

   574 };

   574 

   575 

   575 static const char *_patches_construction[] = {

   576 static const char *_patches_construction[] = {

   576 	"build_on_slopes",

   577 	"build_on_slopes",

   577 	"extra_dynamite",

   578 	"extra_dynamite",