src/main_gui.cpp
changeset 8615 d9525e4e85f5
parent 8584 6e53efd3a137
child 8723 e513a23c2797
--- a/src/main_gui.cpp	Wed Feb 20 17:06:58 2008 +0000
+++ b/src/main_gui.cpp	Wed Feb 20 17:12:08 2008 +0000
@@ -977,8 +977,8 @@
 	if (HasBit(_display_opt, DO_WAYPOINTS))          SetBit(x,  9);
 	if (HasBit(_display_opt, DO_FULL_ANIMATION))     SetBit(x, 10);
 	if (HasBit(_display_opt, DO_FULL_DETAIL))        SetBit(x, 11);
-	if (IsTransparencySet(TO_HOUSES) && IsTransparencySet(TO_TREES)) SetBit(x, 12);
-	if (IsTransparencySet(TO_SIGNS))                     SetBit(x, 13);
+	if (IsTransparencySet(TO_HOUSES))                SetBit(x, 12);
+	if (IsTransparencySet(TO_SIGNS))                 SetBit(x, 13);
 	WP(w, menu_d).checked_items = x;
 }