settings_gui.c
changeset 91 6477ea0c240d
parent 84 1e0721c29bad
child 155 81e9878f3678
--- a/settings_gui.c	Fri Aug 20 14:25:11 2004 +0000
+++ b/settings_gui.c	Fri Aug 20 15:30:32 2004 +0000
@@ -678,6 +678,12 @@
     return 0;
 }
 
+int32 InvisibleTreesActive(int32 p1)
+{
+	MarkWholeScreenDirty();
+	return 0;
+}
+
 typedef int32 PatchButtonClick(int32);
 static PatchButtonClick * const _patch_button_proc[] = {
 	&v_PositionMainToolbar,
@@ -715,6 +721,7 @@
 	{PE_UINT8, 0, STR_CONFIG_PATCHES_ERRMSG_DURATION, &_patches.errmsg_duration, 0, 20, 1},
 	
 	{PE_UINT8, PF_MULTISTRING, STR_CONFIG_PATCHES_TOOLBAR_POS, &_patches.toolbar_pos, 0, 2, 1, &v_PositionMainToolbar},
+	{PE_BOOL, 0, STR_CONFIG_PATCHES_INVISIBLE_TREES, &_patches.invisible_trees, 0, 1, 1, &InvisibleTreesActive},
 };
 
 static const PatchEntry _patches_construction[] = {