main_gui.c
changeset 497 2d6d31173813
parent 478 19987403ee5d
child 507 8aa8100b0b22
--- a/main_gui.c	Tue Nov 23 20:54:51 2004 +0000
+++ b/main_gui.c	Tue Nov 23 22:36:11 2004 +0000
@@ -849,7 +849,7 @@
 	if (_display_opt & DO_WAYPOINTS) x &= ~(1<<8);
 	if (_display_opt & DO_FULL_ANIMATION) x &= ~(1<<9);
 	if (_display_opt & DO_FULL_DETAIL) x &= ~(1<<10);
-	if (!(_display_opt & DO_TRANS_BUILDINGS)) x &= ~(1<<11);
+	if (_display_opt & DO_TRANS_BUILDINGS) x &= ~(1<<11);
 	WP(w,menu_d).checked_items = x;
 }